Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.
Ralf KüstersRalf MolitorPublished in: Stud Logica (2005)
Keyphrases
- description logics
- number restrictions
- dl lite
- computing least common subsumers
- inverse roles
- knowledge base
- reasoning tasks
- transitive roles
- knowledge representation
- exptime complete
- snomed ct
- computational properties
- reasoning problems
- reasoning systems
- owl ontologies
- semantic web
- model theoretic
- unions of conjunctive queries
- owl dl
- refinement operators
- data model