From 04c00575319078b21ce0d9a0c445c9d362de0bcf Mon Sep 17 00:00:00 2001 From: Konrad Abicht Date: Fri, 29 Nov 2024 09:19:45 +0100 Subject: [PATCH 1/4] German translations of rdfs:label values --- modules/gfo-base.owl | 142 ++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 141 insertions(+), 1 deletion(-) diff --git a/modules/gfo-base.owl b/modules/gfo-base.owl index 81e5975..4b649a7 100644 --- a/modules/gfo-base.owl +++ b/modules/gfo-base.owl @@ -34,6 +34,7 @@ Abstract + Abstraktes Individuum Abstract individuals are independent from time and space (they are not in time and space). Examples: the number "2" or pi. @@ -44,6 +45,7 @@ Action + Aktivität Actions are occurrents which are caused by some presential (the agent) at every (inner and outer) time-boundary of the chronoid framing the occurrent. @@ -57,6 +59,7 @@ Amount of substrate + Menge von Substrat @@ -64,6 +67,7 @@ Awareness level + Bewusstseins-Stufe @@ -75,6 +79,7 @@ Biological level + Biologische Stufe @@ -86,6 +91,7 @@ Category + Kategorie Categories satisfy the following conditions: (1) Categories can be instantiated; (2) Categories can be predicated of other entities. @@ -97,6 +103,7 @@ Change + Veränderung A change in the technical sense refers to a pair of process boundaries. Either at coinciding boundaries (then it comes close to @@ -114,6 +121,7 @@ Chemical level + Chemische Stufe @@ -125,6 +133,7 @@ Chronoid + Chronoid Chronoids are entities sui generis. @@ -136,6 +145,7 @@ Concept + Konzept @@ -143,6 +153,7 @@ Concrete + Festes Individuum Concrete individuals have a relation to time or space (they are in time and space). @@ -152,6 +163,7 @@ Configuration + Konfiguration We consider a collection of presential facts which exist at the same time-boundary. Such collections may be considered themselves as presentials, and we call them configurations. @@ -164,6 +176,7 @@ Configuroid + Configuroid Configuroids are, in the simplest case, integrated wholes made up of material structure processes and property processes. @@ -172,6 +185,7 @@ Continuous + Beständiges Individuum @@ -183,6 +197,7 @@ Continuous change + Beständige Veränderung For the purpose of formalizing continuous changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a @@ -194,6 +209,7 @@ Continuous process + Beständiger Prozess Processes where all non-coinciding internal boundaries are intrinsic changes. These turn out as purely continuous processes, described e.g. @@ -205,6 +221,7 @@ Dependent + Abhängiges Individuum @@ -217,11 +234,13 @@ Discrete + Diskretes Individuum Discrete presential + Diskreter Persistent @@ -235,6 +254,7 @@ Discrete process + Diskreter Prozess Discrete processes are made up of alterations of extrinsic changes and states. @@ -244,6 +264,7 @@ Entity + Entität Everything which exists is called an entity. @@ -264,6 +285,7 @@ Function + Funktion A function F is a universal (conceptual structure) defined in purely teleological terms with respect to a given goal G which commonly is ascribed by means of has-function relation to entities that are the @@ -290,12 +312,14 @@ Independent + Unabhängiges Individuum Individual + Individuum Individuals are entities which cannot be further instantiated. @@ -342,6 +366,7 @@ Instantaneous change + Unmittelbare Veränderung Instantaneous changes are represented by change(e1,e2, u1, u2, u), where e1 and e2 are a pair of coincident process boundaries, and u1 and u2 are disjoint sub-universals of u. Instantaneous changes are therefore changes of properties on two @@ -364,6 +389,7 @@ Item + Element An item is everything which is not a set. Also called ur-element. @@ -386,6 +412,7 @@ Level + Bereich An ontological level, which is sth. more restricted and "part of" some gfo:Stratum. @@ -400,6 +427,7 @@ Line + Linie @@ -411,6 +439,7 @@ Mass entity + Masse-Entität @@ -418,6 +447,7 @@ Material boundary + Materielle Grenze @@ -432,6 +462,7 @@ Material line + Materielle Linie @@ -445,6 +476,7 @@ Material object + Materielles Objekt A material structure is an individual which satisfies the following conditions: it is a presential, it occupies space, it is a bearer of qualities, but other entities cannot @@ -470,6 +502,7 @@ Material persistant + Materieller Persistent Material persistants are particular universals whose instances are material structures; they are related to those entities which are called @@ -492,6 +525,7 @@ Material point + Materieller Punkt @@ -505,6 +539,7 @@ Material stratum + Materielle Ebene According to (Poli, 2001), the basic structure of the material stratum is a distinction of physical, chemical and biological levels. These levels can be further refined. @@ -513,12 +548,14 @@ Material structure + Materielle Struktur Material surface + Materielle Fläche @@ -532,6 +569,7 @@ Mental stratum + Geistige Ebene In accordance with the work of R. Poli, we divide the psychological/mental stratum into the layer of awareness and the layer of @@ -544,6 +582,7 @@ Occurrent + Auftretendes Individuum Occurrents have temporal parts and thus cannot be present at a time-boundary. Time belongs to them, because they happen in time and the time of the occurrent @@ -557,6 +596,7 @@ Ontological layer + Ontologische Ebene Ontological_layer, all of its sub concepts and the properties layer_of and on_layer are work in progress in a premature beta state. A collective term for @@ -567,6 +607,7 @@ Persistant + Persistent Persistants are GFO's way to capture identity over time. @@ -587,6 +628,7 @@ Personality level + Persönlichkeitsstufe @@ -598,6 +640,7 @@ Physical level + Physikalische Stufe @@ -609,6 +652,7 @@ Point + Punkt @@ -620,6 +664,7 @@ Presential + Präsentes Individuum A presential exists wholly at exactly one time boundary. @@ -641,6 +686,7 @@ Process + Prozess Processes are a special kind of occurrent. Processes are directly in time, they have characteristics which cannot be captured by a collection of time boundaries. @@ -651,6 +697,7 @@ Processual role + Prozessuale Rolle Processual roles are dependent processes. They are roles with a process as context. @@ -667,6 +714,7 @@ Property + Eigenschaft @@ -674,6 +722,7 @@ Property value + Eigenschaftswert The concept of a property value reflects a relationship between the property of x and the same property as exhibited by another entity y. @@ -689,6 +738,7 @@ Relational role + Relationale Rolle @@ -703,17 +753,20 @@ Relator + Relator Role + Rolle Set + Menge Set is a category pertaining to the individuals in the ZFC set theory. @@ -722,6 +775,7 @@ Situation + Situation A situation is a special configuration which can be comprehended as a whole and satisfies certain conditions of unity, which are imposed by relations and categories associated with the situation. Herein, we @@ -731,6 +785,7 @@ Situoid + Situoid Situoids are processes whose boundaries are situations and which satisfy certain principles of coherence, comprehensibility, and continuity. They are regarded as the most complex integrated wholes of @@ -742,6 +797,7 @@ Social role + Soziale Rolle @@ -750,6 +806,7 @@ Social stratum + Soziale Ebene On the one hand, the social stratum is divided into Agents and Institutions. Agents are the bearers of the social @@ -763,6 +820,7 @@ Space + Raum GFO uses Brentano space. @@ -770,6 +828,7 @@ Space time + Raum-Zeit @@ -777,6 +836,7 @@ Spatial boundary + Räumliche Grenze Boundaries of regions are surfaces, boundaries of surfaces are lines, and boundaries of lines are @@ -795,6 +855,7 @@ Spacial region + Räumlicher Bereich Space regions are mereological sums of topoids. @@ -803,6 +864,7 @@ State + Zustand A process without an instantaneous change at any of its inner time boundaries is called a state. @@ -810,6 +872,7 @@ Stratum + Ebene According to (Poli, 2001, 2002) (based on the philosopher Hartmann) we distinguish at least three ontological strata of the world: the material stratum, the @@ -829,6 +892,7 @@ Surface + Fläche @@ -840,16 +904,19 @@ Symbol + Symbol Symbol sequence + Symbolsequenz Symbol structure + Symbolstruktur @@ -857,6 +924,7 @@ Temporal region + Zeitliche Ebene Time Regions are defined as the mereological sum of chronoids, i.e. time regions may consist of non-connected intervals of time. @@ -866,6 +934,7 @@ Time + Zeit The time model of GFO is based on Brentano and the glass continuum of Allen&Hayes. @@ -874,6 +943,7 @@ Time boundary + Zeitliche Grenze Time boundaries depend on a chronoids (i.e. they have no independent existence) and can coincide. @@ -889,6 +959,7 @@ Token + Zeichen @@ -900,6 +971,7 @@ Topoid + Topoid Topoids are connected compact regions of space. They have spatial boundaries. @@ -907,6 +979,7 @@ Universal + Universal Universals are immanent universals. They exist in re. @@ -922,6 +995,7 @@ Value space + Wertebereich Property values usually appear in groups which are called value structures, value spaces or measurement systems. Each of these structures corresponds to some property. More intuitively, one could say that @@ -961,6 +1035,7 @@ abstract has part + Abstraktes hat-Bestandteil @@ -969,6 +1044,7 @@ abstract part of + Abstrakte ist-Bestandteil-von-Beziehung The abstract part-of relation is denoted by p(x,y); @@ -983,6 +1059,7 @@ agent in + Vertreter in @@ -990,24 +1067,28 @@ boundary of + Grenze von categorial part of + Kategorial ist-Bestandteil-von category in layer + Kategorie in der Ebene caused by + Verursacht von @@ -1015,17 +1096,20 @@ causes + verursachen constituent part of + Konstituierend ist-Bestandteil-von depends on + abhängig von This relation captures the notion of existential dependence. @@ -1035,6 +1119,7 @@ exists at + existiert an @@ -1042,6 +1127,7 @@ framed by + eingerahmt durch @@ -1051,6 +1137,7 @@ frames + rahmen ein @@ -1059,16 +1146,19 @@ function determinant of + funktionaler Bestimmer von function of + Funktion von functional item of + Funktionales Element von @@ -1076,6 +1166,7 @@ goal of + Ziel von The term "goal" here refers to "final state" in (Burek, 2006). @@ -1085,12 +1176,14 @@ has boundary + hat Grenze has categorial part + hat kategorialen Bestandteil @@ -1098,6 +1191,7 @@ has category + hat Kategorie @@ -1105,6 +1199,7 @@ has constituent part + hat Konstituierenden Bestandteil @@ -1112,6 +1207,7 @@ has function + hat Funktion @@ -1119,6 +1215,7 @@ has function determinant + hat Funktions-Bestimmer @@ -1126,6 +1223,7 @@ has functional item + hat funktionales Element @@ -1135,6 +1233,7 @@ has goal + hat Ziel @@ -1142,6 +1241,7 @@ has left time boundary + hat linke zeitliche Grenze @@ -1149,6 +1249,7 @@ has member + hat Mitglied @@ -1156,6 +1257,7 @@ has part + hat Bestandteil @@ -1165,6 +1267,7 @@ has participant + hat Teilnehmer @@ -1172,6 +1275,7 @@ has proper part + hat angemessenen Bestandteil @@ -1179,6 +1283,7 @@ has requirement + hat Anforderung @@ -1186,6 +1291,7 @@ has right time boundary + hat rechte zeitliche Grenze @@ -1193,11 +1299,13 @@ has sequence constituent + hat Sequenz-Konstituenten has spatial boundary + hat räumliche Grenze @@ -1205,6 +1313,7 @@ has time boundary + hat zeitliche Grenze @@ -1213,6 +1322,7 @@ has token + hat Zeichen @@ -1221,6 +1331,7 @@ has value + hat Wert @@ -1228,6 +1339,7 @@ instance of + Instanz von The instantiation relation holds between a category and an item. It is not a relation between categories and individuals due to higher order categories such as "species". @@ -1238,12 +1350,14 @@ instantiated by + instanziiert von layer of + Ebene von @@ -1251,6 +1365,7 @@ left boundary of + linke Grenze von Left boundary of a chronoid. @@ -1259,6 +1374,7 @@ level of + Stufe von @@ -1266,6 +1382,7 @@ member of + Mitglied von @@ -1273,6 +1390,7 @@ necessary for + notwendig für @@ -1280,6 +1398,7 @@ occupied by + besetzt von @@ -1288,6 +1407,7 @@ occupies + besetzen @@ -1296,13 +1416,15 @@ on layer + auf Stufe - on level + on Ebene + auf Stufe @@ -1310,6 +1432,7 @@ on stratum + auf der Schicht @@ -1317,6 +1440,7 @@ part of + Bestandteil von @@ -1326,6 +1450,7 @@ participates in + partizipiert in @@ -1333,17 +1458,20 @@ plays role + spielt Rolle projection of + Projektion von projects to + projiziert auf @@ -1352,6 +1480,7 @@ proper part of + angemessener Bestandteil von @@ -1359,11 +1488,13 @@ realized by + verwirklicht durch realizes + verwirklichen @@ -1371,6 +1502,7 @@ requirement of + Anforderung von The term "requirement" here refers to "initial state" in (Burek, 2006). @@ -1379,6 +1511,7 @@ right boundary of + rechte Grenze von Right boundary of a chronoid. @@ -1387,12 +1520,14 @@ role of + Rolle von sequence constituent of + Sequenz-Bestandteil von @@ -1401,6 +1536,7 @@ spatial boundary of + räumliche Grenze von @@ -1409,6 +1545,7 @@ stratum of + Schicht von @@ -1416,6 +1553,7 @@ time boundary of + zeitliche Grenze von @@ -1424,11 +1562,13 @@ token of + Zeichen von value of + Wert von From 5255d25f2d09ee9e69d0479ccf85a4e4ac753536 Mon Sep 17 00:00:00 2001 From: Konrad Abicht Date: Fri, 29 Nov 2024 09:59:50 +0100 Subject: [PATCH 2/4] fixed gfo/base/on_layer and gfo/base/on_level have identical German labels --- modules/gfo-base.owl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/modules/gfo-base.owl b/modules/gfo-base.owl index 4b649a7..91da2c7 100644 --- a/modules/gfo-base.owl +++ b/modules/gfo-base.owl @@ -1357,7 +1357,7 @@ layer of - Ebene von + Bereich von @@ -1416,7 +1416,7 @@ on layer - auf Stufe + im Bereich From c0389fedec4044a9afcfe1b8062454a8aaf5820c Mon Sep 17 00:00:00 2001 From: Konrad Abicht Date: Fri, 29 Nov 2024 13:48:49 +0100 Subject: [PATCH 3/4] Update modules/gfo-base.owl Co-authored-by: Christoph Beger --- modules/gfo-base.owl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/gfo-base.owl b/modules/gfo-base.owl index 91da2c7..0c23648 100644 --- a/modules/gfo-base.owl +++ b/modules/gfo-base.owl @@ -1423,7 +1423,7 @@ - on Ebene + on level auf Stufe From c763ebc2f5131049b45e70f33f223c655372468b Mon Sep 17 00:00:00 2001 From: Konrad Abicht Date: Tue, 10 Dec 2024 09:24:06 +0100 Subject: [PATCH 4/4] added explanations (rdfs:comment) for a couple of OWL classes --- modules/gfo-base.owl | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/modules/gfo-base.owl b/modules/gfo-base.owl index 0c23648..708fd9a 100644 --- a/modules/gfo-base.owl +++ b/modules/gfo-base.owl @@ -38,6 +38,7 @@ Abstract individuals are independent from time and space (they are not in time and space). Examples: the number "2" or pi. + Ein abstraktives Individuum ist ein Individuum und existiert unabhängig von Raum und Zeit (z.B. eine Zahl). @@ -97,6 +98,7 @@ other entities. Categories are defined intensional-with-an-s. They are, therefore, closely related to language. + Eine Kategorie ist eine Entität, die eine Bezeichnung trägt und durch prädikative Begriffe einer formalen bzw. natürlichen Sprache beschrieben wird. Ein prädikativer Begriff ist ein sprachlicher Ausdruck, der die Bedingungen angibt, die jede Entität erfüllen muss, wenn sie Teil der Kategorie sein soll. Ein Ausdruck ist eine geordnete Menge von Zeichen in einer Sprache (z.B. Deutsch). @@ -140,12 +142,14 @@ Every chronoid has exactly two extremal and infinitely many inner time boundaries which are equivalently called time-points. + Ein Chronoid ist eine Zeit-Entität und besitzt eine zeitliche Ausdehnung (Zeitinterval) mit einem Start- und Endzeitpunkt. Weiterhin besitzt er unendlich viele Zeitpunkte, auch innere Zeitgrenzen genannt. Concept Konzept + Ein Konzept K (B, A, V) ist eine Kategorie K und besteht aus einer Bezeichnung B (= geordnete Menge von Zeichen), einer Menge von Ausdrücken A und einer Vorstellung im Kopf V. Ein Konzept drückt vereinfacht gesagt eine Vorstellung im Kopf durch eine Menge von Ausdrücken (und Bezeichnungen) aus. Es gibt eine wechselseitige Abhängigkeit zwischen Konzepten und Ausdrücken. Ausdrücke verwenden Konzepte, um Sätze zu bilden und Charakteristiken zu beschreiben. Konzepte wiederum fassen eine Reihe von Ausdrücken zusammen. @@ -267,6 +271,7 @@ Entität Everything which exists is called an entity. + Eine Entität referenziert alles, was in einer der ontologischen Ebenen existieren kann und wird eingeteilt in Kategorien und Individuen (ohne Überschneidungen). @@ -322,6 +327,7 @@ Individuum Individuals are entities which cannot be further instantiated. + Ein Individuum ist ein Element und eine konkrete Ausprägung einer Kategorie (Universal, Konzept oder Symbolstruktur). Ausprägung heißt hier, dass ein Individuum eine konkrete Menge an Charakteristiken übernimmt, die die Kategorie "vorschreibt". Individuen sind in der Hierarchie nur ein Zwischenschritt und existieren nicht eigenständig. @@ -483,6 +489,7 @@ have it as quality, and it consists of an amount of substrate, and it instantiates a persistant ("has identity"). + Ein materielles Objekt ist ein materieller Kontinuant und besetzt einen dreidimensionalen Raum. @@ -690,6 +697,7 @@ Processes are a special kind of occurrent. Processes are directly in time, they have characteristics which cannot be captured by a collection of time boundaries. + Ein Prozess ist eine prozessuale Entität und hat eine zeitliche Ausdehnung (= Chronoid). @@ -715,6 +723,7 @@ Property Eigenschaft + Eine Eigenschaft repräsentiert die spezifischen Charakteristiken einer Entität und lässt sich in 3 Bestandteile aufteilen. (1) Das Eigenschafts-Universal (z.B. Farbe) referenziert ein Universal. (2) Das Eigenschafts-Individuum ist eine Instanz des Eigenschafts-Universals (z.B. Blau) und ihm ist eine Menge von Wertestrukturen zugeordnet. (3) Eine Wertestruktur beschreibt mögliche Werte und wie diese in die Struktur eingeordnet werden (z.B. hexadezimale Farbwerte für ein ganz bestimmtes Blau). @@ -726,6 +735,7 @@ The concept of a property value reflects a relationship between the property of x and the same property as exhibited by another entity y. + Ein Eigenschaftswert ist einem Eigenschafts-Individuum zugeordnet und besitzt eine Menge von Wertestrukturen. Eine Wertestruktur beschreibt mögliche Werte und wie diese in die Struktur eingeordnet werden (z.B. hexadezimale Farbwerte für ein ganz bestimmtes Blau). @@ -754,6 +764,7 @@ Relator Relator + Ein Relator ist der Kontext in einer relationalen Rolle. @@ -761,6 +772,7 @@ Role Rolle + Eine Rolle ist ein Attributiv und relationale Entität, die eine Menge von Entitäten ("Spieler") im Rahmen eines Kontextes verknüpft, in denen die "Spieler" etwas tun oder repräsentieren. Handelt es sich um eine relationale Rolle, so nennt man den Kontext auch Relator. @@ -792,6 +804,7 @@ the world. A situoid is, intuitively, a part of the world which is a coherent and comprehensible whole and does not need other entities in order to exist. Every situoid has a temporal extent and is framed by a topoid. + Ein Situoid ist eine Zeit Entität und ist ein Teil der raum-zeitlichen Welt. Er entsteht aus einer Objektsituation, wenn alle Objekte durch die entsprechenden Prozesse ersetzt werden. @@ -886,6 +899,7 @@ certain kinds. Among these levels specific forms of categorial and existential dependencies hold. For example, a mental entity requires an animate material object as its existential bearer. + Unsere Realität lässt sich in 4 ontologische Ebenen (auch Strata genannt) einteilen, in denen alles uns Bekannte existiert. Die 4 Ontologischen Ebenen sind die materielle Ebene (Raum-Zeit), geistige Ebene (im Kopf eines Menschen), ideelle Ebene (Bereich der Ideen) und soziale Ebene (u.a. unsere Beziehungen). @@ -917,6 +931,7 @@ Symbol structure Symbolstruktur + Eine Symbolstruktur ist eine Kategorie und besteht aus einer geordneten Menge an einzelnen Symbolen. Jedes Symbol wird durch ein Zeichen (engl. Token) instanziiert und damit in der materiellen Ebene präsent, z.B. die Buchstaben auf einer ausgedruckten A4-Seite. @@ -947,6 +962,7 @@ Time boundaries depend on a chronoids (i.e. they have no independent existence) and can coincide. + Eine zeitliche Grenze ist eine Zeit-Entität und markiert einen konkreten Zeitpunkt. @@ -982,6 +998,7 @@ Universal Universals are immanent universals. They exist in re. + Ein Universal ist eine Kategorie und hat eine, von einem Betrachter unabhängige, objektive Existenz in der realen Welt. Weiterhin ist sie mit einer Invarianz der materiellen Ebene verbunden und ist etwas Abstraktes, das Dingen innewohnt.