Consequence-Driven Reasoning for Horn SHIQ Ontologies.
Yevgeny KazakovPublished in: Description Logics (2009)
Keyphrases
- description logics
- mathcal shiq
- knowledge base
- reasoning services
- semantic web ontologies
- knowledge representation
- dl lite
- ontology reasoning
- ontology languages
- reasoning tasks
- semantic web
- reasoning mechanism
- computational properties
- owl dl
- medical terminology
- reasoning with inconsistent
- web ontology language
- reasoning systems
- reasoning problems
- modular ontologies
- formal ontologies
- owl ontologies
- exptime complete
- biomedical ontologies
- expert systems
- horn logic
- logical reasoning
- transitive roles
- np hard
- model theoretic
- ontological reasoning
- data sources
- domain specific
- production rules