Modal Logics, Description Logics and Arithmetic Reasoning.
Hans Jürgen OhlbachJana KoehlerPublished in: Artif. Intell. (1999)
Keyphrases
- modal logic
- description logics
- reasoning problems
- decision procedures
- reasoning tasks
- reasoning systems
- expressive description logics
- fuzzy description logics
- knowledge representation systems
- knowledge representation
- knowledge representation and reasoning
- reasoning services
- knowledge base
- knowledge representation formalisms
- taxonomic reasoning
- automated reasoning
- default logic
- temporal logic
- reasoning mechanism
- situation calculus
- computational properties
- nonmonotonic logics
- owl dl
- computing least common subsumers
- inference rules
- epistemic logic
- number restrictions
- model theoretic
- classical logic
- modal operators
- theorem proving
- dl lite
- knowledge representation languages
- semantic web
- conjunctive queries
- default theories
- default rules
- temporal reasoning
- fixed point
- ontology languages
- data management
- special case