diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ab50a58..090ccda 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -25,7 +25,16 @@ jobs: container: obolibrary/odklite steps: - uses: actions/checkout@v4 + - run: check-rdfxml gfo-light.owl - run: check-rdfxml modules/gfo-base.owl + - run: robot reason --input gfo-light.owl - run: robot reason --input modules/gfo-base.owl + + # - run: | + # result=$(robot report --input gfo-light.owl --profile qc_report/profile.txt) + # echo "::notice file=gfo-light.owl::$result" + - run: | + result=$(robot report --input modules/gfo-base.owl --profile qc_report/profile.txt) + echo "::notice file=modules/gfo-base.owl::$result" diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md new file mode 100644 index 0000000..06184f3 --- /dev/null +++ b/CONTRIBUTING.md @@ -0,0 +1,40 @@ +# Contributing Guide + +Thank you for investing your time in contributing to our project! + +Read our [Code of Conduct](CODE_OF_CONDUCT.md) to keep our community approachable and respectable. + +## Issues and Support + +If you find a problem or have a question about the content in this repository and how to use it, +please create an issue in the [Issues Tracker](https://github.com/Onto-Med/GFO/issues). +Make sure you describe the problem as clearly as possible. + +## Workflow to Make Contributions + +We are very happy about contributions! + +It is recommended to use an ontology editor such as [Protégé](https://protege.stanford.edu/). +If you want to contribute changes, please do so by: + +1. Clone this repository ([fork](https://github.com/Onto-Med/GFO/fork) for external contributors). +2. Creating a new feature branch. +3. Apply your changes. + + Edit the ontology files using a suitable ontology editor or text editor. + Adhere to the GFO's existing coding style and conventions. + Ensure your changes are well-documented and understandable. + You can run the following command with docker to check your changes locally (in this case `modules/gfo-base.owl` is checked): + + docker run -it -v .:/gfo -w /gfo obolibrary/odklite robot report --input modules/gfo-base.owl --profile qc_report/profile.txt + +4. Commit and push all changes. +5. Create a [pull request](https://github.com/Onto-Med/GFO/pulls). + + On GitHub, create a pull request from your branch to the main branch of the official GFO repository. + Provide a clear description of your changes and the rationale behind them. + +6. Review and Feedback. + + Be prepared to address feedback and suggestions from the GFO community and maintainers. + Work collaboratively with other contributors to refine your changes. diff --git a/README.md b/README.md index b7055d5..0f3ae59 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,9 @@ The entire GFO ontology can be imported via IRI https://w3id.org/gfo. GFO is div **GFO-light** is a simplified view of the entire GFO. It does not build on single modules but combines all basic concepts and simplified axioms of the GFO. It is primarily intended to found domain or application ontologies and can be imported via IRI https://w3id.org/gfo/light. +## How to Contribute +Please see our [Contributing Guide](CONTRIBUTING.md). + ## Brief History Work on GFO has started in 1999 in the context of the GOL project (General Ontological Language). Meanwhile, several directions of research have been recognized and divided the initial project, such that GFO is now one component of a larger framework. Work on GFO remains in progress, because the development of top-level ontologies is a long-term research effort. diff --git a/gfo.owl b/gfo.owl index 488a412..2558bbc 100644 --- a/gfo.owl +++ b/gfo.owl @@ -1,31 +1,34 @@ + xmlns:gfo="https://w3id.org/gfo" + xmlns:owl="http://www.w3.org/2002/07/owl#" + xmlns:xsd="http://www.w3.org/2001/XMLSchema#" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:vann="http://purl.org/vocab/vann/" + xmlns:foaf="http://xmlns.com/foaf/0.1/" + xmlns:doap="http://usefulinc.com/ns/doap#" + xmlns:bibo="http://purl.org/ontology/bibo/" + xmlns:terms="http://purl.org/dc/terms/"> - - 2024-11-18 - 2024-11-18 - - - - General Formal Ontology (GFO) - General Formal Ontology (GFO) - 2006-08-28 - https://w3id.org/gfo/ - gfo - https://github.com/Onto-Med/GFO - - - - + + 2024-11-18 + 2024-11-18 + + + + General Formal Ontology (GFO) + General Formal Ontology (GFO) + The General Formal Ontology is a top-level ontology for conceptual + modeling. It includes elaborations of categories like objects, processes, time and space, + properties, relations, roles, functions, facts, and situations. + 2006-08-28 + https://w3id.org/gfo/ + gfo + https://github.com/Onto-Med/GFO + + + + diff --git a/modules/gfo-base.owl b/modules/gfo-base.owl index c7441d9..81e5975 100644 --- a/modules/gfo-base.owl +++ b/modules/gfo-base.owl @@ -1,304 +1,337 @@ - - + xml:base="https://w3id.org/gfo/base/" + xmlns:owl="http://www.w3.org/2002/07/owl#" + xmlns:xsd="http://www.w3.org/2001/XMLSchema#" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:vann="http://purl.org/vocab/vann/" + xmlns:foaf="http://xmlns.com/foaf/0.1/" + xmlns:doap="http://usefulinc.com/ns/doap#" + xmlns:bibo="http://purl.org/ontology/bibo/" + xmlns:terms="http://purl.org/dc/terms/" + xmlns:skos="http://www.w3.org/2004/02/skos/core#"> + + - Copyright (c) 2006, Regents of the Research Group Ontologies in Medicine (Onto-Med), University of Leipzig, Germany. - All rights reserved. - - Redistribution and use in source and binary forms, with or without modification, - are permitted provided that the following conditions are met: - - 1. Redistributions of source code must retain the above copyright notice, this list - of conditions and the following disclaimer. - - 2. Redistributions in binary form must reproduce the above copyright notice, this list - of conditions and the following disclaimer in the documentation and/or other - materials provided with the distribution. - - 3. Neither the name of the Research Group Ontologies in Medicine (Onto-Med), University - of Leipzig nor the names of its contributors may be used to endorse or promote products - derived from this software without specific prior written permission. - - THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS - OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY - AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR - CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL - DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, - DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER - IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT - OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2024-11-18 2024-11-18 - + General Formal Ontology Base (GFO-base) General Formal Ontology Base (GFO-base) + The module GFO-base of the General Formal Ontology contains all fundamental + classes, properties, and axioms that are relevant for all other GFO modules. 2006-08-28 https://w3id.org/gfo/base/ gfo-base https://github.com/Onto-Med/GFO - - + + + - + - Abstract individuals are independent from time and space (they are not in time and space). -Examples: the number "2" or pi. - - - + Abstract + Abstract individuals are independent from time and space (they are + not in time and space). + Examples: the number "2" or pi. + + + - Actions are occurents which are caused by some presential (the agent) at every (inner and outer) time-boundary of the chronoid framing the occurent. - + Action + Actions are occurrents which are caused by some presential (the + agent) at every (inner and outer) time-boundary of the chronoid framing the occurrent. + - - + + - - - + Amount of substrate + + + - + Awareness level + - - + + - + Biological level + - - + + - Categories satisfy the following conditions: (1) Categories can be instantiated; (2) Categories can be predicated of other entities. -Categories are defined intensional-with-an-s. They are, therefore, closely related to language. - - + Category + Categories satisfy the + following conditions: (1) Categories can be instantiated; (2) Categories can be predicated of + other entities. + Categories are defined intensional-with-an-s. They are, therefore, closely related to + language. + + - A change in the technical sense refers to a pair of process -boundaries. Either at coinciding boundaries (then it comes close to -notions like ``punctual'' or ``instantaneous event'' as well as -``moment'' -- in a temporal reading), or at boundaries at the opposite -ends of a process of arbitrary extension. - -The notion of change is relative to contradictory conditions -between which a transition takes place. These contradictions refer to -some collection of pairwise disjoint universals. - - - + Change + A change in the technical + sense refers to a pair of process + boundaries. Either at coinciding boundaries (then it comes close to + notions like ``punctual'' or ``instantaneous event'' as well as + ``moment'' -- in a temporal reading), or at boundaries at the opposite + ends of a process of arbitrary extension. + + The notion of change is relative to contradictory conditions + between which a transition takes place. These contradictions refer to + some collection of pairwise disjoint universals. + + + - + Chemical level + - - + + - Chronoids are entities sui generis. + Chronoid + Chronoids are entities sui + generis. -Every chronoid has exactly two extremal and -infinitely many inner time boundaries which are -equivalently called time-points. - + Every chronoid has exactly two extremal and + infinitely many inner time boundaries which are + equivalently called time-points. + - - - + Concept + + + - Concrete individuals have a relation to time or space (they are in time and space). - - - + Concrete + Concrete individuals have a + relation to time or space (they are in time and space). + + + - 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. + Configuration + 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. -It is further required that configurations contain at least one material object. - - - + It is further required that configurations contain at least one material object. + + + - Configuroids are, in the simplest case, integrated wholes made up of material structure processes and property processes. - + Configuroid + Configuroids are, in the + simplest case, integrated wholes made up of material structure processes and property + processes. + - + Continuous + - + - + - 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 difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach. Continous changes occur over time (a chronoid). - - + Continuous change + 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 + difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this + approach. Continuous changes occur over time (a chronoid). + + - Processes where all non-coinciding internal boundaries are intrinsic changes. -These turn out as purely continuous processes, described e.g. -in physics by differential equations. - - - + Continuous process + Processes where all + non-coinciding internal boundaries are intrinsic changes. + These turn out as purely continuous processes, described e.g. + in physics by differential equations. + + + - - + Dependent + + - - + + - + Discrete + - - + Discrete presential + + - - + + - + - Discrete processes are made up of alterations of extrinsic changes and states. - - - + Discrete process + Discrete processes are made + up of alterations of extrinsic changes and states. + + + - Everything which exists is called an entity. + Entity + Everything which exists is + called an entity. - - + + - Deprecated. Extrinsic 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. - - + obsolete: Extrinsic change + true + Extrinsic 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. + + - 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 realizations of the function F, execute such a realization or are intended to do it. - + Function + 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 + realizations of the function F, execute such a realization or are intended to do it. + - Histories consist of a number of process boundaries. - -We assume that any history can be embedded into a process, which then -forms a foundation of the history. If it were not for this foundation, -one would face the problem of singling out the right boundaries in -order to get a natural history: It is not sensible to measure the -temperature of a patient first, then determine his weight, followed by -measuring his blood pressure and to consider these strangely arbitrary -process boundaries as a history of the patient's body data. - - - + History + Histories consist of a + number of process boundaries. + + We assume that any history can be embedded into a process, which then + forms a foundation of the history. If it were not for this foundation, + one would face the problem of singling out the right boundaries in + order to get a natural history: It is not sensible to measure the + temperature of a patient first, then determine his weight, followed by + measuring his blood pressure and to consider these strangely arbitrary + process boundaries as a history of the patient's body data. + + + - - + Independent + + - Individuals are entities which cannot be further instantiated. - + Individual + Individuals are entities + which cannot be further instantiated. + - - + + - + - - + + - - - + + + - + - + - + @@ -307,930 +340,1100 @@ process boundaries as a history of the patient's body data. - - Instantanuous 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. Instantanuous changes are therefore changes of properties on two coinciding time boundaries. - - + + Instantaneous change + 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 + coinciding time boundaries. + + - Deprecated. -For the purpose of formalizing intrinsic 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 difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach. - - + obsolete: Intrinsic change + true + For the purpose of formalizing intrinsic 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 difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this + approach. + + - An item is everything which is not a set. Also called ur-element. - + Item + An item is everything which + is not a set. Also called ur-element. + - - + + - + - - + + - An ontological level, which is sth. more restricted and "part of" some gfo:Stratum. - + Level + An ontological level, which + is sth. more restricted and "part of" some gfo:Stratum. + - - + + - + - + Line + - - + + - - - + Mass entity + + + - - + Material boundary + + - - + + - - + + - + Material line + - - + + - - + + - 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 have -it as quality, and it consists of an amount of substrate, and it instantiates a persistant ("has identity"). - + Material object + 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 + have + it as quality, and it consists of an amount of substrate, and it instantiates a persistant + ("has identity"). + 1 - + - - + + - - + + - Material persistants are particular universals whose instances are -material structures; they are related to those entities which are called -sometimes continuants or objects, as apples, cars or houses. -Material persistants capture the phenomenon of persistance through time of a material -object. A material persistant P satisfies a number of neccessary conditions. For every -material persistant P there exists a process P such that -the set of instances of P coincides with the set of process-boundaries -of P. This implies the existence of a chronoid c -such that for every time-point t of c there exists exactly -one instance of P at time point t. - + Material persistant + Material persistants are + particular universals whose instances are + material structures; they are related to those entities which are called + sometimes continuants or objects, as apples, cars or houses. + Material persistants capture the phenomenon of persistance through time of a material + object. A material persistant P satisfies a number of necessary conditions. For every + material persistant P there exists a process P such that + the set of instances of P coincides with the set of process-boundaries + of P. This implies the existence of a chronoid c + such that for every time-point t of c there exists exactly + one instance of P at time point t. + - - + + - + Material point + - - + + - - + + - 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. - + Material stratum + 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. + - - + Material structure + + - + Material surface + - - + + - - + + - In accordance with the work of R. Poli, we divide the -psychological/mental stratum into the layer of -awareness and the layer of -personality. Awareness comprises most -of what is studied by cognitive science (perception, memory, -reasoning, etc). Personality on the other hand concerns the phenomenon -of will and the way in which someone reacts to her experiences. - + Mental stratum + In accordance with the work of R. Poli, we divide the + psychological/mental stratum into the layer of + awareness and the layer of + personality. Awareness comprises most + of what is studied by cognitive science (perception, memory, + reasoning, etc). Personality on the other hand concerns the phenomenon + of will and the way in which someone reacts to her experiences. + - Occurents 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 occurent -is built into it. The relation between an occurent and a chronoid is -determined by the projection relation. + Occurrent + 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 + is built into it. The relation between an occurrent and a chronoid is + determined by the projection relation. -Occurents are also called generalized processes in the GFO. - - + Occurrents are also called generalized processes in the GFO. + + - Ontological_layer, all of its subconcepts and the properties layer_of and on_layer are work in progress in a premature beta state. - a collective term for gfo:stratum and gfo:level - + Ontological layer + 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 + gfo-base:Stratum and gfo-base:Level. + Beta - Persistants are GFO's way to capture identity over time. - -GFO pursues an approach which -accounts for persistence by means of a suitable -universal whose instances are presentials. Such universals are called -persistants. These do not change and they can be used to -explain how presentials which have different properties at different -times can nevertheless be the same. - + Persistant + Persistants are GFO's way + to capture identity over time. + + GFO pursues an approach which + accounts for persistence by means of a suitable + universal whose instances are presentials. Such universals are called + persistants. These do not change and they can be used to + explain how presentials which have different properties at different + times can nevertheless be the same. + - - + + - + Personality level + - - + + - + Physical level + - - + + - + Point + - - + + - A presential exists wholly at exactly one time boundary. - - + Presential + A presential exists wholly + at exactly one time boundary. + + - - + + 1 - + - + - Processes are a special kind of occurent. Processes are directly in time, they have characteristics which cannot be captured by a collection of time boundaries. - - - + Process + 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. + + + - Processual roles are dependent processes. They are roles with a process as context. - - + Processual role + Processual roles are + dependent processes. They are roles with a process as context. + + - - + + - - + + - - - + Property + + + - The concept of a property value reflects a relationship between the property of x and the same property as exhibited by another entity y. - - + Property value + The concept of a property + value reflects a relationship between the property of x and the same property as exhibited by + another entity y. + + - - + + - - + Relational role + + - - + + - - + + - - + Relator + + - + Role + - Set is a category pertaining to the individuals in the ZFC set theory. - - + Set + Set is a category + pertaining to the individuals in the ZFC set theory. + + - 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 consider situations to be the most complex kind of presentials. - + 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 + consider situations to be the most complex kind of presentials. + - 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 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. - + 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 + 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. + - - - - + Social role + + + + - On the one hand, the social stratum is -divided into Agents and -Institutions. Agents are the bearers of the social -roles that humans play. Institutions are defined as systems of -interrelated social components. On the other hand, a social system can -be seen as a network in which businesses, politics, art, language (and -many other facets) both present their own features and -influence each other. - + Social stratum + On the one hand, the social stratum is + divided into Agents and + Institutions. Agents are the bearers of the social + roles that humans play. Institutions are defined as systems of + interrelated social components. On the other hand, a social system can + be seen as a network in which businesses, politics, art, language (and + many other facets) both present their own features and + influence each other. + - GFO uses Brentano space. - - + Space + GFO uses Brentano space. + + - - - + Space time + + + - Boundaries of regions are surfaces, boundaries of -surfaces are lines, and boundaries of lines are -points. As in the case of time-boundaries, spatial -boundaries have no independent existence, i.e. they depend on the -spatial entity of which they are boundaries. - - + Spatial boundary + Boundaries of regions are + surfaces, boundaries of + surfaces are lines, and boundaries of lines are + points. As in the case of time-boundaries, spatial + boundaries have no independent existence, i.e. they depend on the + spatial entity of which they are boundaries. + + - - + + - Space regions are mereological sums of topoids. - - + Spacial region + Space regions are + mereological sums of topoids. + + - A process without an instantanuous change at any of its inner time boundaries is called a state. - + State + A process without an instantaneous change at any of its inner time + boundaries is called a state. + - According to (Poli, 2001, 2002) (based -on the philosopher Hartmann) we distinguish at least three ontological -strata of the world: the material stratum, the -mental/psychological stratum, and the -social stratum stratum. - -Every entity of the world participates in certain -strata and levels. We take the position that the layers are -characterized by integrated systems of categories. Hence, a layer can -be understood as a meta-category whose instances are categories of -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. - - + Stratum + According to (Poli, 2001, 2002) (based + on the philosopher Hartmann) we distinguish at least three ontological + strata of the world: the material stratum, the + mental/psychological stratum, and the + social stratum stratum. + + Every entity of the world participates in certain + strata and levels. We take the position that the layers are + characterized by integrated systems of categories. Hence, a layer can + be understood as a meta-category whose instances are categories of + 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. + + - + Surface + - - + + - + Symbol + - + Symbol sequence + - - - + Symbol structure + + + - Time Regions are defined as the mereological sum of chronoids, -i.e. time regions may consist of non-connected intervals of time. - - + Temporal region + Time Regions are defined as + the mereological sum of chronoids, + i.e. time regions may consist of non-connected intervals of time. + + - The time model of GFO is based on Brentano and the glass continuum of Allen&Hayes. - - + Time + The time model of GFO is + based on Brentano and the glass continuum of Allen&Hayes. + + - Time boundaries depend on a chronoids (i.e. they have no independent -existence) and can coincide. - + Time boundary + Time boundaries depend on a + chronoids (i.e. they have no independent + existence) and can coincide. + - - + + - + - + Token + - - + + - Topoids are connected compact regions of space. They have spatial boundaries. - + Topoid + Topoids are connected + compact regions of space. They have spatial boundaries. + - Universals are immanent universals. They exist in re. - + Universal + Universals are immanent + universals. They exist in re. + - - + + - - + + - 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 the property may be measured with respect to some measurement system. -For instance, sizes may be measured with the values ``small'' ``big'' or ``very big'', which are the elements of one value structure. - -The notion of a value structure of a property is similar to a quality dimension in (Gardenfors, 2000). + Value space + 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 + the property may be measured with respect to some measurement system. + For instance, sizes may be measured with the values ``small'' ``big'' or ``very big'', which + are the elements of one value structure. -Further, value structures are related to quality spaces in DOLCE (Masolo, 2003}. A quality space consists of all ``quales'' (our property values) of some ``quality'' (our property). + The notion of a value structure of a property is similar to a quality dimension in + (Gardenfors, 2000). -Often it seems to be the case that a notion of distance can be defined, and that certain layers of value structures are isomorphic to some subset of real numbers, which allows for a mapping of values to pairs of a real number and a unit, as in the case of ``10 kg''. - + Further, value structures are related to quality spaces in DOLCE (Masolo, 2003}. A quality + space consists of all "quales" (our property values) of some "quality" (our property). + Often it seems to be the case that a notion of distance can be defined, and that certain + layers of value structures are isomorphic to some subset of real numbers, which allows for a + mapping of values to pairs of a real number and a unit, as in the case of "10 kg". + - - + + - - + + - - - + + + - + - - - - + abstract has part + + + + - - The abstract part-of relation is denoted by p(x,y); -the argument-types of this relation are not specified, i.e. we allow -arbitrary entities to be arguments. We assume that p(x,y) satisfies -the condition of a partial ordering, .i.e. the following axioms: reflexivity, antisymmetry and transitivity. - - - + abstract part of + + The abstract part-of + relation is denoted by p(x,y); + the argument-types of this relation are not specified, i.e. we allow + arbitrary entities to be arguments. We assume that p(x,y) satisfies + the condition of a partial ordering, .i.e. the following axioms: reflexivity, antisymmetry and + transitivity. + + + - - - + agent in + + + - - + boundary of + + - - + categorial part of + + - - + category in layer + + - - - + caused by + + + - + causes + - - + constituent part of + + - This relation captures the notion of existential dependence. - - - + depends on + This relation captures the + notion of existential dependence. + + + - - - + exists at + + + - - - - - + framed by + + + + + - - - - + frames + + + + - + function determinant of + - + function of + - - - + functional item of + + + - "goal" here refers to "final state" in (Burek, 2006). - - - + goal of + The term "goal" here refers to "final state" in (Burek, 2006). + + + - + - - + has boundary + + - - - + has categorial part + + + - - - + has category + + + - - - + has constituent part + + + - - - + has function + + + - - - + has function determinant + + + - - - - - + has functional item + + + + + - - - + has goal + + + - - - + has left time boundary + + + - - - + has member + + + - - - - - + has part + + + + + - - - + has participant + + + - - - + has proper part + + + - - - + has requirement + + + - - - + has right time boundary + + + - + has sequence constituent + - - - + has spatial boundary + + + - - - - + has time boundary + + + + - - - - + has token + + + + - - - + has value + + + - 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". - - - + instance of + 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". + + + - - + instantiated by + + - - - + layer of + + + - - Left boundary of a chronoid. - + left boundary of + + Left boundary of a + chronoid. + - - - + level of + + + - - - + member of + + + - - - + necessary for + + + - - - - + occupied by + + + + - - - - + occupies + + + + - - - + on layer + + + - - - + on level + + + - - - + on stratum + + + - - - - - + part of + + + + + - - - + participates in + + + - - + plays role + + - + projection of + - - - - + projects to + + + + - - - + proper part of + + + - + realized by + - - - + realizes + + + - "requirement" here refers to "initial state" in (Burek, 2006). - - - + requirement of + The term "requirement" here refers to "initial state" in (Burek, 2006). + + + - - Right boundary of a chronoid. - + right boundary of + + Right boundary of a + chronoid. + - - + role of + + - - - - + sequence constituent of + + + + - - - - + spatial boundary of + + + + - - - + stratum of + + + - - - - + time boundary of + + + + - + token of + - - - + value of + + + - - + + diff --git a/qc_report/missing_definition.sparql b/qc_report/missing_definition.sparql new file mode 100644 index 0000000..442a52a --- /dev/null +++ b/qc_report/missing_definition.sparql @@ -0,0 +1,24 @@ +PREFIX owl: +PREFIX rdfs: +PREFIX rdf: +PREFIX skos: + +SELECT DISTINCT ?entity ?property ?value WHERE { + VALUES ?property { skos:definition } + ?entity ?any ?o + FILTER NOT EXISTS { ?entity ?property ?value } + FILTER NOT EXISTS { ?entity a owl:Ontology } + FILTER NOT EXISTS { ?entity a owl:NamedIndividual } + FILTER NOT EXISTS { ?entity owl:deprecated true } + FILTER EXISTS { + ?entity ?prop2 ?object . + FILTER (?prop2 != rdf:type) + FILTER (?prop2 != owl:equivalentClass) + FILTER (?prop2 != owl:disjointWith) + FILTER (?prop2 != owl:equivalentProperty) + FILTER (?prop2 != owl:sameAs) + FILTER (?prop2 != owl:differentFrom) + FILTER (?prop2 != owl:inverseOf) + } + FILTER (!isBlank(?entity)) } +ORDER BY ?entity diff --git a/qc_report/profile.txt b/qc_report/profile.txt new file mode 100644 index 0000000..a450133 --- /dev/null +++ b/qc_report/profile.txt @@ -0,0 +1,29 @@ +WARN annotation_whitespace +ERROR deprecated_boolean_datatype +WARN deprecated_class_reference +ERROR deprecated_property_reference +ERROR duplicate_definition +WARN duplicate_exact_synonym +WARN duplicate_label_synonym +ERROR duplicate_label +WARN duplicate_scoped_synonym +WARN equivalent_pair +WARN equivalent_class_axiom_no_genus +ERROR illegal_use_of_built_in_vocabulary +WARN invalid_xref +ERROR label_formatting +ERROR label_whitespace +INFO lowercase_definition +WARN file:./qc_report/missing_definition.sparql +ERROR missing_label +WARN missing_obsolete_label +ERROR missing_ontology_description +ERROR missing_ontology_license +ERROR missing_ontology_title +WARN missing_subset_declaration +WARN missing_synonymtype_declaration +ERROR misused_obsolete_label +ERROR misused_replaced_by +WARN multiple_equivalent_classes +ERROR multiple_equivalent_class_definitions +WARN invalid_entity_uri