Deciding expressive description logics in the framework of resolution

From Tetherless World Wiki

Jump to: navigation, search
 Deciding expressive description logics in the framework of resolution
Has publishing details  206(5):579-601, 2008
Has title  Deciding expressive description logics in the framework of resolution
Has where published  Inf. Comput.
Has year  2008
Has author  Ullrich Hustadt +, Boris Motik +, Ulrike Sattler +
Has identifier  DBLP:journals/iandc/HustadtMS08 +
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