Towards Practical ABox Abduction in Large OWL DL Ontologies.

Jianfeng Du Guilin Qi Yi-Dong Shen Jeff Z. Pan

Published in: AAAI (2011)

Keyphrases

owl dl ontologies
owl dl ontology
description logics
dl lite
owl dl
logic programming
semantic web