ABox Abduction via Forgetting in ALC (Long Version).
Warren Del-PintoRenate A. SchmidtPublished in: CoRR (2018)
Keyphrases
- description logics
- expressive description logics
- reasoning tasks
- dl lite
- knowledge representation
- computational properties
- semantic web
- incremental learning
- terminological reasoning
- logic programming
- knowledge base
- background knowledge
- fuzzy description logics
- upper bound
- abductive reasoning
- abductive logic programming
- belief revision
- machine learning
- reasoning systems
- artificial intelligence