Spatio-Terminological Inference for the Design of Ambient Environments
| Type of publication: | Inproceedings |
| Citation: | Bhatt-cosit09 |
| Booktitle: | Proceedings of the International Conference on Spatial Information Theory (COSIT 2009) |
| Series: | Lecture Notes in Computer Science |
| Year: | 2009 |
| Pages: | 371-391 |
| Publisher: | Springer |
| ISBN: | 978-3-642-03831-0 |
| Abstract: | We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only the purely structural requirements, but also the functional requirements expected of a smart environment whilst keeping in mind the plethora of sensory and interactive devices embedded within such an environment. The approach, founded in spatio-terminological reasoning, is illustrated in the context of formal ontology modeling constructs and reasoners, industrial architecture data standards and state-of-the-art commercial design software. |
| Userfields: | pdfurl={http://www.cosy.informatik.uni-bremen.de/staff/bhatt/seer/COSIT-09-ST-DL-AMI.pdf}, project={I1-OntoSpace}, status={Reviewed}, |
| Keywords: | Architecture, Ontology, Requirements Modeling, Smart Environment Design, Spatio-Terminological Reasoning |
| Authors | |
|
Attachments
|
|
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
