On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.
Diego CalvaneseGiuseppe De GiacomoMikhail SoutchanskiPublished in: IJCAI (2015)
Keyphrases
- description logics
- situation calculus
- dl lite
- taxonomic reasoning
- reasoning tasks
- ontology languages
- knowledge base
- reasoning services
- semantic web
- knowledge representation
- ontology reasoning
- event calculus
- snomed ct
- owl ontologies
- dl programs
- owl dl
- action theories
- semantic web ontologies
- semantic mapping
- initial state
- ontology mappings
- model theoretic
- modal operators
- knowledge representation and reasoning
- reasoning problems
- number restrictions
- reasoning about actions
- medical terminology
- description logic programs
- modal logic
- incomplete information