Lemmas for Justifications in OWL.
Matthew HorridgeBijan ParsiaUlrike SattlerPublished in: Description Logics (2009)
Keyphrases
- semantic web
- knowledge representation
- theorem prover
- semantic web technologies
- theorem proving
- databases
- knowledge base
- rdf knowledge bases
- owl ontologies
- ontology languages
- open world
- real time
- inference rules
- answer sets
- expert systems
- database systems
- metadata
- machine learning
- truth maintenance systems
- web ontology language