Signature-Based Abduction for Expressive Description Logics - Technical Report.

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

Published in: CoRR (2020)

Keyphrases

technical report
expressive description logics
description logics
abductive reasoning
owl dl
reasoning tasks
regular path queries
logic programming
belief revision
prime implicates
exptime complete
knowledge base
databases
expert systems
regular expressions