A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.

Boontawee Suntisrivaraporn Guilin Qi Qiu Ji Peter Haase

Published in: ASWC (2008)

Keyphrases

owl dl
description logics
semantic web
reasoning problems
formal semantics
reasoning systems
query language
data sources
ontology languages
owl dl ontology