On the relationship between decidable fragments, non-classical logics, and description logics.
Lilia GeorgievaUllrich HustadtRenate A. SchmidtPublished in: Description Logics (2002)
Keyphrases
- description logics
- exptime complete
- tight complexity bounds
- knowledge base
- knowledge representation
- computational properties
- knowledge representation and reasoning
- function free horn
- semantic web
- concept descriptions
- owl dl
- dl lite
- fuzzy description logics
- computing least common subsumers
- knowledge representation formalisms
- reasoning problems
- classical logic
- reasoning tasks
- expressive power
- ontology languages
- theorem proving
- first order logic
- function symbols
- reasoning services
- knowledge representation languages
- logic programming
- database systems
- machine learning