IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Exceptions in Ontologies: A Theoretical Model for Deducing Properties from Topological Axioms

Exceptions in Ontologies: A Theoretical Model for Deducing Properties from Topological Axioms
View Sample PDF
Author(s): Christophe Jouis (Université Paris III, France), Julien Bourdaillet (Université de Montréal, Canada), Bassel Habib (LIP6, France) and Jean-Gabriel Ganascia (LIP6, France)
Copyright: 2010
Pages: 20
Source title: Ontology Theory, Management and Design: Advanced Tools and Models
Source Author(s)/Editor(s): Faiez Gargouri (Higher Institute of Informatics and Multimedia of Sfax, Tunisia) and Wassim Jaziri (Higher Institute of Informatics and Multimedia of Sfax, Tunisia)
DOI: 10.4018/978-1-61520-859-3.ch003

Purchase

View Exceptions in Ontologies: A Theoretical Model for Deducing Properties from Topological Axioms on the publisher's website for pricing and purchasing information.

Abstract

This chapter is a contribution to the study of formal ontologies. It addresses the problem of atypical entities in ontologies. The authors propose a new model of knowledge representation by combining ontologies and topology. In order to represent atypical entities in ontologies, the four topological operators of interior, exterior, border and closure are introduced. These operators allow to specify whether an entity, belonging to a class, is typical or not. The authors define a system of topological inclusion and membership relations into the ontology formalism, by adapting the four topological operators with the help of their mathematical properties. These properties are used as a set of axioms which allows to define the topological inclusion and membership relations. Further, the authors define combinations of the operators of interior, exterior, border and closure that allow the construction of an algebra. They model is implemented in AnsProlog, a recent logic programming language that allows negative predicates in inference rules.

Related Content

Yair Wiseman. © 2021. 11 pages.
Mário Pereira Véstias. © 2021. 15 pages.
Mahfuzulhoq Chowdhury, Martin Maier. © 2021. 15 pages.
Gen'ichi Yasuda. © 2021. 12 pages.
Alba J. Jerónimo, María P. Barrera, Manuel F. Caro, Adán A. Gómez. © 2021. 19 pages.
Gregor Donaj, Mirjam Sepesy Maučec. © 2021. 14 pages.
Udit Singhania, B. K. Tripathy. © 2021. 11 pages.
Body Bottom