Naive ABox abduction in ALC using a DL tableau.
Ken HallandKatarina BritzPublished in: Description Logics (2012)
Keyphrases
- description logics
- reasoning tasks
- abductive reasoning
- expressive description logics
- knowledge base
- dl lite
- logic programming
- background knowledge
- reasoning systems
- knowledge representation
- terminological reasoning
- computational properties
- conjunctive query answering
- fuzzy description logics
- owl dl
- description logic alc
- reasoning problems
- causal networks
- exptime complete
- owl ontologies
- belief revision
- semantic web
- ontology languages
- model theoretic
- inverse roles
- reasoning services
- np complete
- description logic knowledge base