On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Functional Reasoning in Design
IEEE Expert: Intelligent Systems and Their Applications
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Proceedings of the 2nd international conference on Knowledge capture
A Distributed Approach to Sub-Ontology Extraction
AINA '04 Proceedings of the 18th International Conference on Advanced Information Networking and Applications - Volume 2
ε-connections of abstract description systems
Artificial Intelligence
Ontology Matching
Institutionalising ontology-based semantic integration
Applied Ontology
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Ontology Integration Using ε-Connections
Modular Ontologies
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Representing Relative Direction as a Binary Relation of Oriented Points
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization
A First-Order Cutting Process Ontology for Sheet Metal Parts
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Ontological Analysis of Functional Decomposition
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Spatio-terminological inference for the design of ambient environments
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Modularizing spatial ontologies for assisted living systems
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Hi-index | 0.00 |
Form, function and the relationship between the two serve a crucial role in design. Within architectural design, key aspects of the anticipated function of buildings, or of spatial environments in general, are supposed to be supported by their structural form, i.e., their shape, layout, or connectivity. Whereas the philosophy of form and function is a well-researched topic, the practical relations and dependencies between form and function are only known implicitly by designers and architects. Specifically, the formal modelling of structural forms and resulting artefactual functions within design and design assistance systems remains elusive.In our work, we aim at making these definitions explicit by ontologically modelling respective domain entities, their properties and related constraints. We interpret “structural form” and “artefactual function” by specifying modular ontologies and their interplay for the architectural design domain. A key aspect in our modelling approach is the use of formal conceptual requirements and qualitative spatial calculi as a link between the structural form of a design and the differing functional capabilities that it affords or leads to. We demonstrate how our ontological modelling reflects types of architectural form and function, and how it facilitates the conceptual modelling of requirement constraints in architectural design.