A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
Reasoning with a Network of Aligned Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Decidability of $\mathcal{SHI}$ with Transitive Closure of Roles
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Non-standard inferences in description logics
Non-standard inferences in description logics
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Extended ontology model and ontology checking based on description logics
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Hi-index | 0.00 |