An ABox Abduction Algorithm for the Description Logic ALCI.

Yanwei Ma Tianlong Gu Binbin Xu Liang Chang

Published in: Intelligent Information Processing (2012)

Keyphrases

description logics
knowledge base
computational properties
dl lite
expressive description logics
computational complexity
relational databases
np hard
reasoning tasks
ontology languages
logical implication
conjunctive query answering