From Justifications to Proofs for Entailments in OWL.
Matthew HorridgeBijan ParsiaUlrike SattlerPublished in: OWLED (2009)
Keyphrases
- semantic web
- theorem prover
- knowledge representation
- rdf knowledge bases
- formal proofs
- theorem proving
- mathematical proofs
- semantic web technologies
- open world
- natural deduction
- owl ontologies
- ontology languages
- knowledge base
- search engine
- machine learning
- neural network
- incomplete information
- database
- database systems
- truth maintenance systems
- equational theories
- automated theorem provers