Signature-Based ABox Abduction in ALC is Hard.

Patrick Koopmann

Published in: SOQE@KR (2021)

Keyphrases

description logics
reasoning tasks
expressive description logics
dl lite
abductive reasoning
knowledge base
knowledge representation
logic programming

anomaly detection
intrusion detection
fuzzy description logics
terminological reasoning
background knowledge
reasoning systems
semantic web
network traffic

reasoning services
expert systems
owl ontologies
computer security
answer set programming
query answering
reasoning problems

owl dl
belief revision
exptime complete
intrusion detection system
data exchange
upper bound
domain knowledge