Sage Journals: Discover world-class research

Abstract

Ontologies can be used to represent the semantics of the information interchanged between heterogeneous information systems. Their quality expressed regarding 3C: consistency, completeness, and conciseness, is of primary importance. The paper defines a set of static semantics rules for evaluating the quality of ontology defined with the use of a meta-model. The rules themselves are expressed formally in OCL language. The meta-model and the rules were successfully implemented in the checker tool and used for verification of SUMO ontology. Results show that the files that constitute two upper layers of SUMO ontology suffer from some errors which should be eliminated. The ontology verification method together with the tool can also be applied for SUMO domain ontologies as well as be adapted for other ontologies.

Keywords

Ontology verification static semantics rules SUMO meta-model UML OCL

Get full access to this article

View all access options for this article.

References

Bilgin

, Dikment

and Birgonul

M.T.

, Ontology evaluation: An example of delay analysis, Procedia Engineering85 (2014), 61–68.

Corcho

, Gómez-Pérez

, González-Cabero

and Suárez-Figueroa

M.C.

, ODEval: A Tool for Evaluating RDF(S), DAML+OIL, and OWL Concept Taxonomies, In: 1st IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI 2004), 2004.

Gangemi

, Catenacci

, Ciaramita

, Lehmann

, Modelling ontology evaluation and validation, in: The Semantic Web: Research and Applications, Sure

and Domingue

, eds. 2006, 140–154.

Gómez-Pérez

, Ontology Evaluation, in: Handbook of Ontologies, Staab

and Studer

, ed., 2004, pp. 251–273.

Hlomani

and Stacey

, Approaches, methods, metrics. Measures, and subjectivity in ontology evaluation – a survey, submitted to Semantic Web – Interoperability, Usability, Applicability an IOS Press Journal (2014).

Hnatkowska

, Towards automatic SUMO to UML translation, in: From Requirements to Software Research andractice, Kościuczenko

and Śmiałek

, eds., Polskie Towarzystwo Informatyczne, 2015, pp. 87–100.

Hnatkowska

, Automatic SUMO to UML translation, accepted for publication in: e-Informatica, Software Engineering Journal10(1) (2016), 51–67. DOI: 10.5277/e-Inf160103

Object Management Group, Object Constraint Language Version 2.4, 2014.

Object Management Group, Unified Modeling Language (OMG UML) Version 2.5, 2013.

10.

OCL Documentation, http://help.eclipse.org/juno/index.jsp

11.

Muñoz

L.S.

and Grüninger

, Mapping and verification of the time ontology in SUMO, frontiers in artificial intelligence and applications, Formal Ontology in Information Systems283 (2016), 109–122.

12.

Pak

and Zhou

, A framework for ontology evaluation, Exploring the Grand Challenges for Next GenerationE-Business, Lecture Notes in Business Information Processing52 (2011), 10–18.

13.

Pease

, Ontology: A practical Guide. Articulate Software Press, Angwin, 2011.

14.

Pease

and Benzmüller

Ch.

, Sigma: An integrated development environment for formal ontology, AI Commun26(1) (2013), 79–97.

15.

Rico

, Caliusco

M.L.

, Chiotti

and Galli

M.R.

, OntoQualitas: A framework for ontology quality assessment in information interchanges between heterogeneous systems, Computers in Industry65(9) (2014), 1291–1300.

16.

Stojanovic

, Stojanovic

, Gonzalez

, Studer

, OntoManager – A System for the Usage-Based Ontology Management, in: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, Tari

and Schmidt

D.C.

, eds. 2003, pp. 858–875.

17.

Williams

M.H.

, Methods for specifying static semantics, Journal Computer Languages6(1) (1981), 1–17.

18.

Wikipedia, Ontology components, https://en.wikipedia.org/wiki/Ontology_components

19.

W3C, OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition), 2012.

20.

Vrandečić

, Ontology evaluation, in Handbook on Ontologies, Staab

and Studer

, ed., 2009, pp. 293–313.

21.

http://www.antlr.org/

Verification of SUMO ontology

Abstract

Keywords

Get full access to this article

References