Finding All Justifications of OWL DL Entailments.

Aditya Kalyanpur Bijan Parsia Matthew Horridge Evren Sirin

Published in: ISWC/ASWC (2007)

Keyphrases

owl dl
description logics
domain ontology
reasoning problems
general purpose
semantic web
reasoning systems
formal semantics