A Tractable Approach to ABox Abduction over Description Logic Ontologies

Open in new window