Formal validation techniques for Ontology-based Device Descriptions.
Federico RieckhofHenrik DibowskiKlaus KabitzschPublished in: ETFA (2011)
Keyphrases
- domain specific
- high level
- formal specification
- natural language descriptions
- case study
- formal models
- formal model
- semantic web technologies
- formal methods
- ontology based semantic
- data mining
- wearable devices
- portable devices
- semantic description
- context aware
- multi agent
- multiscale
- information systems
- social networks
- information retrieval