DBLP:books/sp/staabS2004/BaaderHS04 + redirect page
Ian Horrocks +,
Jie Bao + Foaf:interest
email:0000000000 +,
A Distributed Tableau Algorithm for Package-based Description Logics +,
Federated ALCI: Preliminary Report +,
…
Has topic
Category:Autoepistemic Description Logics + Rdfs:subClassOf
| Category:Description Logics |
Categories Knowledge Representation +, Logics +, Semantic Web Topic +
|
