Reasoning Support for Expressive Ontology Languages Using a Theorem Prover.
Ian HorrocksAndrei VoronkovPublished in: FoIKS (2006)
Keyphrases
- theorem prover
- automated reasoning
- ontology languages
- formal semantics
- automated theorem proving
- theorem proving
- first order logic
- reasoning problems
- semantic web
- inference rules
- knowledge base
- reasoning tasks
- knowledge management
- owl dl
- data types
- owl ontologies
- knowledge representation
- natural deduction
- formal proof
- query answering
- expressive power
- domain specific
- production rules
- description logics
- answering queries
- query processing
- e learning