Form, funktion och relationen mellan de två tjänar en avgörande roll i designen. Inom arkitekturkonstruktionen förväntas de viktigaste aspekterna av byggnaders förväntade funktion, eller av rumsliga miljöer i allmänhet, stödjas av deras strukturella form, dvs. deras form, utformning eller konnektivitet. Medan filosofin om form och funktion är ett väl utforskat ämne, är de praktiska relationerna och beroendena mellan form och funktion endast kända underförstått av formgivare och arkitekter. I synnerhet är den formella modelleringen av strukturella former och resulterande artefaktiska funktioner inom system för design- och designstöd fortfarande svårfångad. I vårt arbete strävar vi efter att göra dessa definitioner explicita genom att ontologiskt modellera respektive domänenheter, deras egenskaper och relaterade begränsningar. Vi tolkar "(strukturell) form" och "(artefaktisk) funktion" genom att specificera modulära ontologier och deras samspel för den arkitektoniska designdomänen. En viktig aspekt i vårt modelleringsarbete är användningen av formella begreppsmässiga krav och kvalitativa rumsliga kalkyler som en länk mellan den strukturella formen av en design och de olika funktionella kapaciteter som den erbjuder eller leder till. Vi visar hur vår ontologiska modellering speglar typer av arkitektonisk form och funktion, och hur den underlättar konceptuell modellering av kravbegränsningar i arkitektonisk design.
REF använder beskrivningslogik och kvalitativa och kvantitativa rumsliga logiker för att utveckla en ontologi för den arkitektoniska designdomänen.
Ontological modelling of form and function for architectural design
{'venue': 'Applied Ontology', 'journal': 'Applied Ontology', 'mag_field_of_study': ['Computer Science']}