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
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
|
R. N. Ravikumar, S. Aarthi, Yulduz Urazbaeva, Zamira Atamuratova, Sadullayeva Moxinur, Jakhongir Shaturaev.
© 2026.
32 pages.
|
|
Arjun Bali, Siddharth Kashiramka, Anshuman Guha, Prashant Gupta.
© 2026.
30 pages.
|
|
Vishal Jain, Archan Mitra, Sanchita Paul.
© 2026.
32 pages.
|
|
Krithikaa Venket.
© 2026.
26 pages.
|
|
Nuraisa Novia Hidayati, Agung Santosa, Elvira Nurfadhilah, Andi Djalal Latief, Kokoy Siti Komariah, Asril Jarin, Siska Pebiana, Yuyun Wabula, Radhiyatul Fajri, Tri Sampurno.
© 2026.
50 pages.
|
|
Piyush Amol Bhosale, Shravani Kulkarni, Amna Kausar, Aditya Shrivastav, Susanta Das.
© 2026.
26 pages.
|
|
Vishal Jain, Archan Mitra.
© 2026.
22 pages.
|
|
|