Reducing SHIQ-Description Logic to Disjunctive Datalog Programs

From Tetherless World Wiki

Jump to: navigation, search
 Reducing SHIQ-Description Logic to Disjunctive Datalog Programs
Has publishing details  pp. 152-162, 2004
Has title  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs
Has where published  KR
Has year  2004
Has author  Ullrich Hustadt +, Boris Motik +, Ulrike Sattler +
Has identifier  DBLP:conf/kr/HustadtMS04 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools