Signature-Based Abduction for Expressive Description Logics.

Patrick Koopmann Warren Del-Pinto Sophie Tourret Renate A. Schmidt

Published in: KR (2020)

Keyphrases

expressive description logics
description logics
abductive reasoning
regular path queries
logic programming
owl dl
exptime complete
prime implicates
belief revision
data complexity
nonmonotonic reasoning
database
domain ontology
semantic web
knowledge representation
search algorithm
artificial intelligence