In this paper we introduce Graffoo, i.e., a graphical notation to develop OWL ontologies by means of yEd, a free editor for diagrams.
- Graphical notation
In many contexts where the use of formal languages is needed (e.g., software development, GUI implementation, ontology engineering), the adoption of an appropriate graphical notation simplifies the design and property checking of a system since it enables an overview of the system that is difficult to have using textual syntaxes. Within the Semantic Web domain, this seems to be particularly true when developing ontologies: graphical languages, among the others, seem to support ontology modelling and understanding as well as the discussion between all the involved actors (i.e., domain experts, knowledge engineers and final users). Designing a graphical notation specific for OWL requires to consider what are the appropriate requirements that such notation should address according to different kinds of players coming from several academic and industrial contexts. At various SW conferences and workshops, we started brainstorming informally about the ideal features of a graphical notation for OWL ontologies, and we identified the following requirements:
Oriented to OWL. The notation should address all the capabilities of OWL.
Graphical elements to make modelling and understanding easy. It should facilitate users in dealing with modelling and understanding of ontologies.
Colours are a complementary aid, not a fundamental discriminant. Although the use of different colours helps to reduce the cognitive effort of users  in the aforementioned activities, each graphical element of the notation should be clearly recognisable even when it is presented in a grey scale.
Invent the notation, not the editor. The effort of creators of a notation should concern the development of the notation itself, since diagram applications usually provide mechanisms to extend them with additional notations easily.
Existing tools and notations developed to deal with modelling and understanding activities seem to be hardly appropriate to address all the aforementioned features – either because they do not address all OWL 2 capabilities , or because they were developed to address modelling tasks (e.g., ontology editors ) or understanding tasks (e.g., documentation generators ) but never both.
The aim of this demonstration is to show how to create OWL-aware ontology diagrams by using Graffoo (Sect. 2), a graphical notation for OWL ontologies that tries to address the aforementioned requirements. We accompany the discussion of Graffoo with preliminary outcomes of a comparative user testing session, and we briefly present the extension of DiTTO  (i.e., an online service that converts diagrams into OWL ontologies) we developed to convert Graffoo diagrams into proper OWL sources in Manchester Syntax. Finally, in Sect. 3, we conclude the paper sketching out some future works.
2 A Graphical Framework for OWL Ontologies
The Graphical Framework For OWL Ontologies, a.k.a. Graffoo Footnote 1, is a graphical notation that addresses all the requirements introduced in Sect. 1. All the graphical elements of Graffoo, summarised in Fig. 1, have been developed using the standard library of yEd Footnote 2, i.e., a free diagram editor running on Windows, Mac and Linux. The Graffoo graphical elements are available online and can be loaded as a proper section in the yEd palette, as shown in Fig. 2. To add the Graffoo graphical elements to yEd one needs to download the Graffoo .graphml fileFootnote 3, and then to import it as a palette – by selecting that file in the window that appears clicking on “Edit / Manage Palette / Import Section” in the yEd tool bar, and then by adding and including it in the available palettes.
Graphical Elements. All the ontological entities (i.e., ontologies, classes, properties, datatypes, and individuals) can be defined either as an IRI surrounded by angular brackets (e.g., < http://xmlns.com/foaf/0.1/Person >) or as a CURIE with a prefix (e.g., foaf:Person). All the prefixes can be defined within a particular box (entitled “Prefixes”) as a list of prefix-IRI pairs (e.g., foaf:< http://xmlns.com/foaf/0.1/ >). In Graffoo there are two different kinds of graphical elements, i.e., blocks (or nodes) and arcs. Blocks are used to define classes and class restrictions (yellow rectangles with solid and dotted borders respectively), datatypes and datatype restrictions (green rhomboids with solid and dotted borders respectively), individuals (pink circles with solid black border), ontologies (boxes with light-blue heading and dotted black border), additional axioms in Manchester Syntax for all those constructs that are not directly supported by a particular graphical element (light-blue and folded boxes), and rules (boxes with light-grey heading and black dashed border). Arcs are used to define assertions (black lines ending with a solid arrowFootnote 4), annotation properties (orange lines beginning with backslash and ending with a dashed arrow), data properties (green lines beginning with an empty circle and ending with an empty arrow), and object properties (blue lines beginning with a solid circle and ending with a solid arrow). In addition to these graphical elements, there is a particular kind of graphical elements (named property facilities, i.e., arcs having dotted border and referring to data, object and annotation properties), that were studied to decrease the cognitive effort of users when understanding an ontology. For instance, they allow one to say explicitly that a certain property can be used in the context of two classes without declaring them as domain and range. The full specification of Graffoo graphical elements is available at http://www.essepuntato.it/graffoo/specification/current.html.
Usability. As a preliminary study, we performed a comparative user testing session so as to gather some evidences on the usability of Graffoo when modelling OWL ontologies. We asked eleven PhD students in Computer Science and Law (with no expertise in ontologies and Semantic Web technologies) to use four different tools – i.e., the Manchester Syntax, Protégé, E/R as introduced in , and Graffoo – for modelling small OWL ontologies (with 5–15 entities). All the four tools were appropriately introduced to PhD students during six lectures of two hours each and, at the end of the last lecture, we asked them to answer a questionary containing ten likert questions according to the System Usability Scale (SUS)Footnote 5 – sub-scales of pure Usability and pure Learnability were considered as well . As shown in Table 1, the SUS score for Graffoo was the highest (58.9, in a 0–100 range), meaning that it was perceived more usable than the others – even if none of the differences between SUS scores was statistically significant.
DiTTO extension. DiTTO  is a Web service available at http://www.essepuntato.it/ditto developed, originally, to transform E/R diagrams into OWL ontologies according to three distinct conversion strategies. The core of DiTTO – i.e., a set XSLT 2.0 documents included in a Java Web Application Archive (i.e., a WAR file) served as a Tomcat application – has been recently extended with additional XSLT documents that apply several rewriting templates to the source file of the Graffoo diagram created through yEd, and return the converted OWL ontology in Manchester Syntax. This extension allows one to use some features available in yEd to simplify the work of ontology engineers. In particular, it is possible to add annotations to ontological entities by using the preference panel (as shown in Fig. 3), avoiding the use of the graphical element for additional axioms to specify such annotations as common axioms.
3 Conclusions and Future Works
In this paper we have introduced Graffoo, a graphical notation to model OWL ontologies. We have shown Graffoo graphical elements, we have described preliminary outcomes of a user testing session, and we have presented an extension of DiTTO for transforming Graffoo diagrams into OWL. We plan to extend Graffoo (and the related DiTTO extension) with a new compact syntax (in order to create, for instance, subclass axioms involving class restrictions when declaring properties), to generate Graffoo diagrams from OWL ontologies, and to perform additional usability evaluations to confirm the results sketched out herein.
Available at http://www.essepuntato.it/graffoo
Available at http://www.yworks.com/en/products_yed_about.html
Available at http://www.essepuntato.it/graffoo/sources
All the assertions defining typical OWL axioms, such as sub-class axioms, equivalent axioms, etc., can be expressed by natural language names in Graffoo (e.g., by using “is subclass of” instead of “rdfs:subClassOf”, “is equivalent to” instead of “owl:equivalentClass” and “owl:equivalentProperty”, etc.).
All data are available at http://www.essepuntato.it/graffoo/preliminary-test.
Chalmers, P.A.: The role of cognitive theory in human-computer interface. Comput. Hum. Behav. 19(5), 593–607 (2003). doi:10.1016/S0747-5632(02)00086-9
Gangemi, A., Peroni, S.: DiTTO: diagrams transformation into OWL. In: Proceedings of the ISWC 2013 Posters & Demonstrations Track (2013). http://ceur-ws.org/Vol-1035/iswc2013_demo_2.pdf
García-Barriocanal, E., Sicilia, M.A., Sánchez-Alonso, S.: Usability evaluation of ontology editors. Knowl. Organ. 32(1), 1–9 (2005)
Lewis, J.R., Sauro, J.: The factor structure of the system usability scale. In: Proceedings of HCSE 2009, pp. 94–103 (2009). doi:10.1007/978-3-642-02806-9_12
Negru, S., Haag, F., Lohmann, S.: Towards a unified visual notation for OWL ontologies: insights from a comparative user study. In: Proceedings of i-Semantics 2013, pp. 73–80 (2013). doi:10.1145/2506182.2506192
Peroni, S., Shotton, D., Vitali, F.: Tools for the automatic generation of ontology documentation: a task-based evaluation. Int. J. Semant. Web Inf. Syst. 9(1), 21–44 (2013). doi:10.4018/jswis.2013010102
Editors and Affiliations
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Falco, R., Gangemi, A., Peroni, S., Shotton, D., Vitali, F. (2014). Modelling OWL Ontologies with Graffoo. In: Presutti, V., Blomqvist, E., Troncy, R., Sack, H., Papadakis, I., Tordai, A. (eds) The Semantic Web: ESWC 2014 Satellite Events. ESWC 2014. Lecture Notes in Computer Science(), vol 8798. Springer, Cham. https://doi.org/10.1007/978-3-319-11955-7_42
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11954-0
Online ISBN: 978-3-319-11955-7