4/8/2023 0 Comments Primitive notion definitionWe discuss examples of the DOGMA implementation of the ontology base server and commitment server.I read everywhere (including here on math.stackexchange) that the notion of set in ZFC is primitive. We claim it also leads to methodological approaches that naturally extend database modeling theory and practice, and so may in turn lead to scalable solutions for ontology-based systems. Such architecture allows to make the latter (crucial) notion explicit as a separate layer, with concrete and dedicated services, mediating between the ontology base and the application instances that commit to the ontology. Following common model-theoretic database practice we decompose such resources into ontology bases and into of their ex-plicit so-called ontological commitments. We then give a database-inspired "view" on implementations of ontologies seen as resources. as "representationless" mathematical objects that form the range of a classical interpretation mapping from a first order language (sometimes called a conceptual schema, and assumed to lexically represent an application), to a set of possible ("plausible") conceptualizations of the real world domain. We first define formal ontologies in a logic sense, i.e. engineering process, that also simplifies building and manag-ing ontologies (d) the coexistence of several rule systems and ontology lan-guages around a same ontology and (e) the reconcile of the need to represent semantics independently from language with the need to create and use proc-esses entirely rooted and described in (natural) language. Our method-ology aims to addresses several related issues, such as (a) the scalability of building and sharing ontologies (b) the maximization of knowledge reusability (c) the design and. This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semantics for a real world domain. It is been pointed out that the coherence between primitives invites every academic discipline to account for the meaning attached to the analogies of primitive terms it is employing, without exploring this additional theme any further. The former happens when other unique (primitive) terms are used to define a specific one and the latter when the attempted ‘definitions’ revert to terms with which the original terms could be meaningfully replaced. There appears to be two options, either reduce what is irreducible or merely provide (partial) synonymous terms for given primitives. However, although primitive terms are found within the various aspects, the meaning of an aspect only comes to expression through its coherence with other aspects, evinced in modal analogies that are qualified by the core meaning of an aspect. It is argued that primitive terms are not isolated but reveal their meaning only through their interconnections with other primitive terms that are embedded in other modal aspects. Examples of primtive terms are given from disciplines such as mathematics, physics and logic and they are related to the general idea of a modal aspect. The current investigation proceeds on the basis of an idea of the structure of the various modes of being (modi/modalities) within which concrete (natural and social) entities function. The alternative is to account for an intuitive understanding (immediate insight) into the meaning of such terms. Ignoring primitive terms leads to an infinite regress.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |