Software metrics using a metasystem approach to software specification
Journal of Systems and Software - Special issue on the Oregon Metric Workshop
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
ε-connections of abstract description systems
Artificial Intelligence
Intelligent Information Integration For The Semantic Web (Lecture Notes in Computer Science)
Intelligent Information Integration For The Semantic Web (Lecture Notes in Computer Science)
Inferring Activities from Interactions with Objects
IEEE Pervasive Computing
Beyond ontologies: Toward situated representations of scientific knowledge
International Journal of Human-Computer Studies
Ambient Intelligence—the Next Step for Artificial Intelligence
IEEE Intelligent Systems
Advances in Ambient Intelligence: Volume 164 Frontiers in Artificial Intelligence and Applications
Advances in Ambient Intelligence: Volume 164 Frontiers in Artificial Intelligence and Applications
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors
Taking location modelling to new levels: a map modelling toolkit for intelligent environments
LoCA'06 Proceedings of the Second international conference on Location- and Context-Awareness
Data Mining for Hierarchical Model Creation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
A fine-grained context-dependent model for indoor spaces
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Modelling functional requirements in spatial design
ER'10 Proceedings of the 29th international conference on Conceptual modeling
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Transactions on Computational Collective Intelligence IX
Context-aware modelling of continuous location-dependent queries in indoor environments
Journal of Ambient Intelligence and Smart Environments - Context Awareness
Ontological modelling of form and function for architectural design
Applied Ontology
| Hi-index | 0.00 |
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.