Drawing OWL 2 ontologies with Eddy the editor

In this paper we introduce Eddy, a new open-source tool for the graphical editing of OWL~2 ontologies. Eddy is specifically designed for creating ontologies in Graphol, a completely visual ontology language that is equivalent to OWL~2. Thus, in Eddy ontologies are easily drawn as diagrams, rather than written as sets of formulas, as commonly happens in popular ontology design and engineering environments. This makes Eddy particularly suited for usage by people who are more familiar with diagramatic languages for conceptual modeling rather than with typical ontology formalisms, as is often required in non-academic and industrial contexts. Eddy provides intuitive functionalities for specifying Graphol diagrams, guarantees their syntactic correctness, and allows for exporting them in standard OWL 2 syntax. A user evaluation study we conducted shows that Eddy is perceived as an easy and intuitive tool for ontology specification.

[1]  Thomas Ertl,et al.  Visualizing ontologies with VOWL , 2016, Semantic Web.

[2]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[3]  Alan J. Dix.  Human-Computer Interaction , 2018, Encyclopedia of Database Systems.

[4]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[5]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[6]  Kleber Xavier Sampaio de Souza,et al.  Visualization of ontologies through hypertrees , 2003, CLIHC '03.

[7]  Jakob Nielsen,et al.  Chapter 4 – The Usability Engineering Lifecycle , 1993 .

[8]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[9]  Domenico Lembo,et al.  Ontology-based Data Integration with MASTRO-I for Configuration and Data Management at SELEX Sistemi Integrati , 2008, SEBD.

[10]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[11]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[12]  Gem Stapleton,et al.  Towards Diagrammatic Ontology Patterns , 2013, WOP.

[13]  Andrea Calì,et al.  A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..

[14]  Allison Woodruff,et al.  Guidelines for using multiple views in information visualization , 2000, AVI '00.

[15]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[16]  Ian Horrocks,et al.  The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .

[17]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[18]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[19]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[20]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Manchester Syntax (Second Edition) , 2012 .

[21]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[22]  Maurizio Lenzerini,et al.  Developing Ontology-based Data Management for the Italian Public Debt , 2014, SEBD.

[23]  Sergio Tessaris,et al.  The ICOM 3.0 intelligent conceptual modelling tool and methodology , 2012, Semantic Web.

[24]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[25]  Fabio Vitali,et al.  Modelling OWL Ontologies with Graffoo , 2014, ESWC.

[26]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[27]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[28]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[29]  Riccardo Rosati,et al.  Visualization and Management of Mappings in Ontology-based Data Access (Progress Report) , 2014, Description Logics.

[30]  Ian Horrocks,et al.  Module Extraction in Expressive Ontology Languages via Datalog Reasoning , 2016, J. Artif. Intell. Res..

[31]  Moritz Weiten.  Chapter 5 OntoSTUDIO ® as a Ontology Engineering Environment , 2009 .

[32]  Domenico Lembo,et al.  Eddy: A Graphical Editor for OWL 2 Ontologies , 2016, IJCAI.

[33]  Giuseppe Santucci,et al.  Ontology Visualization: One Size Does Not Fit All , 2012, EuroVA@EuroVis.

[34]  Domenico Lembo,et al.  Easy OWL Drawing with the Graphol Visual Ontology Language , 2016, KR.

[35]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[36]  Domenico Fabio Savo,et al.  The Graphol Language for OWL 2 Ontology Editing and Visualization , 2017 .

[37]  Diego Calvanese,et al.  Ontop: Answering SPARQL queries over relational databases , 2016, Semantic Web.

[38]  Boris Motik,et al.  OWL 2 Web Ontology Language XML Serialization , 2008 .

[39]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[40]  Evgenij Thorstensen,et al.  Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract) , 2015, Description Logics.

[41]  Ben Shneiderman,et al.  Tree visualization with tree-maps: 2-d space-filling approach , 1992, TOGS.

[42]  Steffen Staab,et al.  What Is an Ontology? , 2009, Handbook on Ontologies.

[43]  B. Schneirdeman,et al.  Designing the User Interface: Strategies for Effective Human-Computer Interaction , 1998 .

[44]  Maurizio Lenzerini.  Ontology-based data management , 2011, CIKM '11.

[45]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[46]  Michael Kifer.  Rule Interchange Format: The Framework , 2008, RR.

[47]  Uldis Bojars,et al.  OWLGrEd Ontology Visualizer , 2014, ISWC Developers Workshop.

[48]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[49]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[50]  Boris Motik,et al.  Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach , 2012, J. Artif. Intell. Res..

[51]  Peter Haase,et al.  The NeOn Ontology Engineering Toolkit , 2008, WWW 2008.

[52]  Ferdinando Villa,et al.  GrOWL: A tool for visualization and editing of OWL ontologies , 2007, J. Web Semant..

[53]  Jakob Nielsen,et al.  Enhancing the explanatory power of usability heuristics , 1994, CHI '94.

[54]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[55]  Enrico Motta,et al.  An Overview of the OCML Modelling Language , 1998 .

[56]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[57]  Steffen Staab,et al.  Handbook on Ontologies (International Handbooks on Information Systems) , 2004 .