Ontology Evaluation

Ontologies are a pillar of the emerging Semantic Web. They capture background knowledge by providing relevant terms and the formal relations between them, so that they can be used in a machine-processable way, and thus enable automatic aggregation and the proactive use and serendipitous reuse of distributed data sources. Ontologies on the Semantic Web will come from a vast variety of different sources, spanning institutions and persons aiming for different goals and quality criteria. Ontology evaluation is the task of measuring the quality of an ontology. It enables us to answer the following main question: How to assess the quality of an ontology for the Web? Ontology evaluation is essential for a wide adoption of ontologies, both in the Semantic Web and in other semantically enabled technologies. We regard the three following scenarios as relevant for ontology evaluation: • Mistakes and omissions in ontologies can lead to the inability of applications to achieve the full potential of exchanged data. Good ontologies lead directly to a higher degree of reuse of data and a better cooperation over the boundaries of applications and domains. • People constructing an ontology need a way to evaluate their results and possibly to guide the construction process and any refinement steps. This will make the ontology engineers feel more confident about their results, and thus encourage them to share their results with the community and reuse the work of others for their own purposes. • Local changes in collaborative ontology engineering may effect the work of others. Ontology evaluation technologies allow to automatically check if constraints and requirements are fulfilled, in order to automatically reveal plausibility problems, and thus to decrease maintenance costs of such ontologies dramatically. In this thesis a theoretical framework and several methods breathing life into the framework are presented. The application to the above scenarios is explored, and the theoretical foundations are thoroughly grounded in the practical usage of the emerging Semantic Web. We implemented and evaluated a number of the methods. The results of these evaluations are presented, indicating the usefulness of the overall framework.

[1]  Pompeu Casanovas,et al.  OPJK and DILIGENT: ontology modeling in a distributed environment , 2007, Artificial Intelligence and Law.

[2]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[3]  Li Ding,et al.  A Semantic Wiki Based Light-Weight Web Application Model , 2009, ASWC.

[4]  Nicola Guarino,et al.  A Formal Ontology of Properties , 2000, EKAW.

[5]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[6]  Christopher A. Welty OntOWLClean: Cleaning OWL ontologies with OWL , 2006, FOIS.

[7]  Dean Allemang,et al.  Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL, Second Edition , 2011 .

[8]  Boris Motik,et al.  DLPconvert: Converting OWL DLP Statements to Logic Programs , 2005 .

[9]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[10]  Steffen Staab,et al.  Towards ontologies for formalizing modularization and communication in large software systems , 2006, Appl. Ontology.

[11]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[12]  Jiao Tao,et al.  Towards Integrity Constraints in OWL , 2009, OWLED.

[13]  Sören Auer,et al.  OntoWiki: A Tool for Social, Semantic Collaboration , 2006, CKC.

[14]  Steffen Stadtmüller,et al.  RaDON - Repair and Diagnosis in Ontology Networks , 2009, ESWC.

[15]  Kent L. Beck Extreme Programming , 1999, TOOLS.

[16]  Denny Vrande Towards Automatic Content Quality Checks in Semantic Wikis , 2009 .

[17]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[18]  M. Krötzsch,et al.  Wikipedia and the Semantic Web The Missing Links ? , 2005 .

[19]  York Sure-Vetter,et al.  How to Design Better Ontology Metrics , 2007, ESWC.

[20]  York Sure-Vetter,et al.  Learning Disjointness , 2007, ESWC.

[21]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[22]  Aldo Gangemi,et al.  Ontology evaluation and validation An integrated formal model for the quality diagnostic task , 2005 .

[23]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[24]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.1 , 1997, RFC.

[25]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[26]  Elena Paslaru Bontas Simperl,et al.  Makna and MultiMakna : towards semantic and multimedia capability in Wikis for the emerging Web ∗ , 2006 .

[27]  Deborah L. McGuinness,et al.  Ontologies Come of Age , 2003, Spinning the Semantic Web.

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

[29]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[30]  G. Bennington Foundations , 2007 .

[31]  Aldo Gangemi,et al.  Unit Tests for Ontologies , 2006, OTM Workshops.

[32]  Boris Motik,et al.  OWL 2 Web Ontology Language: Direct Semantics , 2009 .

[33]  Steffen Staab,et al.  An Argumentation Ontology for DIstributed, Loosely-controlled and evolvInG Engineering processes of oNTologies (DILIGENT) , 2005, ESWC.

[34]  Markus Krötzsch,et al.  Semantic MediaWiki , 2006, Foundations for the Web of Information and Services.

[35]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Mapping to RDF Graphs , 2009 .

[36]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[37]  KiferMichael,et al.  Logical foundations of object-oriented and frame-based languages , 1995 .

[38]  Aldo Gangemi,et al.  Qood grid: A metaontology-based framework for ontology evaluation and selection , 2006, EON@WWW.

[39]  R GruberThomas Toward principles for the design of ontologies used for knowledge sharing , 1995 .

[40]  Harith Alani,et al.  Metrics for Ranking Ontologies , 2006, EON@WWW.

[41]  Werner Ceusters,et al.  A Realism-Based Approach to the Evolution of Biomedical Ontologies , 2006, AMIA.

[42]  Sean Bechhofer,et al.  Exploring OWL and rules: a simple teaching case , 2008 .

[43]  Amit P. Sheth,et al.  OntoQA: Metric-Based Ontology Quality Analysis , 2005 .

[44]  Bijan Parsia,et al.  Ontology Performance Profiling and Model Examination: First Steps , 2007, ISWC/ASWC.

[45]  Johanna Völker,et al.  A Framework for Ontology Learning and Data-driven Change Discovery , 2005 .

[46]  Marko Grobelnik,et al.  A SURVEY OF ONTOLOGY EVALUATION TECHNIQUES , 2005 .

[47]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[48]  Edward G. Schilling,et al.  Juran's Quality Handbook , 1998 .

[49]  Vijayan Sugumaran,et al.  A semiotic metrics suite for assessing the quality of ontologies , 2005, Data Knowl. Eng..

[50]  R. Porzel,et al.  A Task-based Approach for Ontology Evaluation , 2022 .

[51]  Denny Vrandečić,et al.  Explicit Knowledge Engineering Patterns with Macros , 2005 .

[52]  Mark Davis,et al.  Tags for Identifying Languages , 2009, RFC.

[53]  Andrew Koenig,et al.  Patterns and Antipatterns , 1998, J. Object Oriented Program..

[54]  Paul J. Walmsley,et al.  XML Schema Part 0: Primer Second Edition , 2004 .

[55]  Holger Lewen,et al.  Topic-Specific Trust and Open Rating Systems: An Approach for Ontology Evaluation , 2006, EON@WWW.

[56]  James A. Hendler,et al.  A Framework for Web Science , 2006, Found. Trends Web Sci..

[57]  Mathieu d'Aquin,et al.  Cupboard - A Place to Expose Your Ontologies to Applications and the Community , 2009, ESWC.

[58]  Markus Krötzsch,et al.  Reasoning in Semantic Wikis , 2007, Reasoning Web.

[59]  Marti A. Hearst Automatic Acquisition of Hyponyms from Large Text Corpora , 1992, COLING.

[60]  Peter Benson,et al.  Data quality â¿¿ Part 110: Master data: Exchange of characteristic data: Syntax, semantic encoding, and conformance to data specification , 2008 .

[61]  Barry Smith,et al.  FOIS introduction: Ontology---towards a new synthesis , 2001, FOIS.

[62]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[63]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[64]  Asunción Gómez-Pérez,et al.  ONTOMETRIC: A Method to Choose the Appropriate Ontology , 2004, J. Database Manag..

[65]  Thomas Briggs Constraint Generation and Reasoning in OWL , 2008 .

[66]  Enrico Motta,et al.  Evaluating the Semantic Web: A Task-Based Approach , 2007, ISWC/ASWC.

[67]  Michael Conrad Adaptability , 1926, Springer US.

[68]  Johanna Völker,et al.  AEON --An approach to the automatic evaluation of ontologies , 2008 .

[69]  Tim Berners-Lee,et al.  Linked data , 2020, Semantic Web for the Working Ontologist.

[70]  Mira Mezini,et al.  Pi: a Pattern Language , 2009, OOPSLA.

[71]  Doug Downey,et al.  Web-scale information extraction in knowitall: (preliminary results) , 2004, WWW '04.

[72]  Organización Internacional de Normalización ISO 2108 : Information and documentation -- International Standard Book Number (ISBN) , 2005 .

[73]  Jeffrey T. Pollock Semantic Web For Dummies , 2009 .

[74]  Adam Souzis,et al.  Building a Semantic Wiki , 2005, IEEE Intell. Syst..

[75]  Hala Skaf-Molli,et al.  Multi-synchronous Collaborative Semantic Wikis , 2009, WISE.

[76]  Boris Motik,et al.  Reasoning in description logics using resolution and deductive databases , 2006 .

[77]  Jeffrey M. Voas Software's Secret Sauce: The "-ilities" , 2004, IEEE Softw..

[78]  Asunción Gómez-Pérez,et al.  Building a chemical ontology using Methontology and the Ontology Design Environment , 1999, IEEE Intell. Syst..

[79]  B. C. Vickery,et al.  Ontologies , 1997, J. Inf. Sci..

[80]  Andrew Mansfield Blaise Pascal: Pensées , 2011 .

[81]  Asunción Gómez-Pérez,et al.  The Integration of OntoClean in WebODE , 2002, EON.

[82]  Peter Haase,et al.  OMV – Ontology Metadata Vocabulary , 2005 .

[83]  Pompeu Casanovas,et al.  IURISERVICE II ONTOLOGY DEVELOPMENT , 2005 .

[84]  G. Beged-Dov RDF Site Summary (RSS) 1.0 , 2001 .

[85]  Harith Alani,et al.  Position paper: ontology construction from online ontologies , 2006, WWW '06.

[86]  Tom DeMarco,et al.  Controlling software projects : management, measurement & estimation , 1982 .

[87]  Barbara Tillett,et al.  What is FRBR? A conceptual model for the bibliographic universe , 2005 .

[88]  Rudi Studer,et al.  How to structure and access XML documents with ontologies , 2001, Data Knowl. Eng..

[89]  Markus Krötzsch,et al.  Semantic Wikipedia , 2006, WikiSym '06.

[90]  Markus Krötzsch,et al.  Reusing Ontological Background Knowledge in Semantic Wikis , 2006, SemWiki.

[91]  Aldo Gangemi,et al.  Ontology Design Patterns for Semantic Web Content , 2005, SEMWEB.

[92]  Leo Sauermann,et al.  Cool URIs for the semantic web , 2007 .

[93]  Mathias Schindler,et al.  Introducing New Features to Wikipedia: Case Studies for Web Science , 2011, IEEE Intelligent Systems.

[94]  Aleks Jakulin,et al.  ONTOLOGY GROUNDING , 2005 .

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

[96]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[97]  David E. Millard,et al.  A study of ontology convergence in a semantic Wiki , 2008, Int. Sym. Wikis.

[98]  Marc Ehrig,et al.  Similarity for Ontologies - A Comprehensive Framework , 2005, ECIS.

[99]  Sebastian Rudolph,et al.  RDF syntax normalization using XML validation , 2009 .

[100]  Sean Bechhofer,et al.  Pushing the Limits of OWL, Rules and Protege. A Simple Example , 2005, OWLED.

[101]  Andrea Schaerf Reasoning with Individuals in Concept Languages , 1993, AI*IA.

[102]  Aldo Gangemi,et al.  Modelling Ontology Evaluation and Validation , 2006, ESWC.

[103]  Johanna Völker,et al.  A Metamodel for Annotations of Ontology Elements in OWL DL , 2006, WoMM.

[104]  Steffen Staab,et al.  Gimme' the context: context-driven automatic semantic annotation with C-PANKOW , 2005, WWW '05.

[105]  Asunción Gómez-Pérez,et al.  Evaluation of ontologies , 2001, International Journal of Intelligent Systems.

[106]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[107]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[108]  Michael Engler,et al.  D7.2.1 SEKT Methodology: Initial Lessons Learned and Tool Design , 2006 .

[109]  Mihai Radulescu,et al.  KiWi - A Platform for Semantic Social Software , 2009, SemWiki.

[110]  York Sure,et al.  Usage Tracking for Ontology Evolution , 2005 .

[111]  Sik Chun Lam Methods for resolving inconsistencies in ontologies , 2007 .

[112]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[113]  Lydia B. Chilton,et al.  Tabulator: Exploring and Analyzing linked data on the Semantic Web , 2006 .

[114]  Timothy W. Finin,et al.  Swoogle: a search and metadata engine for the semantic web , 2004, CIKM '04.

[115]  Ian Horrocks,et al.  On-To-Knowledge: Semantic Web-Enabled Knowledge Management , 2003 .

[116]  Yorick Wilks,et al.  Data Driven Ontology Evaluation , 2004, LREC.

[117]  George A. Vouros,et al.  HCOME: A Tool-Supported Methodology for Engineering Living Ontologies , 2004, SWDB.

[118]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[119]  Pascal Hitzler,et al.  How to reason with OWL in a logic programming system , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[120]  Brian W. Kernighan,et al.  Elements of Programming Style , 1974 .

[121]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[122]  Pompeu Casanovas,et al.  Iuriservice: An Intelligent Frequently Asked Questions System to Assist Newly Appointed Judges , 2003, Law and the Semantic Web.

[123]  Sebastian Rudolph,et al.  Conjunctive Queries for a Tractable Fragment of OWL 1.1 , 2007, ISWC/ASWC.

[124]  Steffen Staab,et al.  OntoEdit: Multifaceted Inferencing for Ontology Engineering , 2003, J. Data Semant..

[125]  Boris Motik,et al.  rdf:PlainLiteral: A Datatype for RDF Plain Literals , 2009 .

[126]  Sebastian Rudolph,et al.  Tempus fugit ? Towards an Ontology Update Language , 2009 .

[127]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

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

[129]  York Sure-Vetter,et al.  Automatic Evaluation of Ontologies (AEON) , 2005, SEMWEB.

[130]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[131]  Pascal Hitzler,et al.  Resolution-Based Approximate Reasoning for OWL DL , 2005, SEMWEB.

[132]  Alan Rick Horwitz The matrix revolutions , 2009, Nature Reviews Molecular Cell Biology.

[133]  Enrico Motta,et al.  Watson: supporting next generation semantic web applications , 2007 .

[134]  Steffen Staab,et al.  Engineering Ontologies using Semantic Patterns , 2001, OIS@IJCAI.

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

[136]  Yuzhong Qu,et al.  Falcons: searching and browsing entities on the semantic web , 2008, WWW.

[137]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[138]  Johanna Völker,et al.  Supporting Lexical Ontology Learning by Relational Exploration , 2007, ICCS.

[139]  Steffen Staab,et al.  Measuring Similarity between Ontologies , 2002, EKAW.

[140]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[141]  U. Eco Foucault's Pendulum , 1988 .

[142]  Takashi Yamauchi,et al.  The Semantic Web and Human Inference: A Lesson from Cognitive Science , 2007, ISWC/ASWC.

[143]  York Sure-Vetter,et al.  The DILIGENT knowledge processes , 2005, J. Knowl. Manag..

[144]  Enrico Motta,et al.  Proceedings of the 8th International Semantic Web Conference , 2009 .

[145]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[146]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[147]  Neil Postman Language Education in a Knowledge Context. , 1980 .

[148]  Enrico Motta,et al.  Characterizing Knowledge on the Semantic Web with Watson , 2007, EON.

[149]  Peter F. Patel-Schneider,et al.  OWL Web Ontology Language XML Presentation Syntax , 2003 .

[150]  Mariano Fernández-López,et al.  Ontological Engineering , 2003, Encyclopedia of Database Systems.

[151]  Jakob Voß,et al.  Collaborative thesaurus tagging the Wikipedia way , 2006, ArXiv.

[152]  Boris Motik,et al.  Problems with OWL Syntax , 2006, OWLED.

[153]  Sebastian Schaffert,et al.  IkeWiki: A Semantic Wiki for Collaborative Knowledge Management , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[154]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[155]  V. Svátek Design Patterns for Semantic Web Ontologies : Motivation and Discussion , 2004 .

[156]  Asunción Gómez-Pérez,et al.  Ontology Evaluation , 2004, Handbook on Ontologies.

[157]  Mark E. Blomme Zen and the Art of Motorcycle Maintenance: An Inquiry into Values , 2009 .

[158]  Michael Uschold,et al.  Ontologies and semantics for seamless connectivity , 2004, SGMD.

[159]  Jens Lehmann,et al.  What Have Innsbruck and Leipzig in Common? Extracting Semantics from Wiki Content , 2007, ESWC.

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

[161]  P. Haase An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies , 2007 .

[162]  A Sorrell,et al.  Wish you were here , 1997, British Dental Journal.

[163]  Mark Davis,et al.  Matching of Language Tags , 2006, RFC.

[164]  Yugyung Lee,et al.  OntoKhoj: a semantic web portal for ontology searching, ranking and classification , 2003, WIDM '03.

[165]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[166]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[167]  Roy T. Fielding,et al.  Uniform Resource Identifier (URI): Generic Syntax , 2005, RFC.

[168]  James A. Thom,et al.  Ontology evaluation using wikipedia categories for browsing , 2007, CIKM '07.

[169]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.