Combination of Deduction Rules and Description Logics.
Jing MeiZuoquan LinHarold BoleyJie LiVirendrakumar C. BhavsarPublished in: Comput. Intell. (2007)
Keyphrases
- description logics
- deduction rules
- knowledge base
- knowledge representation
- reasoning tasks
- dl lite
- semantic web
- concept descriptions
- computing least common subsumers
- knowledge representation formalisms
- computational properties
- knowledge representation and reasoning
- reasoning problems
- knowledge representation languages
- artificial intelligence
- ontology languages
- databases
- owl ontologies
- concise representation
- query answering
- number restrictions
- computational complexity