Atypicalities in Ontologies: Inferring New Facts from Topological Axioms

Abstract : This paper is a contribution to formal ontology study: the problem of atypical entities. Some individual entities are attached to classes when they do not check all the properties of the class. We introduce the topological operators of interior, border, closure and exterior. These operators allow us to describe whether an entity belonging to a class is typical or not. We define a system of relations of inclusion and membership by adapting the topological operators, based on a precise axiomatic. In this paper, we propose to better formalize these topological relations of inclusion and membership based on the mathematical properties of topological operators. However, there are properties of combining operators of interior, border, closure and exterior allowing the definition of an algebra. We propose to use these mathematical properties as a set of axioms. This set of axioms allows us to establish properties of relations of topological inclusion and membership.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01297924
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 5, 2016 - 10:43:10 AM
Last modification on : Thursday, March 21, 2019 - 1:11:47 PM

Identifiers

  • HAL Id : hal-01297924, version 1

Citation

Christophe Jouis, Bassel Habib, Jean-Gabriel Ganascia. Atypicalities in Ontologies: Inferring New Facts from Topological Axioms. ARCOE 2009, “Automated Reasoning about Context and Ontology Evolution”, Jul 2009, Pasadena, California, United States. pp.43-45. ⟨hal-01297924⟩

Share

Metrics

Record views

97