Partial and Informative Common Subsumers in Description Logics.
Simona ColucciEugenio Di SciascioFrancesco M. DoniniEufemia TinelliPublished in: ECAI (2008)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- reasoning tasks
- computational properties
- knowledge representation and reasoning
- dl lite
- computing least common subsumers
- semantic web
- knowledge representation formalisms
- knowledge representation systems
- concept descriptions
- fuzzy description logics
- reasoning problems
- dl programs
- data types
- ontology languages
- number restrictions
- model theoretic
- reasoning services
- np complete