Research on ontologies is becoming widespread in the biomedical informatics community.
At the same time, it has become apparent that the challenges of properly constructing and …

I revisit here the motivations and the main proposal of paper I published at the 1994
Wittgenstein Symposium, entitled “The Ontological Level”, in the light of the main results …

The OntoClean methodology was based on a set of formal meta-properties whose
semantics were specified in S5 modal logic. One of these metaproperties, Rigidity, has come …

This report describes a new version of the OntoSpec methodology for ontology building.
Defined by the LaRIA Knowledge Engineering Team (University of Picardie Jules Verne …

In this paper we review the integration of BFO's theory of types with OntoClean's notion of
Rigidity, provide our decision tree procedure for evaluating ontologies based on the …

In this work we argue for the definition a knowledge-based entity matching framework for the
implementation of a reliable and incrementally scalable solution. Such knowledge base is …

ontological consistency. Abstract--The Internet and the open connectivity environment
created a strong demand for the sharing of data semantics. Ontologies are increasingly …

Abstract The Open Biomedical Ontology (OBO) Foundry initiative is a collaborative effort for
developing interoperable, science-based ontologies. The Basic Formal Ontology (BFO) …

The Open Biomedical Ontology (OBO) Foundry initiative is a collaborative effort for
developing interoperable, science-based ontologies. OBO uses the Basic Formal Ontology …

This paper provides a reformulation of OntoClean's notion of Unity and Identity within a
formal theory of classes, and evaluates how the reformulations apply to BFO's theory of …