Situation Calculus Meets Description Logics.
Jens ClaßenGerhard LakemeyerBenjamin ZarrießPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- situation calculus
- description logics
- reasoning tasks
- knowledge base
- action theories
- event calculus
- initial state
- knowledge representation
- knowledge representation and reasoning
- dl lite
- reasoning systems
- semantic web
- reasoning problems
- modal logic
- reasoning about actions
- ontology languages
- owl dl
- propositional logic
- machine learning
- model theoretic
- reinforcement learning