Empowering the Model-driven Engineering of Robotic Applications using Ontological Semantics and Reasoning.
Stefan ZanderNadia AhmedYingbing HuaPublished in: KEOD (2016)
Keyphrases
- model driven engineering
- ontological reasoning
- ontological framework
- knowledge representation
- model driven
- proof theory
- computational properties
- formal semantics
- knowledge base
- owl ontologies
- software engineering
- logic programming
- ontological concepts
- uml class diagrams
- ami systems
- data driven
- lightweight
- black box
- databases
- metadata
- information systems