A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard

  title={A Method for Evaluating Ontologies - Introducing the BFO-Rigidity Decision Tree Wizard},
  author={A. Patrice Seyed},
  • A. Seyed
  • Published in FOIS 2012
  • Computer Science
In this paper we review the integration of BFO’s theory of types with OntoClean’s notion of Rigidity, discuss our decision tree procedure for evaluating ontologies based on the integration, while also discussing its implementation as a Protege 4 plugin, the BFO-Rigidity Decision Tree Wizard. [] Key Method The decision tree approach allows our wizard plugin to implicitly perform inferences on behalf of a modeler based on answers to questions.

Figures from this paper

Ontology as Product-Service System: Lessons Learned from GO, BFO and DOLCE
This paper defends a view of the Gene Ontology and of Basic Formal Ontology as examples of what the manufacturing industry calls product-service systems, and argues that GO and BFO are contrasted in this respect with DOLCE.
Applicability of Quality Metrics for Ontologies on Ontology Design Patterns
This work investigates the use of quality metrics for Content ODP evaluation in terms of metrics applicability and validity, and discusses the general applicability of each metric considering its definition, ODP characteristics, and the defined goals of ODPs.
B-Annot: Supplying Background Model Annotations for Ontology Coherence Testing
The demo paper presents B-Annot, a Protege plugin for annotation of ontologies and linked data vocabularies by background model distinctions. In addition, it briefly demonstrates the subsequent use
An Analysis of Applicability using Quality Metrics for Ontologies on Ontology Design Patterns
This work focuses oncontent ODPs, which form small ontologies themselves and thus can be subject to ontology quality metrics in general, and investigates the use of such metrics for content ODP evaluation in terms of metrics applicability and validity.
Towards a Unified Dispositional Framework for Realizable Entities
Realizable entities are properties that can be realized in processes of specific correlated types in which the bearer participates. It will be valuable to create a systematic classification of
Semantics Matters: A New Light on Ontological Commitments of Logics
This paper presents B. Vetter’s potentiality-based theory of possibility and discusses how to develop a modal semantics that would accord with the modal primacy of dispositions in the upper ontology Basic Formal Ontology (BFO).
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM14
Developing ontologies is not an easy task and, as the ontologies grow in size, they are likely to show a number of defects. Such ontologies, although often useful, also lead to problems when used i
Semantic and fuzzy modelling for human behaviour recognition in smart spaces: a case study on ambient assisted living
A fuzzy ontology and a semantic hybrid system are presented to allow modelling and recognition of a set of complex real-life scenarios where vagueness and uncertainty are inherent to the human nature of the users that perform it.
A survey on ontologies for human behavior recognition
This work reviews different methods for human activity recognition, classified as data-driven and knowledge-based techniques, and establishes an evaluation criterion to assess the suitability of the different candidate ontologies for this purpose.


Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
Initial criteria for a two-step normalisation of ontologies implemented using OWL or related DL based formalisms are proposed and an approach based on decomposing ("untangling") the ontology into independent disjoint skeleton taxonomies restricted to be simple trees is proposed.
Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies: A Field Report on the Collaboration of IFOMIS and L&C
How and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies it embeds are discussed.
Ontological realism: A methodology for coordinated evolution of scientific ontologies
A methodology for ontology development that is now being used by multiple groups of researchers in different life science domains is tested and refined, and some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative.
An Overview of OntoClean
This chapter presents an informal overview of the philosophical notions involved and their role in OntoClean, review some common ontological pitfalls, and walk through the example that has appeared in pieces in previous papers and has been the basis of numerous tutorials and talks.
Applying Rigidity to Standardizing OBO Foundry Candidate Ontologies
This work proposes a formal integration between Rigidity, a major component of OntoClean's approach to quality assurance of ontologies, and BFO’s theory of types, which augments ongoing efforts to build software designed to evaluate and standardize OBO Foundry candidate ontologies.
Towards OntoClean 2.0: A framework for rigidity
This paper attempts to reconcile results in a larger framework that exposes different kinds of rigidity, as well as two new metaproperties, actuality and permanence, which deal more specifically with the behavior of properties with respect to time and existence.
OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns
This paper presents the most common difficulties encountered by newcomers to the language, that have been observed during the course of more than a dozen workshops, tutorials and modules about OWL-DL and it’s predecessor languages.
The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications
The architecture of the OWL Plugin is described, the most important features are walked through, and some of the design decisions are discussed.
The Logic of Biological Classification and the Foundations of Biomedical Ontology
Drawing on Aristotle, a system of axioms and definitions for the treatment of biological classes and instances is developed, which aims to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies.
Identity and Modality in OntoClean
The aim of this paper is to refine, integrate and apply the methodology of OntoClean. Three aspects are taken into account; two of them concern main ideas of OntoClean, the third one is a study of a