Goal-Directed Module Extraction for Explaining OWL DL Entailments.

Jianfeng Du Guilin Qi Qiu Ji

Published in: ISWC (2009)

Keyphrases

goal directed
owl dl
description logics
semantic web
reasoning systems
ontology languages
domain ontology
autonomous robots
reasoning problems
information extraction
owl dl ontology
computational properties
xml documents
semi automatic