Description logics as polyadic modal logics.

Jonne Iso-Tuisku Antti Kuusisto

Published in: CoRR (2021)

Keyphrases

modal logic
description logics
temporal logic
decision procedures
knowledge base
inference rules
dl lite
epistemic logic

reasoning problems
knowledge representation
nonmonotonic logics
reasoning tasks
classical logic
semantic web
reasoning systems

computing least common subsumers
situation calculus
default logic
knowledge representation and reasoning
model theoretic
modal operators
reasoning services

number restrictions
artificial intelligence
concept descriptions
ontology languages
satisfiability problem
data integration
database