Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
Magdalena OrtizSebastian RudolphMantas SimkusPublished in: KR (2010)
Keyphrases
- worst case
- description logics
- mathcal shiq
- np hard
- owl dl
- expressive description logics
- knowledge base
- knowledge representation
- average case
- upper bound
- ontological reasoning
- lower bound
- reasoning systems
- ontology reasoning
- semantic web
- reasoning services
- ontology languages
- computational properties
- computational complexity
- dynamic programming
- knowledge representation formalisms
- fuzzy description logics
- web ontology language
- reasoning tasks
- owl dl ontology
- horn logic
- inverse roles
- reasoning engine
- worst case analysis
- reasoning problems
- markup language
- constraint satisfaction problems
- number restrictions
- automated reasoning
- dl lite
- optimal solution