Issues of Decidability for Description Logics in the Framework of Resolution.
Ullrich HustadtRenate A. SchmidtPublished in: FTP (LNCS Selection) (1998)
Keyphrases
- description logics
- knowledge base
- computational properties
- reasoning tasks
- taxonomic reasoning
- reasoning mechanism
- reasoning services
- reasoning systems
- dl lite
- reasoning problems
- knowledge representation
- semantic web
- exptime complete
- conjunctive query answering
- expert systems
- automated reasoning
- decision problems
- integrity constraints
- concept descriptions
- knowledge representation formalisms
- number restrictions