Integrating Graphical Support with Reasoning in a Methodology for Ontology Evolution

Ontology development and maintenance are complex tasks, so automatic tools are essential for a successful integration between the modeller’s intention and the formal semantics in an ontology. In this paper we present a methodology for ontology evolution specifically designed for being used in ontology design tools. It exploits the ontology graphical representation, which is closer to the modeller’s intention, and selected user queries, that reflect the formal semantics of the ontology, both generated within the context of a given user experience in a tool. In addition, a set of modular extension rules is supplied to capture ontology elements by abstracting the user from the whole model without losing consistency. The main benefit of this approach is to offer a trade-off between the inherent rigidity to the logic systems and the intuitive characteristics of the ontological modelling.

[1]  Markus Luczak-Rösch,et al.  Towards Agile Ontology Maintenance , 2009, SEMWEB.

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

[3]  James A. Hendler,et al.  Swoop: A Web Ontology Editing Browser , 2006, J. Web Semant..

[4]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[5]  Aldo Gangemi,et al.  Ontology Design Patterns , 2005 .

[6]  Enrico Motta,et al.  Ontology evolution: a process-centric survey , 2013, The Knowledge Engineering Review.

[7]  Martin Gogolla,et al.  An Extended Entity-Relationship Model: Fundamentals and Pragmatics , 1994 .

[8]  Bernhard Ganter,et al.  Completing Description Logic Knowledge Bases Using Formal Concept Analysis , 2007, IJCAI.

[9]  Ian Horrocks,et al.  Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems , 2013, OWLED.

[10]  Nicolas Guelfi,et al.  Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework , 2011, Int. J. Web Portals.

[11]  Domenico Lembo,et al.  Graphol: Ontology Representation through Diagrams , 2014, Description Logics.

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

[13]  Harith Alani,et al.  Winnowing Ontologies Based on Application Use , 2006, ESWC.

[14]  Claus Pahl,et al.  Graph-based discovery of ontology change patterns , 2011 .

[15]  Gerd Wagner,et al.  Conceptual simulation modeling with onto-UML , 2012, WSC.

[16]  Giancarlo Guizzardi,et al.  Design Patterns and Inductive Modeling Rules to Support the Construction of Ontologically Well-Founded Conceptual Models in OntoUML , 2011, CAiSE Workshops.

[17]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[18]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

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

[20]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[21]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[22]  Steffen Lohmann,et al.  The ProtégéVOWL Plugin: Ontology Visualization for Everyone , 2014, ESWC.

[23]  Terry A. Halpin,et al.  Information Modelling and Relational Databases , 2001 .

[24]  Fouad Zablith,et al.  Ontology Evolution , 2012, Ontology Engineering in a Networked World.

[25]  Renars Liepins,et al.  Advanced OWL 2.0 Ontology Visualization in OWLGrEd , 2012, DB&IS.

[26]  Fernando Náufel do Amaral.  Usability of a Visual Language for DL Concept Descriptions , 2010, RR.

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

[28]  Fouad Zablith,et al.  Evolva: A Comprehensive Approach to Ontology Evolution , 2009, ESWC.

[29]  Ivo Düntsch,et al.  Evaluation of software systems , 2002 .