Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?
Sebastian BrandtPublished in: ECAI (2004)
Keyphrases
- description logics
- computing least common subsumers
- knowledge base
- computational properties
- reasoning tasks
- dl lite
- expressive description logics
- reasoning problems
- knowledge representation systems
- knowledge representation and reasoning
- reasoning systems
- knowledge representation
- reasoning mechanism
- reasoning services
- tight complexity bounds
- medical terminology
- knowledge representation formalisms
- special case
- computational complexity
- semantic web ontologies
- number restrictions
- knowledge representation languages
- expert systems
- ontology reasoning
- dl programs
- owl dl
- web ontology language
- logical implication
- transitive closure of roles
- reasoning process
- first order logic
- exptime complete
- semantic web
- ontology languages
- query language
- mathcal shiq
- theorem proving
- model theoretic
- owl ontologies
- snomed ct
- description logic programs