ε-connections of abstract description systems
Artificial Intelligence
Improving an RCC-Derived Geospatial Approximation by OWL Axioms
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Spatio-terminological inference for the design of ambient environments
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Transactions on Computational Collective Intelligence IX
Hi-index | 0.00 |
We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally specified within practical information systems, wherein heterogeneous perspectives and conceptual commitments are needed. Focussing on semantics, modularity and consistency, we argue that our formalisation serves as a synergistic interface that mediates between the two disconnected domains of human abstracted qualitative/conceptual knowledge and its quantitative/precision-oriented counterpart within systems for spatial design (assistance). Our demonstration utilises simple, yet real world examples.