A Decidable Constructive Description Logic.
Loris BozzatoMauro FerrariCamillo FiorentiniGuido FiorinoPublished in: JELIA (2010)
Keyphrases
- description logics
- exptime complete
- tight complexity bounds
- knowledge base
- knowledge representation
- concept descriptions
- pspace complete
- semantic web
- logical implication
- reasoning tasks
- model theoretic
- np complete
- computational properties
- dl lite
- reasoning problems
- ontology languages
- reasoning mechanism
- data complexity
- reasoning services
- incomplete information
- number restrictions
- snomed ct
- function free horn
- computational complexity