Verification of Branch-Time Property Based on Dynamic Description Logic.
Yaoguang WangLiang ChangFengying LiTianlong GuPublished in: Intelligent Information Processing (2014)
Keyphrases
- description logics
- knowledge base
- computational properties
- knowledge representation
- knowledge representation and reasoning
- snomed ct
- reasoning tasks
- reasoning mechanism
- reasoning problems
- concept descriptions
- semantic web
- dl lite
- artificial intelligence
- logical implication
- knowledge representation languages
- owl ontologies
- special case
- reasoning systems
- ontology languages
- owl dl
- semantic mapping