Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes
Amar IsliPublished in: CoRR (2003)
Keyphrases
- temporal logic
- description logics
- modal logic
- description logic alc
- model checking
- decision procedures
- spatio temporal
- transition systems
- mazurkiewicz traces
- model theoretic
- temporal analysis
- satisfiability problem
- reasoning tasks
- nonmonotonic logics
- knowledge base
- modal operators
- inference rules
- concurrent systems
- dl lite
- knowledge representation
- epistemic logic
- temporal knowledge
- constraint satisfaction
- helmholtz principle
- verification method
- reasoning problems
- default logic
- space time
- situation calculus
- fuzzy description logics
- belief revision
- bounded model checking
- linear temporal logic
- data complexity
- expert systems