Dynamic Logic for the Semantic Web.
Liang ChangQicheng ZhangTianlong GuZhongzhi ShiPublished in: Intelligent Information Processing (2012)
Keyphrases
- dynamic logic
- semantic web
- reasoning about actions
- modal logic
- imperative programs
- classical first order logic
- semantic web technologies
- metadata
- propositional dynamic logic
- semantic web data
- ontology learning
- ontology matching
- ontology engineering
- ontology mapping
- ontology evolution
- semantically annotated
- first order logic
- agent programming
- semantic annotation
- knowledge representation
- knowledge base