Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics.
Laura GiordanoValentina GliozziPublished in: ECSQARU (2019)
Keyphrases
- ontological framework
- machine processable
- owl ontologies
- semantic relationships
- multiple inheritance
- formal semantics
- owl dl
- conceptual graphs
- default rules
- semantic descriptions
- complete axiomatization
- semantic web
- knowledge base
- domain ontology
- qualitative reasoning
- reasoning services
- semantic mapping
- ontological concepts
- modal operators
- knowledge representation
- ontology alignment
- description logics
- semantic representations
- databases
- domain specific
- semantic information
- approximation algorithms
- semantic web ontologies
- dl programs
- ontological reasoning
- description logic programs
- reasoning mechanism
- formal theory
- model theoretic
- ontology languages
- ontology mapping
- logic programming
- co occurrence
- np hard