Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Logic Based Design Modeling with Shape Algebras



Scott Chase


A new method of describing designs by combining the paradigms of shape aglebras and predicate logic representations is presented. Representing shapes and spatial relations in logic provides a natural, intuitive mehtod of developing complete computer systems for reasoning about designs. The advantages of shape algebra formalisms over more traditional representations of geometric objects are discussed. The method employed involves the definition of a large set of high level design relations from a small set of simple structures and spatial relations. Examples in architecture and geographic information systems are illustrated.
Automation in Construction


shape algebra, logic representation, geometric objects, computer systems, information systems


Chase, S. (1997), Logic Based Design Modeling with Shape Algebras, Automation in Construction (Accessed June 17, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created September 1, 1997, Updated February 17, 2017