The complexity of finite model reasoning in description logics

From Tetherless World Wiki

Jump to: navigation, search
 The complexity of finite model reasoning in description logics
Has publishing details  199(1-2):132-171, 2005
Has title  The complexity of finite model reasoning in description logics
Has where published  Inf. Comput.
Has year  2005
Has author  Carsten Lutz +, Ulrike Sattler +, Lidia Tendera +
Has identifier  DBLP:journals/iandc/LutzST05 +
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