Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Michael SchneiderGeoff SutcliffePublished in: CoRR (2011)
Keyphrases
- ontology languages
- automated theorem proving
- theorem prover
- formal semantics
- first order logic
- semantic web
- owl dl
- description logics
- theorem proving
- reasoning problems
- reasoning services
- modular ontologies
- data complexity
- web ontology language
- data types
- conceptual modeling
- knowledge representation
- expressive power
- owl ontologies
- knowledge base
- query answering
- answer set programming
- conceptual models
- reasoning systems
- answering queries
- inference rules
- incomplete information
- rdf schema
- information integration
- classical logic
- database
- information systems
- machine learning
- semantic annotation
- knowledge based systems
- general purpose
- object oriented