Justification Oriented Proofs in OWL.

Matthew Horridge Bijan Parsia Ulrike Sattler

Published in: ISWC (1) (2010)

Keyphrases

semantic web
theorem proving
information systems
knowledge representation
real time
knowledge base
theorem prover
equational theories
rdf knowledge bases
web services
expert systems