Computing Instantiated Explanations in OWL DL.

Fabrizio Riguzzi Elena Bellodi Evelina Lamma Riccardo Zese

Published in: AI*IA (2013)

Keyphrases

owl dl
semantic web
reasoning problems
expressive description logics
description logics
reasoning systems
owl dl ontology
ontology languages
domain ontology
data sets
knowledge base
expert systems
general purpose
logic programming