Atypicalities in Ontologies: Inferring New Facts from Topological Axioms - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Atypicalities in Ontologies: Inferring New Facts from Topological Axioms

Résumé

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.
Fichier non déposé

Dates et versions

hal-01297924 , version 1 (05-04-2016)

Identifiants

  • HAL Id : hal-01297924 , version 1

Citer

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⟩
115 Consultations
0 Téléchargements

Partager

More