Context-based defeasible subsumption for dSROIQ.

Katarina Britz Ivan José Varzinczak

Published in: COMMONSENSE (2017)

Keyphrases

description logics
defeasible logic
np complete
context sensitive
default logic
conflicting information
update semantics
transitive closure
image sequences
deontic logic
defeasible reasoning
practical reasoning
real time
genetic algorithm
case based reasoning
expressive power