Stepwise Debugging of Description-Logic Programs.

Johannes Oetsch Jörg Pührer Hans Tompits

Published in: Correct Reasoning (2012)

Keyphrases

description logic programs
dl programs
description logics
logic programs
data complexity
conjunctive queries
knowledge representation
answer sets
reasoning tasks
ontology mappings
data sets
databases
artificial intelligence
first order logic