Reasoning with individuals in concept languages
Data & Knowledge Engineering
Handbook of defeasible reasoning and uncertainty management systems
Machine Learning
The Semantic Web: The Roles of XML and RDF
IEEE Internet Computing
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Using Preference Order in Ontologies
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
A Logical Basis for Object Oriented Programming
JELIA '90 Proceedings of the European Workshop on Logics in AI
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dynamic evolutions based on ontologies
Knowledge-Based Systems
Aspects of automatic ontology extension: adapting and regeneralizing dynamic updates
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Learning from Inconsistencies in an Integrated Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
I-Cog: a computational framework for integrated cognition of higher cognitive abilities
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
We extend the description logic SHOQ(D) with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more preferred ones. Furthermore, we impose a preferred model semantics, thus effectively introducing nonmonotonicity into SHOQ(D). Since a description logic can be viewed as an ontology language, or a proper translation of one, we obtain a defeasible ontology language. Finally, we argue that such a defeasible language may be usefully applied for learning and integrating ontologies.