A Family of Dynamic Description Logics for Representing and Reasoning About Actions.
Liang ChangZhongzhi ShiTianlong GuLingzhong ZhaoPublished in: J. Autom. Reason. (2012)
Keyphrases
- description logics
- reasoning about actions
- knowledge base
- reasoning tasks
- knowledge representation
- computational properties
- logic programming
- knowledge representation and reasoning
- situation calculus
- dl lite
- reasoning problems
- computing least common subsumers
- fuzzy description logics
- reasoning systems
- knowledge representation formalisms
- concept descriptions
- knowledge representation languages
- terminological knowledge
- machine learning
- owl ontologies
- object oriented
- expert systems