Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.

Jörg Pührer Stijn Heymans Thomas Eiter

Published in: ESWC (1) (2010)

Keyphrases

dl programs
description logics
description logic programs
answer sets
logic programs
reasoning tasks
knowledge base
logic programming
knowledge representation
dl lite
answer set semantics
natural language
data management