![](bg7.png)
4 CONCLUSION
The separation of designing from making and the
increased importance of the drawing characterise the
modern design process. The major work of initial
conceptual design in CAD is done through a human-
computer dialogue. This paper proposes an ontology
based approach for assisting designer’s conceptuali-
sation in CAD processes. The difficulty lies in the
distinction between the logical notion of model and
the ontological notion of possible worlds (Guarino et
al, 2009). The former is described by abstract struc-
tures, while the letter is represented by observed
states of affairs. The number of world states, i.e., the
number of visual sites, depends mainly on creativity
of the designer.
The role of the logical model is to assign rela-
tional structures to vocabulary elements. Graph can
be combined with the most logic-based knowledge
representation techniques, where knowledge is rep-
resented explicitly by symbolic terms and reasoning
is the manipulation of these terms. In the proposed
approach the semantics of logical formulas uses rela-
tional structures based on hyper-graphs.
It is known that the degree to which an ontology
specifies a conceptualization depends on the rich-
ness both of the domain of discourse and the vo-
cabulary, and logic language expressiveness. In the
considered paper many sorted logic language is used
to express properties of attributed hyper-graphs of
different sorts.
The proposed ontological approach provides in-
sight in how humans aided by computer solve visu-
al design problems. In our future research we shall
consider a new example ontology focusing attention
on influence of computer technology on visual de-
sign creativity.
REFERENCES
Yurchyshyna, A., Zarli, A., 2009. An Ontology-based
Approach for Formalisation and Semantic Organiza-
tion of Conformance Requirements in Construction. In
International Research Journal Automation in Con-
struction. Volume 18. Issue 8, pp. 1084-1098.
Grabska, E., Slusarczyk, G., 2011. Knowledge and reason-
ing in design systems. In Automation in Construction
22, pp. 927–934.
Grabska, E., et al., 2009. Hypergraph system supporting
design and reasoning. In Intelligent Computing in En-
gineering, 20th EG-ICE International Workshop, pp.
134–141.
Grabska, E., 2011. Computer Aided Conceptual Visual
Design based on Ontology, In KEOD, 3
rd
Internation-
al Conference on Knowledge Engineering and Ontol-
ogy Development, pp. 396–399.
Minas, M., 2002. Concepts and Realization of a Diagram
Editor Generator Based on Hypergraph Transfor-
mation. In Science of Computer Programming 44,
2002, pp.157–180.
Coyne, R. D., et al. 1990, Knowledge based design sys-
tems, Addison-Wesley Publishing Company, 1990.
Guarino, N., et al. 2009. What Is an Ontology. Handbook
on Ontologies. Springer, Heildelberg.
Eastman, Ch., et al. 2008. BIM Handbook: A Guide to
Building Information Modeling for Owners, Manag-
ers, Designers, Engineers and Contractors, Wiley.
Lawson, B., 2001, How designers think, Architectural
Press.
Grabska, E., 2010. Visual design with the use of graph-
based data structure. eWork and e-business in Archi-
tecture, Engineering and Construction, Taylor and
Francis Group. London, pp. 209–214.
Tversky, B., Suwa, M., 2009. Thinking with sketches. In
Tools for innovation. Oxford University Press.
Markman, A. B. & Wood, K. L., (Eds.), Tools for innova-
tion, Oxford.
Schurr, A., et al. 1995. Graph grammar engineering with
PROGRES, In LNCS, 989, 5th European Software
Engineering Conference (ESEC95), Springer-Verlag,
Berlin, pp. 219–234.
Visser, W., 2006. The cognitive artifacts of designing,
Erlbaum L. Associates, Mahwah, NJ.
Booch, G., et al. 2005. The unified modeling language
user guide. Addison-Wesley, NJ.
Arciszewski, T., et al. 2009. Visual Thinking in Inventive
Design: Three Perspectives. In Soft Computing in Civil
and Structural Engineering. Saxe-Coburg
Publications, pp. 179 -202.
Tversky, B., 2001. Spatial schemas in depictions. In
Spatial schemas and abstract thought, MIT Press.
Ware, C., 2008. Visual thinking for design, Elsevier.
Goldschmidt, G., 1994. On visual design thinking. In
Design Studies 15, pp.158–174.
Fagin, R., et al. 1995. Reasoning About Knowledge, MIT
Press, Cambridge.
Lifschitz V., Morgenstern L., 2008, Knowledge
Representation and Classical Logic, Handbook of
Knowledge Representation, van Harmelen F.,
Lifschitz V., Porter B. (Eds), Elsevier.
Suwa, M., Tversky, B., 1997. What architects and students
perceive in their sketches: A protocol analysis. In
Design Studies 18, pp. 385–403.
Genesereth M. R., Nilsson N.J., 1987. Logical Foundation
of Artificial Intelligence.
Morgan Kaufmann. Los
Altos. CA.
Grabska E., 2012. Towards a Formal Model of Visual
Design, In Advances in Intelligent and Soft
Computing, Systems Interaction: Backgrounds and
Applications 2, pp. 135–147.
Barwise J., Seligman J., 1997. The Logic of Distributed
Systems, Cambridge University Press.
KEOD2014-InternationalConferenceonKnowledgeEngineeringandOntologyDevelopment
278