Reasoning in Description Logics by a Reduction to Disjunctive Datalog

From Tetherless World Wiki

Jump to: navigation, search
 Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Has publishing details  39(3):351-384, 2007
Has title  Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Has where published  J. Autom. Reasoning
Has year  2007
Has author  Ullrich Hustadt +, Boris Motik +, Ulrike Sattler +
Has identifier  DBLP:journals/jar/HustadtMS07 +
Categories  Journal Paper +

 

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