Keyphrases
- description logics
- expressive description logics
- defeasible logic
- knowledge base
- default logic
- knowledge representation
- reasoning tasks
- owl dl
- reasoning systems
- exptime complete
- regular path queries
- nonmonotonic reasoning
- ontology languages
- owl ontologies
- databases
- semantic web
- logic programming
- text mining
- expert systems
- artificial intelligence