A Tractable Approach to ABox Abduction over Description Logic Ontologies.
Jianfeng DuKewen WangYi-Dong ShenPublished in: AAAI (2014)
Keyphrases
- description logics
- dl lite
- reasoning services
- ontology languages
- logical implication
- knowledge base
- owl dl
- semantic web
- dl programs
- formal ontologies
- owl ontologies
- reasoning tasks
- ontology reasoning
- snomed ct
- knowledge representation
- expressive description logics
- semantic web ontologies
- semantic mapping
- concept descriptions
- background knowledge
- conjunctive query answering
- logic programming
- reasoning mechanism
- computational complexity
- description logic knowledge base
- ontology mappings
- biomedical ontologies
- web ontology language
- computational properties
- description logic programs
- computing least common subsumers
- model theoretic
- exptime complete
- reasoning problems
- np hard
- terminological reasoning
- reasoning systems
- query answering
- belief revision
- daml oil
- np complete
- machine learning
- query rewriting
- artificial intelligence