ON AN XML AND OWL COMPUTER ONTOLOGY FOR THE REPRESENTATION OF MAMMALS IN DRC
Eugène Mbuyi Mukendi, Krystelle Shematsi Bwira, Bevi Mbelu Mutoba, Franck Manya Tunda · 2013
In philosophy, ontology is the study of general properties of what exists. By importing this concept in computing one moves from science (ontology) to an object (ontology). Computer ontology is a representation of general properties of what exists in a formalism supporting rational treatment. This is the result of a comprehensive and rigorous formulation of the conceptualization of a domain. Due to this aspect of the description of what exists and of its categories, computer ontologies have borrowed their name from the philosophical ontology. Ontology formally defines the terms used to describe and represent an area of knowledge. An abstract ontology can be seen as a set. O = (L, C, T, R, , ≤ C, ≤ R, J) L a logical theory C and R finite sets of labels of concepts and relationships respectively. : R C x C a signature function or an area of a relationship ≤C and ≤R C partial orders on the sets C and R TC an upper bound for ≤C J axioms expressed with L Q is a requests language. The response to a request (x1, x2 ... an) {(a1 ... an): O ╞ {(a1 ... an)} a descriptor for an object a in an ontology O is a part of O allowing answering questions on a. That is to say a set of non-trivial and noncontradictory facts for a.