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
|
|