Login / Signup
Tractable Interval Temporal Propositional and Description Logics.
Alessandro Artale
Roman Kontchakov
Vladislav Ryzhikov
Michael Zakharyaschev
Published in:
AAAI (2015)
Keyphrases
</>
description logics
knowledge base
model theoretic
reasoning tasks
dl lite
refinement operators
knowledge representation
knowledge representation formalisms
reasoning problems
temporal constraints
temporal information
propositional logic
prime implicates
computational properties
temporal reasoning
knowledge representation and reasoning
semantic web
ontology languages
computational complexity
number restrictions
default logic
first order logic
np complete
owl ontologies
owl dl
concept descriptions
np hard
knowledge representation languages
terminological knowledge
expressive power
expert systems