Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving.
Michael SchneiderGeoff SutcliffePublished in: CADE (2011)
Keyphrases
- knowledge base
- ontology languages
- description logics
- automated theorem proving
- theorem prover
- first order logic
- owl ontologies
- knowledge representation
- theorem proving
- reasoning problems
- formal semantics
- owl dl
- semantic web
- reasoning services
- web ontology language
- expressive power
- data complexity
- modular ontologies
- reasoning systems
- answer set programming
- data types
- rdf schema
- classical logic
- production rules
- conceptual modeling
- inference rules
- answering queries
- query answering
- information integration
- incomplete information
- software engineering
- domain knowledge
- data structure
- high level