Sortal Structures: Supporting Representational Flexibility for Building Domain Processes

We present a formal approach to represen- tational flexibility, sorts, to support alternative represen- tations of an entity. The approach is constructive, based on a part relation on elements within a sort, which en- ables the recognition of emergent information. The use of data functions as a sort provides for the embedding of data queries within a representational structure. We dis- cuss the application of sorts to supporting alternative data views, illustrating this through a case study in building construction.

[1]  R. Stouffs.  The algebra of shapes , 1994 .

[2]  Ragip Akbas,et al.  Formalizing product model transformations: Case Examples and applications , 1998, AI in Structural Engineering.

[3]  Ramesh Krishnamurti.  The Maximal Representation of a Shape , 1992 .

[4]  Ivar Jacobson,et al.  The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[5]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[6]  Burcu Akinci,et al.  The ASDMCon Project: The Challenge of Detecting Defects on Construction Sites , 2006, Third International Symposium on 3D Data Processing, Visualization, and Transmission (3DPVT'06).

[7]  Ramesh Krishnamurti,et al.  Shape Recognition in Three Dimensions , 1992 .

[8]  George Stiny.  Emergence and continuity in shape grammars , 1993 .

[9]  George Stiny,et al.  Shape: Talking about Seeing and Doing , 2006 .

[10]  Teng-Wen Chang,et al.  Typed feature structures and design space exploration , 1999, Artif. Intell. Eng. Des. Anal. Manuf..

[11]  T W Knight.  Color Grammars: Designing with Lines and Colors , 1989 .

[12]  G. Stiny.  Shape Rules: Closure, Continuity, and Emergence , 1994 .

[13]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[14]  Rudi Stouffs,et al.  The boundary of a shape and its classification , 2004 .

[15]  Terry Knight,et al.  Classical and non-classical computation , 2001, Architectural Research Quarterly.

[16]  B. Bjoerk.  INDUSTRY FOUNDATION CLASSES FOR PROJECT MANAGEMENT - A TRIAL IMPLEMENTATION , 1999 .

[17]  Per Christiansson.  Artificial Intelligence in Structural Engineering : Information Technology for Design, Collaboration, Maintenance and Monitoring , 1998 .

[18]  Rudi Stouffs,et al.  On the road to standardization , 2001 .

[19]  Burcu Akinci,et al.  A formalism for utilization of sensor systems and integrated project models for active construction quality control , 2006 .

[20]  Burcu Akinci,et al.  Combining Reality Capture Technologies for Construction Defect Detection: A Case Study , 2003 .

[21]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[22]  A. B. Cleveland.  Integrating Information with 3D Models for Facility Life-Cycle Support , 1996 .

[23]  Rudi Stouffs,et al.  On a query language for weighted geometries , 1996 .

[24]  Branko Kolarevic,et al.  Digital Morphogenesis And Computational Architectures , 2000 .

[25]  H. Aït-Kaci.  A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) , 1984 .

[26]  Rudi Stouffs,et al.  A Formal Structure for Nonequivalent Solid Representations , 1996 .

[27]  Ramesh Krishnamurti,et al.  Spatial Change: Continuity, Reversibility, and Emergent Shapes , 1997 .

[28]  Rudi Stouffs.  Design spaces: The explicit representation of spaces of alternatives , 2006, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[29]  Rudi Stouffs,et al.  Representational Flexibility for Design , 2002, AID.

[30]  G. Stiny.  The algebras of design , 1991 .