From description-logic programs to multi-context systems.

Luís Cruz-Filipe Graça Gaspar Isabel Nunes

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

multi context systems
description logic programs
dl programs
description logics
information flow
bdi agents
propositional logic
data complexity
ontology mappings
knowledge sources
logic programs
conjunctive queries
nonmonotonic logics
dl lite
first order logic
semantic web
reasoning tasks