The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Exceptions in Ontologies: A Theoretical Model for Deducing Properties from Topological Axioms
|
|
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
|
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.
|
|
|