# baseURI: https://w3id.org/gso/1.0/common/ontology @prefix : . @prefix dct: . @prefix gsoc: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix schema: . @prefix skos: . @prefix xml: . @prefix xsd: . dct:created rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:creator rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:description rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:license rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:modified rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:publisher rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:rights rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . dct:source rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . rdfs:comment rdfs:subPropertyOf gsoc:hasAnnotation ; . rdfs:label rdfs:subPropertyOf gsoc:hasAnnotation ; . rdfs:seeAlso rdfs:subPropertyOf gsoc:hasAnnotation ; . xsd:anySimpleType rdf:type rdfs:Datatype ; . xsd:date rdf:type rdfs:Datatype ; . owl:versionInfo rdfs:subPropertyOf gsoc:hasAnnotation ; . skos:definition rdf:type owl:AnnotationProperty ; rdfs:subPropertyOf gsoc:hasAnnotation ; . gsoc:Abstract_Endurant rdf:type owl:Class ; rdfs:comment "Abstract endurants do not occupy space nor time - they are aspatial and atemporal, e.g. numbers and other mathematical objects"@en ; rdfs:subClassOf gsoc:Notional_Endurant ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesTime ; owl:someValuesFrom gsoc:Time_Region ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Abstract_Endurant ; owl:onProperty gsoc:hasPart ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Notional_Endurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesTime ; owl:someValuesFrom gsoc:Time_Region ; ] ; ] ) ; ] ; . gsoc:Amount_Of_Matter rdf:type owl:Class ; rdfs:comment "Amounts of matter refer to volumes of substances such as some gold, wood, iron, water, air, etc. As per Lowe (1998), an amount of matter is either a chunk (unified \"part\") or heap (seperated and not unified \"piece\"). A unified chunk of matter is an integral whole (with a unifying condition), is mereologically invariant (can gain or lose parts without loss of identity), is discretely countable (the number of gold ore bodies or sandstone layers can be enumerated), has a single self-connected boundary upon which it is mutually ontologically dependent (the chunk cannot exist essentuially without the boundary, and the boundary cannot exist essentially without the chunk), and is a single entity (self-connected, unfragmented). Being an integral whole, a chunk of matter must then have some amount of matter as an essential part (Brodaric et al. 2019). In contrast, a nonunified heap is mereologically variant, uncountable, and not dependent on a boundary, e.g. a heap of gold grains in an ore body or sand particles on a beach. Moreover, each unified chunk of matter is constituted by an ununified heap of matter, as well as possibly by particles of lower granularity, and can constitute larger amounts of matter or objects: e.g. an amount of mineral is a disaggreated heap of individual unit mineral cells made up by a certain configuration of atoms, and this heap of minerals makes up a single chunk of mineral locked together under binding conditions; the chunk in turn makes up a rock material, which makes up a formation. Note that both chunks and heaps can thus constitute objects: a gold ring is constituted by the chunk and its heap of gold, and a formation is constituted by both the sandstone and its heap of sand and other particles. Even things that seem to be intrisically heaps, such as a dune, are constituted by both heaps and chunks of matter: e.g. by both a heap of sand particles and a chunk of sand (with a discrete shape and boundary). The chunk (of sand) differs from the object (the dune), in the sense that the dune has additional essential characteristics not held by the chunk, such as being a landform (i.e. located on the land surface), having a specific shape (hilly - even though the chunk has the shape, the shape is not essential to it, but is essential to the dune), and is formed by certain geomorphological processes such as wind or water flow (the sand chunk is formed by eroision and weathering). Distinguishing chunks from heaps is important to geology, as it enables chunks to have characteristics of unified matter, which otherwise would be restricted to objects, e.g. one could not then say, for example, some sandstone hosts a fault, but rather that the rock object part constituted by the sandstone hosts the fault. This then enables detailed representation of micro-scale geology, at the granularity of matter, in addition to representation of macro-scale entities such as units or basins."@en ; rdfs:subClassOf gsoc:Material_Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Amount_Of_Matter ; owl:onProperty gsoc:hasConstituent ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Amount_Of_Matter ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:isConstituentOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasQuality ; owl:someValuesFrom gsoc:State_Of_Matter ; ] ; owl:disjointWith gsoc:Material_Object ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Material_Endurant [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasQuality ; owl:someValuesFrom gsoc:State_Of_Matter ; ] ) ; ] ; . gsoc:Constituent rdf:type owl:Class ; rdfs:comment "A part that is a constituent relation to a whole"@en ; rdfs:label "Constituent"@en ; rdfs:subClassOf gsoc:Part ; . gsoc:Dominant_Proportion rdf:type owl:Class ; rdfs:comment "Constituent is one of the most abundant."@en ; rdfs:comment "Example-- in a typical granite, Quartz, plagioclase, and K-feldspar are the dominant constituents."@en ; rdfs:label "Dominant Proportion"@en ; rdfs:subClassOf gsoc:Proportion_Value ; . gsoc:Duration rdf:type owl:Class ; rdfs:comment "The length of a time interval in some appropriate temporal reference system, e.g. 1 month or 10 Ma."@en ; rdfs:label "Duration "@en ; rdfs:subClassOf gsoc:Temporal_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasValue ; owl:someValuesFrom gsoc:Quality_Value ; ] ; . gsoc:Dynamic_Feature rdf:type owl:Class ; rdfs:comment "A feature for which the host participates in some perdurant (wave) i.e. some aspect of the host changes over time"@en ; rdfs:label "Dynamic Feature"@en ; rdfs:subClassOf gsoc:Endurant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Perdurant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Perdurant ; ] ) ; ] ; . gsoc:Earth rdf:type owl:NamedIndividual ; rdf:type gsoc:Material_Object ; rdfs:comment "The Earth"@en ; . gsoc:Element rdf:type owl:Class ; rdfs:comment "An amount of elements: either a single atom or an aggregation of atoms of a particular element. All subtypes currently refer to an aggregation of atoms of a single element. An element is a species of atom having the same number of protons in its atomic nuclei (that is, the same atomic number, or Z). https://en.wikipedia.org/wiki/Chemical_element."@en ; rdfs:label "Element"@en ; rdfs:subClassOf gsoc:Amount_Of_Matter ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Element ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Material_Endurant [ rdf:type owl:Class ; owl:complementOf gsoc:Element ; ] ) ; ] ; owl:onProperty gsoc:isConstituentOf ; ] ; . gsoc:Endurant rdf:type owl:Class ; rdfs:comment "The main characteristic of endurants is that they are fully present at any timepoint they exist, but they can change from one timepoint to another - something can be red at one time, and pink at another time. Endurants have onl;y endurants as parts."@en ; rdfs:label "Endurant"@en ; rdfs:subClassOf gsoc:Particular ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Endurant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Region ; owl:onProperty gsoc:occupiesTimeIndirectly ; ] ; owl:disjointWith gsoc:Perdurant ; owl:equivalentClass [ rdf:type owl:Class ; owl:unionOf ( gsoc:Nonphysical_Endurant gsoc:Physical_Endurant ) ; ] ; . gsoc:Endurant_Feature rdf:type owl:Class ; rdfs:comment "Feature constituted by a spatial or aspatial endurant."@en ; rdfs:label "Endurant Feature "@en ; rdfs:subClassOf gsoc:Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Endurant ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Particular ; ] ; owl:disjointWith gsoc:Perdurant_Feature ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Endurant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Event rdf:type owl:Class ; rdfs:comment "A event is the thing that happens (an earthquake), and a process is how it happens (the ground shaking). Events are constituted by processes."@en ; rdfs:label "Event"@en ; rdfs:subClassOf gsoc:Perdurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Event ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:genericallyDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:occupiesTimeDirectly ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasConstituent ; owl:someValuesFrom gsoc:Process ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasParticipant ; owl:someValuesFrom gsoc:Endurant ; ] ; owl:disjointWith gsoc:Process ; owl:disjointWith gsoc:Time_Region ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Perdurant [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasConstituent ; owl:someValuesFrom gsoc:Process ; ] ) ; ] ; . gsoc:Event_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Event Feature "@en ; rdfs:subClassOf gsoc:Occurrence_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Event ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Event ; ] ; . gsoc:Example rdf:type owl:Class ; rdfs:comment "A designated example of something: a prototypical part of an instance, or a prototypical instance of a type. Derived from the exemplifies relation."@en ; rdfs:subClassOf gsoc:Role ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Exemplification ; owl:onProperty gsoc:mutuallySpecDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasRolePlayer ; owl:someValuesFrom [ rdf:type owl:Restriction ; owl:onProperty gsoc:exemplifies ; owl:someValuesFrom gsoc:Particular ; ] ; ] ; . gsoc:Exemplification rdf:type owl:Class ; rdfs:comment "Reification of the exmplification relation (i.e. of exemplifying something)."@en ; rdfs:subClassOf gsoc:Relator ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Example ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Relator [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Example ; ] ) ; ] ; . gsoc:Feature rdf:type owl:Class ; rdfs:comment "A feature is ontologically dependent on at least two distinct things, a host and some essential part, and emerges from some relation holding between them. E.g. hole is hosted by some material entity and has spatial regions as parts (with regions changing as the host moves in space), and emerges from a spatial relation (adjacent containment) between them. A feature is made of parts of the same type, either endurants, perdurants, or possibly situations, so each feature is then itself also a perdurant, endurant or situation, e.g. a hole is also a spatial region."@en ; rdfs:label "Feature"@en ; rdfs:subClassOf gsoc:Particular ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Particular ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Particular ; owl:onProperty gsoc:hostedBy ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Relator ; owl:onProperty gsoc:emergesFrom ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:emergesFrom ; owl:someValuesFrom gsoc:Relator ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Particular ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Particular ; ] ; . gsoc:Fluid rdf:type owl:Class ; rdfs:comment "Matter that continually deforms (flows) under an applied shear stress, or external force. Fluids are a phase of matter and include liquids, gases and plasmas. They are substances with zero shear modulus, or, in simpler terms, substances which cannot resist any shear force applied to them. (https://en.wikipedia.org/wiki/Fluid)"@en ; rdfs:label "Fluid material state"@en ; rdfs:subClassOf gsoc:State_Of_Matter_Value ; . gsoc:Fluid_Matter rdf:type owl:Class ; rdfs:comment "An amount of matter in a fluid state."@en ; rdfs:subClassOf gsoc:Amount_Of_Matter ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:State_Of_Matter [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Fluid ; owl:onProperty gsoc:hasValue ; ] ) ; ] ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:disjointWith gsoc:Solid_Matter ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Amount_Of_Matter [ rdf:type owl:Restriction ; owl:onClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:State_Of_Matter [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Fluid ; owl:onProperty gsoc:hasValue ; ] ) ; ] ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Gas rdf:type owl:Class ; rdfs:comment "Gas is a state of matter that has no fixed shape and no fixed volume. Gases have lower density than other states of matter, such as solids and liquids. There is a great deal of empty space between particles, which have a lot of kinetic energy. The particles move very fast and collide into one another, causing them to diffuse, or spread out, until they are evenly distributed throughout the volume of the container. (https://www.livescience.com/53304-gases.html)"@en ; rdfs:label "Gas state of matter"@en ; rdfs:subClassOf gsoc:Fluid ; . gsoc:Geographic_Coordinate_System rdf:type owl:Class ; rdfs:comment "A coordinate reference system for locating positions relative to the Earth."@en ; rdfs:label "Geographic Coordinate System "@en ; rdfs:subClassOf gsoc:Physical_Reference_System ; . gsoc:Hole rdf:type owl:Class ; rdfs:comment "A physical void with a self-connected (non-scattered) host, consisting of some depression or cavity within the host. E.g. vug, vesicle, miariolitic cavity."@en ; rdfs:label "Hole"@en ; rdfs:subClassOf gsoc:Physical_Void ; . gsoc:Immaterial_Boundary rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Immaterial Boundary "@en ; rdfs:subClassOf gsoc:Low_Dimension_Feature ; . gsoc:Immaterial_Feature rdf:type owl:Class ; rdfs:comment "A dependent place feature that is immaterial. E.g. voids, shadows and relational features such as traffic intersections (meeting of roads). MPF(x) <--> DPF(x) ^ not mat(x)"@en ; rdfs:label "Immaterial_Feature "@en ; rdfs:subClassOf gsoc:Physical_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Spatial_Region ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Physical_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Spatial_Region ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Inherant rdf:type owl:Class ; rdfs:comment "An Inherent is a thing that occupies space indirectly and depends for its existence on some bearer. The inherent is associated with the bearer via the InheresIn relation. An Inherent is an Endurant because it is present in its totality at any time that it exists. Note: inherants are summative: our colour (the sum of your colour and mine) inheres in us (the sum of you and me)."@en ; rdfs:label "Inherant"@en ; rdfs:subClassOf gsoc:Nonphysical_Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Inherant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Particular ; owl:onProperty gsoc:inheresIn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:disjointWith gsoc:Notional_Endurant ; owl:disjointWith gsoc:Relator ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Nonphysical_Endurant [ rdf:type owl:Restriction ; owl:onClass gsoc:Particular ; owl:onProperty gsoc:inheresIn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Inherant_Feature rdf:type owl:Class ; rdfs:comment "based on quality inhering in (essential relation) host. The quality is the focal; Quality inheres in both the feature and the host. Morphologic feature -- focal is a specific shape (river bend, fold)"@en ; rdfs:label "Inherent Feature "@en ; rdfs:subClassOf gsoc:Nonphysical_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Inherant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Inherant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Nonphysical_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Inherant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Inherant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Liquid rdf:type owl:Class ; rdfs:comment "A nearly incompressible fluid that conforms to the shape of its container but retains a (nearly) constant volume independent of pressure. The only state of matter with a definite volume but no fixed shape. (https://en.wikipedia.org/wiki/Liquid)"@en ; rdfs:label "Liquid state of matter"@en ; rdfs:subClassOf gsoc:Fluid ; . gsoc:Low_Dimension_Feature rdf:type owl:Class ; rdfs:comment "A feature that is immaterial but spatially located, typically a lower dimension subdivision of the host (north pole, equator, earth surface, center of town); host is physical endurant, focal is spatial location relative to host."@en ; rdfs:comment "point, line or surface in 3-D space; a line or point in a 2-D space, a point in a 1-D space."@en ; rdfs:label "Low Dimension Feature "@en ; rdfs:subClassOf gsoc:Immaterial_Feature ; rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region_0D gsoc:Spatial_Region_1D gsoc:Spatial_Region_2D ) ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region_0D gsoc:Spatial_Region_1D gsoc:Spatial_Region_2D ) ; ] ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region_0D gsoc:Spatial_Region_1D gsoc:Spatial_Region_2D ) ; ] ; ] ; . gsoc:Material_Boundary rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Material Boundary "@en ; rdfs:subClassOf gsoc:Material_Feature ; . gsoc:Material_Endurant rdf:type owl:Class ; rdfs:comment "Material endurants are physical things that occupy space (e.g. a rock), but are not the spatial region being occupied."@en ; rdfs:label "Material Endurant"@en ; rdfs:subClassOf gsoc:Physical_Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpaceDirectly ; owl:someValuesFrom gsoc:Spatial_Region_3D ; ] ; owl:disjointWith gsoc:Spatial_Region ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Physical_Endurant [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpaceDirectly ; owl:someValuesFrom gsoc:Spatial_Region_3D ; ] ) ; ] ; . gsoc:Material_Feature rdf:type owl:Class ; rdfs:comment "Material Feature (MF): A dependent place feature that is material. - my house's backyard, frontyard."@en ; rdfs:label "Material Feature "@en ; rdfs:subClassOf gsoc:Physical_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Material_Endurant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Physical_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Material_Endurant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Material_Morphological_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Material Morphological Feature "@en ; rdfs:subClassOf gsoc:Material_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Shape ; ] ; . gsoc:Material_Object rdf:type owl:Class ; rdfs:comment "Material Objects things constituted by some amounty of matter, but are not an amount of matter themselves, nor can constitute matter."@en ; rdfs:label "Material Object"@en ; rdfs:subClassOf gsoc:Material_Endurant ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:isConstituentOf ; owl:someValuesFrom gsoc:Amount_Of_Matter ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasConstituent ; owl:someValuesFrom gsoc:Amount_Of_Matter ; ] ; owl:disjointWith gsoc:Amount_Of_Matter ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Material_Endurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasQuality ; owl:someValuesFrom gsoc:State_Of_Matter ; ] ; ] ) ; ] ; . gsoc:Measure_Value rdf:type owl:Class ; rdfs:comment "A determinate value of a quality. SubClasses for numeric, spatial coordinate, and temporal coordinate value types. Use this generic value type for free text values e.g. \"some text\". Categorical values should be subclassed from gsoc:Named_Value"@en ; rdfs:label "Measure Value"@en ; rdfs:subClassOf gsoc:Quality_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onDataRange xsd:anySimpleType ; owl:onProperty gsoc:hasDataValue ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasQuality ; owl:someValuesFrom gsoc:Uncertainty ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasUOM ; owl:someValuesFrom gsoc:Unit_Of_Measure_Value ; ] ; owl:disjointWith gsoc:Named_Value ; owl:disjointWith gsoc:Range_Value ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Quality_Value [ rdf:type owl:Restriction ; owl:onDataRange xsd:anySimpleType ; owl:onProperty gsoc:hasDataValue ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Minor_Proportion rdf:type owl:Class ; rdfs:comment "Constituent is ubiquitous but not abundant"@en ; rdfs:comment "Example -- in some granites, hornblende is a minor constituent."@en ; rdfs:label "Minor Constituent"@en ; rdfs:subClassOf gsoc:Proportion_Value ; . gsoc:Named_Value rdf:type owl:Class ; rdfs:comment "A named value of some quality,e.g. thin or thick."@en ; rdfs:subClassOf gsoc:Quality_Value ; owl:disjointWith gsoc:Range_Value ; owl:equivalentClass [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Range_Value ) ; ] ; ] ; . gsoc:Nonphysical_Endurant rdf:type owl:Class ; rdfs:comment "An endurant that does not occupy space directly, but might occupy space indirectly or not occupy space at all. Indirect spatial occupants have physical endurant parts or are ontologically dependent on physical endurants. Examples of things that indirectly occupy some space, due to such ontological dependence, include physical qualities (my height) and physical relators (reified physical relations). It even includes thoughts, poems, digital files, and datasets, whose existence is tied to being manifest in some physical object (brain, book, storage media). Also includes fictional entities such as unicorns, which must be so manifested to exist."@en ; rdfs:label "Nonphysical Endurant"@en ; rdfs:subClassOf gsoc:Endurant ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpaceDirectly ; owl:someValuesFrom gsoc:Spatial_Region ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Nonphysical_Quality ; owl:onProperty gsoc:hasQuality ; ] ; owl:disjointWith gsoc:Physical_Endurant ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpaceDirectly ; owl:someValuesFrom gsoc:Spatial_Region ; ] ; ] ) ; ] ; . gsoc:Nonphysical_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Nonphysical Feature"@en ; rdfs:subClassOf gsoc:Endurant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Nonphysical_Endurant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Nonphysical_Endurant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Nonphysical_Morphologic_Feature rdf:type owl:Class ; rdfs:comment "A feature that is not a part of its host, but characterized by the form or structure of the host: Morphological features can have morphological properties e.g. orientation, thickness, fold profile, etc. Examples: - smile or frown / lips. - mountain / planet surface (protrusion in the planet surface). - graben and horst / planet surface (protrusion or depression in the planet surface caused by faulting)."@en ; rdfs:label "Morphologic Feature"@en ; rdfs:subClassOf gsoc:Inherant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Shape_Value ; ] ; owl:disjointWith gsoc:Pattern_Feature ; . gsoc:Nonphysical_Quality rdf:type owl:Class ; rdfs:subClassOf gsoc:Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:isQualityOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:disjointWith gsoc:Physical_Quality ; owl:disjointWith gsoc:Temporal_Quality ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Quality [ rdf:type owl:Restriction ; owl:onClass gsoc:Nonphysical_Endurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Nonphysical_Reference_System rdf:type owl:Class ; rdfs:comment "A reference system for non-physical quality values."@en ; rdfs:subClassOf gsoc:Reference_System ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Nonphysical_Quality ; ] ; owl:disjointWith gsoc:Physical_Reference_System ; owl:disjointWith gsoc:Temporal_Reference_System ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Reference_System [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Nonphysical_Quality ; ] ) ; ] ; . gsoc:Notional_Endurant rdf:type owl:Class ; rdfs:comment "Notional endurants do not occupy space, neither directly nor indirectly, e.g. ghosts, some dieties, or numbers. Notional endurants may occupy time (e.g. ghosts, assuming ghosts have finite existence), or may not occupy time (e.g. numbers, which are atemporal). Notional endurants can be part of physical things (e.g. when dieties are held to be part of people), but cannot have physical parts (e.g. when dieties do not have people as parts)."@en ; rdfs:label "Notional Endurant "@en ; rdfs:subClassOf gsoc:Nonphysical_Endurant ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpace ; owl:someValuesFrom gsoc:Spatial_Region ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Notional_Endurant ; owl:onProperty gsoc:hasPart ; ] ; owl:disjointWith gsoc:Relator ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Nonphysical_Endurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpace ; owl:someValuesFrom gsoc:Spatial_Region ; ] ; ] ) ; ] ; . gsoc:Numeric_Value rdf:type owl:Class ; rdfs:comment "Quality that specifies a numeric value for some quality"@en ; rdfs:label "Numeric Value "@en ; rdfs:subClassOf gsoc:Measure_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:decimal ; owl:onProperty gsoc:hasDataValue ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Measure_Value [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:decimal ; owl:onProperty gsoc:hasDataValue ; ] ) ; ] ; . gsoc:Occurrence_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Occurrence Feature "@en ; rdfs:subClassOf gsoc:Perdurant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; ] ; owl:disjointWith gsoc:Temporal_Feature ; . gsoc:Part rdf:type owl:Class ; rdfs:comment "The part in a whole-part relation"@en ; rdfs:subClassOf gsoc:Role ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Parthood ; owl:onProperty gsoc:mutuallySpecDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasRolePlayer ; owl:someValuesFrom [ rdf:type owl:Restriction ; owl:onProperty gsoc:isPartOf ; owl:someValuesFrom gsoc:Particular ; ] ; ] ; owl:disjointWith gsoc:Whole ; . gsoc:Parthood rdf:type owl:Class ; rdfs:comment "Reification of the parthood relation (i.e. to be in a whole-part relation)."@en ; rdfs:subClassOf gsoc:Relator ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Whole ; owl:onProperty gsoc:hasStaticPart ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Part ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Relator [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Part gsoc:Whole ) ; ] ; ] ) ; ] ; . gsoc:Particular rdf:type owl:Class ; rdfs:comment "Any individual, e.g. this rock or that event. Individuals are not types and cannot have instances."@en ; rdfs:label "Particular"@en ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Feature ; owl:onProperty gsoc:hosts ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Inherant ; owl:onProperty gsoc:hasInherant ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Particular ; owl:onProperty gsoc:determinedBy ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Particular ; owl:onProperty gsoc:isExampleOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Situation ; owl:onProperty gsoc:hasSetting ; ] ; . gsoc:Pattern_Feature rdf:type owl:Class ; rdfs:comment "A feature that denotes a manifestation of a pattern. A pattern in GSO is a relation, in two senses: (1) an abstract pattern is a template, which can be expressed as an n-ary predicate with some variables as relata; (2) a manifested pattern is an occurence of the template in some host, and can be expressed as either (a) an n-ary relation with only constants as relata, or (b) an instance of the reification of this relation (i.e. a Relator instance). E.g. wood grain is hosted by some wood matter and the pattern is the reified relation between its wood fibres. Different wood grains are then different (reified and instantiated) relations between its fibres."@en ; rdfs:subClassOf gsoc:Inherant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Relator ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Relator ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Inherant_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Relator ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Relator ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Pause rdf:type owl:Class ; rdfs:comment "Pause within an event or process, e.g. Intermission during hockey game or theater performance (host = playing process, constituent = time interval)"@en ; rdfs:label "Pause "@en ; rdfs:subClassOf gsoc:Temporal_Void ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; owl:onProperty gsoc:hostedBy ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Perdurant rdf:type owl:Class ; rdfs:comment "A perdurant is something that is not fully present at any timepoint, in the sense that an event, process or temporal interval exists over time, while an endurant exists in time. Perdurants are time regions, such as an interval or instant of time, or they are things that occur in time, such as events or processes. Perdurants have only perdurant parts, and can only have fixed qualities that have unchanging values (e.g. the duration of a time interval); if there is some quality that apparently changes for the perdurant, it is a fixed quality of a part of the perdurant, but is not a quality of the perdurant itself (e.g. the intensity of a process varies over the whole process, but has fixed values for certain time-indexed parts of the process)."@en ; rdfs:label "Perdurant"@en ; rdfs:subClassOf gsoc:Particular ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Perdurant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region ; owl:onProperty gsoc:occupiesSpaceIndirectly ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Quality ; owl:onProperty gsoc:hasQuality ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Restriction ; owl:onClass gsoc:Temporal_Quality ; owl:onProperty gsoc:isStaticValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:onProperty gsoc:hasValue ; ] ; owl:onProperty gsoc:hasQuality ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Particular [ rdf:type owl:Class ; owl:unionOf ( gsoc:Time_Region [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:occupiesTimeDirectly ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ) ; ] ; . gsoc:Perdurant_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Perdurant Feature "@en ; rdfs:subClassOf gsoc:Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Perdurant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Perdurant ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Particular ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Perdurant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Perdurant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Physical_Endurant rdf:type owl:Class ; rdfs:comment "An endurant that occupies space directly."@en ; rdfs:label "Physical Endurant"@en ; rdfs:subClassOf gsoc:Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Physical_Endurant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Physical_Quality ; owl:onProperty gsoc:hasQuality ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:constantlySpecDependsOn ; owl:someValuesFrom gsoc:Physical_Quality ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesTimeIndirectly ; owl:someValuesFrom gsoc:Time_Region ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region [ rdf:type owl:Restriction ; owl:onProperty gsoc:occupiesSpaceDirectly ; owl:someValuesFrom gsoc:Spatial_Region ; ] ) ; ] ) ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Physical_Quality ; owl:onProperty gsoc:hasQuality ; ] ) ; ] ; . gsoc:Physical_Feature rdf:type owl:Class ; rdfs:comment "A feature for which the host is involved in some essential spatial relation,e g. adjacency, containment, intersection, contact."@en ; rdfs:label "Physical Feature "@en ; rdfs:subClassOf gsoc:Endurant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Physical_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Physical_Endurant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Endurant_Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Physical_Endurant ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Physical_Endurant ; owl:onProperty gsoc:hasEssentialPart ; ] ) ; ] ; . gsoc:Physical_Gap rdf:type owl:Class ; rdfs:comment "A physical void with a scattered (disconnected) host, consisting of the spaces between the scattered parts of the host. e.g. porosity in a rock. {@en}"@en ; rdfs:label "Gap"@en ; rdfs:subClassOf gsoc:Physical_Void ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass gsoc:Material_Endurant ; owl:onProperty gsoc:hostedBy ; ] ; . gsoc:Physical_Quality rdf:type owl:Class ; rdfs:comment "Quantifiers for dimensions of spatial regions or for location of spatial region in some reference frame."@en ; rdfs:label "Physical Quality "@en ; rdfs:subClassOf gsoc:Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Physical_Endurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:disjointWith gsoc:Temporal_Quality ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Quality [ rdf:type owl:Restriction ; owl:onClass gsoc:Physical_Endurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Physical_Reference_System rdf:type owl:Class ; rdfs:comment "A set of conventions for describing values of qualities of physical endurants."@en ; rdfs:label "Physical Reference System"@en ; rdfs:subClassOf gsoc:Reference_System ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Temporal_Quality ; ] ; owl:disjointWith gsoc:Temporal_Reference_System ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Reference_System [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Temporal_Quality ; ] ) ; ] ; . gsoc:Physical_Void rdf:type owl:Class ; rdfs:comment "A chunk of physical space adjacent to some material feature and surrounded by it. (holes,valleys, canyon, cave, gap, space between fingers). host must be self connected. An empty physical space in 3D. Distinct from abstract mathematical spaces, which include spaces made from various reference frames, including coordinate systems imposed on the earth (these are abstract imposed on real space). V(x) <--> IPF(x) ^ exists y [hosts-v (y,x)]"@en ; rdfs:label "Physical Void"@en ; rdfs:subClassOf gsoc:Place_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:hostedBy ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Material_Endurant ; ] ; . gsoc:Place_Feature rdf:type owl:Class ; rdfs:comment "chunk of physical space (the focal); only hosted by and relative to a material entity, thus not fixed in space (host can move) (downtown, outside my house, personal space)"@en ; rdfs:label "Place Feature "@en ; rdfs:subClassOf gsoc:Immaterial_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region_3D ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Spatial_Region_3D ; ] ; . gsoc:Plasma rdf:type owl:Class ; rdfs:comment "a gas of ions, atoms or molecules which have one or more orbital electrons stripped (or, rarely, an extra electron attached), and free electrons. Whether a given degree of ionization suffices to call the substance \"plasma\" depends on a specific phenomenon being considered. In other words, plasma is a matter which cannot be correctly described without the presence of charged particles taken into account. (https://en.wikipedia.org/wiki/Plasma_(physics))"@en ; rdfs:label "Plasma"@en ; rdfs:subClassOf gsoc:Fluid ; . gsoc:Process rdf:type owl:Class ; rdfs:comment "A event is the thing that happens (an earthquake), and a process is how it happens (the ground shaking). Events are constituted by processes."@en ; rdfs:label "Process"@en ; rdfs:subClassOf gsoc:Perdurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Event ; owl:onProperty gsoc:isConstituentOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Process ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:genericallyDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:occupiesTimeDirectly ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasParticipant ; owl:someValuesFrom gsoc:Endurant ; ] ; owl:disjointWith gsoc:Time_Region ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Perdurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Time_Region ) ; ] ; ] ) ; ] ; . gsoc:Process_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Process Feature "@en ; rdfs:subClassOf gsoc:Occurrence_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Process ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Process ; ] ; . gsoc:Proportion rdf:type owl:Class ; rdfs:comment "A quality denoting the fraction that a part composes a whole. Numeric values will range from 0 to 1 (0 to 100%); might also have categorical determinates like 'dominant', 'subordinate', 'minor', 'rare', 'absent'. Can only be the quality of a part role - only specifies how much a part makes up a whole."@en ; rdfs:label "Proportion"@en ; rdfs:subClassOf gsoc:Nonphysical_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Part ; owl:onProperty gsoc:isQualityOf ; ] ; . gsoc:Proportion_Value rdf:type owl:Class ; rdfs:comment "Value of Proportion quality"@en ; rdfs:label "Proportion Value"@en ; rdfs:subClassOf gsoc:Named_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Proportion ; owl:onProperty gsoc:isValueOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Proportion ; owl:onProperty gsoc:isValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Quality rdf:type owl:Class ; rdfs:comment "A colour, mass, density, etc., that inheres in its bearer. Must have some quality values, and only quality values, as persistent parts, e.g. red or 2.0. These values can change over time, but can't be missing (i.e. a quality must a value to exist and retain identity). This means qualities cannot pause their existence: once they carry no value they cease to exist and cannot exist again, and if a similar quality resurfaces, it would be a different quality. For example, a sponge might have alternating qualities of softness (when wet) and hardness (when dry), with each being a distinct quality. Qualities can only have values as parts, not other things, but they can possess qualities, such as colour having the qualities hue, value, situation."@en ; rdfs:label "Quality"@en ; rdfs:subClassOf gsoc:Inherant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Quality_Value ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Quality_Value ; owl:onProperty gsoc:hasValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Particular ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasValue ; owl:someValuesFrom gsoc:Quality_Value ; ] ; owl:disjointWith gsoc:Quality_Value ; owl:disjointWith gsoc:Role ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Inherant [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasValue ; owl:someValuesFrom gsoc:Quality_Value ; ] ) ; ] ; . gsoc:Quality_Value rdf:type owl:Class ; rdfs:comment "A value of (essential part of) a quality; can be a measured value (e.g. 2.0), named value (e.g. thick), or a range (e.g. 2.0-2.2 or thin-thick). Values exist within a reference system." ; rdfs:label "Quality Value"@en ; rdfs:subClassOf gsoc:Inherant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Quality ; owl:onProperty gsoc:isValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasReferenceSystem ; owl:someValuesFrom gsoc:Reference_System ; ] ; owl:disjointWith gsoc:Role ; owl:disjointWith [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Inherant [ rdf:type owl:Restriction ; owl:onClass gsoc:Quality ; owl:onProperty gsoc:isValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Range_Value rdf:type owl:Class ; rdfs:comment "A range value for some quality, e.g. 2.0-3.0 or thin-thick"@en ; rdfs:label "Quality Range "@en ; rdfs:subClassOf gsoc:Quality_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEndValue ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStartValue ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Quality_Value [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEndValue ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; ] [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStartValue ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; ] ) ; ] ; . gsoc:Rare_Proportion rdf:type owl:Class ; rdfs:comment "Constituent is present but uncommon and rarely observed."@en ; rdfs:comment "Example-- in a typical granite, zircon and apatite are rare constituents"@en ; rdfs:label "Rare constituent "@en ; rdfs:subClassOf gsoc:Proportion_Value ; . gsoc:Reference_System rdf:type owl:Class ; rdfs:comment "Notional endurant that establishes a frame of reference for a quality value. Although typically mathematical, it is not necessarily abstract, because some reference systems are dependent on non-abstract endurants located in space or time; e.g. a spatial coordinate system for the earth (tied to the Earth's ellipsoid), or a temporal coordinate system tied to the Earth's moon or sun (i.e. lunar or solar calendar)"@en ; rdfs:label "Reference System "@en ; rdfs:subClassOf gsoc:Notional_Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Quality_Value ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Notional_Endurant [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Quality_Value ; ] ) ; ] ; . gsoc:Relator rdf:type owl:Class ; rdfs:comment "A relator is a reified relation: e.g. parthood reifying the whole-part relation, or meeting reifying the meets relation. Consists of static parts only, which are the roles played by each relata in the relation (with min 2 for a binary relation). A relator is thus specifically (statically) dependent on each role / part (min 2) and on each relata (min 2). Relators can also have qualities, which are also not parts, such as the intensity of the relation."@en ; rdfs:label "Relator "@en ; rdfs:subClassOf gsoc:Nonphysical_Endurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Role ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass gsoc:Role ; owl:onProperty gsoc:hasStaticPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass gsoc:Role ; owl:onProperty gsoc:mutuallySpecDependsOn ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:minQualifiedCardinality "4"^^xsd:nonNegativeInteger ; owl:onClass gsoc:Particular ; owl:onProperty gsoc:specificallyDependsOn ; ] ; owl:disjointWith [ rdf:type owl:Class ; owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Particular ; ] ; ] [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ) ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Inherant gsoc:Notional_Endurant ) ; ] ; ] ; . gsoc:Role rdf:type owl:Class ; rdfs:comment "Roles are played by a relata in a relation, e.g. a person plays the role of employee in an employs relation. The relata playing the role is the RolePlayer and the other relata are RoleObjects. Because a role (Mary as employer, John as employee) is derived from a specific relation, e.g. Mary employs John, it mutully depends on a specific reified relation instance (Relator - the employment of John by Mary). Roles carry qualities - indeed, they are are a bundle of qualities."@en ; rdfs:label "Role "@en ; rdfs:subClassOf gsoc:Inherant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Particular ; owl:onProperty gsoc:hasRolePlayer ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Relator ; owl:onProperty gsoc:mutuallySpecDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasRoleObject ; owl:someValuesFrom gsoc:Particular ; ] ; owl:disjointWith [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Inherant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Quality gsoc:Quality_Value ) ; ] ; ] ) ; ] ; . gsoc:Sample rdf:type owl:Class ; rdfs:comment "A dislocated part of a thing, collected for some reason. Some samples are also examples of their whole (i.e. are prototypical) and others are not."@en ; rdfs:subClassOf gsoc:Part ; . gsoc:Setting rdf:type owl:Class ; rdfs:comment "A setting is a situation that provies context, usually casual, for a some individual. E.g. Marine Setting and Alluvial Fan Setting are settings for things causally impacted by them. {@en" ; rdfs:label "Setting"@en ; rdfs:subClassOf gsoc:Situation ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty gsoc:isSettingFor ; owl:someValuesFrom gsoc:Particular ; ] ; . gsoc:Shape rdf:type owl:Class ; rdfs:comment "Property to specify the shape of an object. Lots of possible property spaces under this, e.g. (in geology) roundness, sphericity, aspect ratio. These are implemented as separate properties linked to gsoc:Shape via hasQuality"@en ; rdfs:label "Shape Property"@en ; rdfs:subClassOf gsoc:Physical_Quality ; . gsoc:Shape_Value rdf:type owl:Class ; rdfs:comment "Place holder for category vocabularies to describe the shape of a morphological feature, e.g. fold, fold limb."@en ; rdfs:label "Morphologic feature shape value"@en ; rdfs:subClassOf gsoc:Named_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Shape ; owl:onProperty gsoc:isValueOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Shape ; owl:onProperty gsoc:isValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Situation rdf:type owl:Class ; rdfs:comment "A situation is a fragment of the world with any particulars as parts and some criteria that unifies the parts into an integral whole. Situations overlap with perdurants and endurants: e.g. some situations are endurants (endurant parts only) or perdurants (perduranty parts only), and others are just situations (mixed endurant and perdurant parts). Because features are either endurants, perdurants or situations too, all situations with feature parts will also be one of these types. However, it is still tbd if situations comprised of features are features too."@en ; rdfs:label "Situation"@en ; rdfs:subClassOf gsoc:Particular ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Particular ; ] ; owl:disjointWith [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ; ] ; owl:disjointWith [ rdf:type owl:Class ; owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasStaticPart ; owl:someValuesFrom gsoc:Particular ; ] ; ] [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ) ; ] ; . gsoc:Situation_Feature rdf:type owl:Class ; rdfs:subClassOf gsoc:Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Situation ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Situation ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Feature [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Situation ; ] ) ; ] ; . gsoc:Solid rdf:type owl:Class ; rdfs:comment "Matter with a definite shape, mass, and volume, that does not conform to the shape of a container in which it is placed. Solids have a high density, meaning that the particles are tightly packed together. (https://www.livescience.com/46506-states-of-matter.html) A solid is characterized by structural rigidity and resistance to a force applied to the surface. The atoms in a solid are bound to each other, either in a regular geometric lattice (crystalline solids, which include metals and ordinary ice), or irregularly (an amorphous solid such as common window glass). Solids cannot be compressed with little pressure whereas gases can be compressed with little pressure because the molecules in a gas are loosely packed. (https://en.wikipedia.org/wiki/Solid)"@en ; rdfs:label "Solid state of matter"@en ; rdfs:subClassOf gsoc:State_Of_Matter_Value ; . gsoc:Solid_Matter rdf:type owl:Class ; rdfs:comment "An amount of matter in a solid state"@en ; rdfs:subClassOf gsoc:Amount_Of_Matter ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:State_Of_Matter [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Solid ; owl:onProperty gsoc:hasValue ; ] ) ; ] ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Amount_Of_Matter [ rdf:type owl:Restriction ; owl:onClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:State_Of_Matter [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Solid ; owl:onProperty gsoc:hasValue ; ] ) ; ] ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Spatial_Location rdf:type owl:Class ; rdfs:comment "A physical property that specifies the position of an entity relative to some spatial reference system. Use WKT strings (ogc:WKTLiteral, https://www.w3.org/2011/02/GeoSPARQL.pdf) as data values."@en ; rdfs:label "Spatial Location"@en ; rdfs:subClassOf gsoc:Physical_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region ; owl:onProperty gsoc:isQualityOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Value ; owl:onProperty gsoc:hasValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Spatial_Region ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Spatial_Region rdf:type owl:Class ; rdfs:comment "A chunk of space, either 0-3 dimensional."@en ; rdfs:label "Spatial Region"@en ; rdfs:subClassOf gsoc:Physical_Endurant ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasConstituent ; owl:someValuesFrom gsoc:Material_Endurant ; ] ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Material_Endurant ; owl:onProperty gsoc:spaceOccupiedDirectlyBy ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Region ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Spatial_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Physical_Endurant [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasConstituent ; owl:someValuesFrom gsoc:Material_Endurant ; ] ; ] ) ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Physical_Endurant [ rdf:type owl:Restriction ; owl:onClass gsoc:Spatial_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Spatial_Region_0D rdf:type owl:Class ; rdfs:comment "A degenerate spatial region that is a single point." ; rdfs:label "1D Spatial Region "@en ; rdfs:subClassOf gsoc:Spatial_Region ; rdfs:subClassOf [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ; ] ; . gsoc:Spatial_Region_1D rdf:type owl:Class ; rdfs:comment "A spatial region that is defined as a segment of a line." ; rdfs:label "1D Spatial Region "@en ; rdfs:subClassOf gsoc:Spatial_Region ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region_0D gsoc:Spatial_Region_1D ) ; ] ; owl:onProperty gsoc:hasPart ; ] ; . gsoc:Spatial_Region_2D rdf:type owl:Class ; rdfs:comment "Apatial region that is a surface."@en ; rdfs:label "2D Spatial Region "@en ; rdfs:subClassOf gsoc:Spatial_Region ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region_0D gsoc:Spatial_Region_1D ) ; ] ; owl:onProperty gsoc:hasPart ; ] ; . gsoc:Spatial_Region_3D rdf:type owl:Class ; rdfs:comment "A spatial region with volume." ; rdfs:label "3 D Spatial Region "@en ; rdfs:subClassOf gsoc:Spatial_Region ; . gsoc:Spatial_Value rdf:type owl:Class ; rdfs:comment "A spatial location value in some spatial reference system"@en ; rdfs:subClassOf gsoc:Measure_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Geographic_Coordinate_System ; owl:onProperty gsoc:hasReferenceSystem ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Location ; owl:onProperty gsoc:isValueOf ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Measure_Value [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Location ; owl:onProperty gsoc:isValueOf ; ] ) ; ] ; . gsoc:State_Of_Matter rdf:type owl:Class ; rdfs:comment "State of matter qualities include State_Of_Matter_Value and should also include the pressure and temperature conditions that apply. If none are stated, default is standard temperature and pressure. Since 1982, STP is defined as a temperature of 273.15 K (0 °C, 32 °F) and an absolute pressure of exactly 105 Pa (100 kPa, 1 bar) (https://en.wikipedia.org/wiki/Standard_conditions_for_temperature_and_pressure)"@en ; rdfs:label "State of Matter"@en ; rdfs:subClassOf gsoc:Physical_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Amount_Of_Matter ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:State_Of_Matter_Value rdf:type owl:Class ; rdfs:label "State of matter value"@en ; rdfs:subClassOf gsoc:Named_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:State_Of_Matter ; owl:onProperty gsoc:isValueOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:State_Of_Matter ; owl:onProperty gsoc:isValueOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Subordinate_Proportion rdf:type owl:Class ; rdfs:comment "Constituent is less abundant than dominant constituent, but present in sufficient abundance to be an obvious constituent"@en ; rdfs:comment "Example--in a typical granite, biotite is a subordinate constituent."@en ; rdfs:label "Subordinate Constituent"@en ; rdfs:subClassOf gsoc:Proportion_Value ; . gsoc:Temporal_Boundary rdf:type owl:Class ; rdfs:comment "examples: start of Jan. host = Jan; constituent = start datetime of every Jan"@en ; rdfs:label "Temporal Boundary "@en ; rdfs:subClassOf gsoc:Time_Instant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom gsoc:Time_Interval_Feature ; ] ; . gsoc:Temporal_Feature rdf:type owl:Class ; rdfs:comment "A feature for which either the constituent is a Perdurant"@en ; rdfs:label "Temporal Feature "@en ; rdfs:subClassOf gsoc:Perdurant_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Region ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Time_Region ; ] ; . gsoc:Temporal_Gap rdf:type owl:Class ; rdfs:comment "Gap in time between perdurants, E.g. offseason = time between end of sports season and beginning of next; hosts = sports seasons (2020 and 2021 NHL campaign events), constituent = time interval; relation = temporally disjoint"@en ; rdfs:label "Temporal Gap "@en ; rdfs:subClassOf gsoc:Temporal_Void ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; owl:onProperty gsoc:hostedBy ; ] ; . gsoc:Temporal_Location rdf:type owl:Class ; rdfs:comment "The location of a time region within a temporal reference system. Has temporal values such as 21 Jan 2020 or 100 Ma - 200 Ma."@en ; rdfs:label "Temporal location "@en ; rdfs:subClassOf gsoc:Temporal_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Region ; owl:onProperty gsoc:isQualityOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Temporal_Range gsoc:Temporal_Value ) ; ] ; owl:onProperty gsoc:hasValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Region ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Temporal_Quality rdf:type owl:Class ; rdfs:comment "Quality that specifies the temporal location or duration that is the extent of some TimeRegion"@en ; rdfs:label "Temporal Quality"@en ; rdfs:subClassOf gsoc:Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Perdurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Quality [ rdf:type owl:Restriction ; owl:onClass gsoc:Perdurant ; owl:onProperty gsoc:isQualityOf ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Temporal_Range rdf:type owl:Class ; rdfs:comment "Quality that specifies a quality value for a Temporal Location that is a time interval with a start and end temporal value"@en ; rdfs:label "Temporal Range "@en ; rdfs:subClassOf gsoc:Range_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Location ; owl:onProperty gsoc:isValueOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Value ; owl:onProperty gsoc:hasEndValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Value ; owl:onProperty gsoc:hasStartValue ; ] ; . gsoc:Temporal_Reference_System rdf:type owl:Class ; rdfs:comment "A reference system for temporal values."@en ; rdfs:label "Temporal Reference System "@en ; rdfs:subClassOf gsoc:Reference_System ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Perdurant ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Reference_System [ rdf:type owl:Restriction ; owl:onProperty gsoc:isReferenceSystemFor ; owl:someValuesFrom gsoc:Perdurant ; ] ) ; ] ; . gsoc:Temporal_Value rdf:type owl:Class ; rdfs:comment "Quality that specifies a temporal location"@en ; rdfs:label "Temporal Value "@en ; rdfs:subClassOf gsoc:Measure_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Location ; owl:onProperty gsoc:isValueOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Reference_System ; owl:onProperty gsoc:hasReferenceSystem ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Measure_Value [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Location ; owl:onProperty gsoc:isValueOf ; ] ) ; ] ; . gsoc:Temporal_Void rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Temporal Void "@en ; rdfs:subClassOf gsoc:Time_Interval_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hostedBy ; owl:someValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; ] ; . gsoc:Time_Date_Value rdf:type owl:Class ; rdfs:label "A date or time datatype"@en ; rdfs:subClassOf gsoc:Temporal_Value ; rdfs:subClassOf [ rdf:type owl:Class ; owl:unionOf ( [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:date ; owl:onProperty gsoc:hasDataValue ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:dateTime ; owl:onProperty gsoc:hasDataValue ; ] ) ; ] ; . gsoc:Time_Instant rdf:type owl:Class ; rdfs:comment "A time instant is a point in time."@en ; rdfs:label "Time Instant"@en ; rdfs:subClassOf gsoc:Time_Region ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Instant ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Instant_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Instant_Location ; owl:onProperty gsoc:specificallyDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:disjointWith gsoc:Time_Interval ; . gsoc:Time_Instant_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Time Instant Feature "@en ; rdfs:subClassOf gsoc:Temporal_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Instant ; owl:onProperty gsoc:hasEssentialPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Time_Instant ; ] ; owl:disjointWith gsoc:Time_Interval_Feature ; . gsoc:Time_Instant_Location rdf:type owl:Class ; rdfs:comment "quality the specifies the temporal coordinates of a time instant in some temporal reference system"@en ; rdfs:label "Time Instant Location"@en ; rdfs:subClassOf gsoc:Temporal_Location ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Value ; owl:onProperty gsoc:hasValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasValue ; owl:someValuesFrom gsoc:Temporal_Value ; ] ; . gsoc:Time_Interval rdf:type owl:Class ; rdfs:comment "A region of time that has a duration greater than 0."@en ; rdfs:comment "Time intervals are continuous without gaps."@en ; rdfs:label "Time Interval"@en ; rdfs:subClassOf gsoc:Time_Region ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Interval_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Time_Interval_Location ; owl:onProperty gsoc:specificallyDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; . gsoc:Time_Interval_Feature rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Time Interval Feature "@en ; rdfs:subClassOf gsoc:Temporal_Feature ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasEssentialPart ; owl:someValuesFrom gsoc:Time_Interval ; ] ; . gsoc:Time_Interval_Location rdf:type owl:Class ; rdfs:comment "quality the specifies the temporal coordinates of the beginning and end of time interval in some temporal reference system"@en ; rdfs:label "Time Interval Location"@en ; rdfs:subClassOf gsoc:Temporal_Location ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Temporal_Range ; owl:onProperty gsoc:hasValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasQuality ; owl:someValuesFrom gsoc:Duration ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasValue ; owl:someValuesFrom gsoc:Temporal_Range ; ] ; . gsoc:Time_Numeric_Value rdf:type owl:Class ; rdfs:comment "Quality that specifies a temporal location with a temporal coordinate or an xsd dateTime"@en ; rdfs:label "Time Instant Value "@en ; rdfs:subClassOf gsoc:Temporal_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:decimal ; owl:onProperty gsoc:hasDataValue ; ] ; . gsoc:Time_Region rdf:type owl:Class ; rdfs:comment "A chunk of time, either an instant or interval, with a temporal location quality."@en ; rdfs:label "Time Region"@en ; rdfs:subClassOf gsoc:Perdurant ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Time_Region ; owl:onProperty gsoc:hasPart ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; owl:onProperty gsoc:timeOccupiedDirectlyBy ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Temporal_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Temporal_Location ; owl:onProperty gsoc:specificallyDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; owl:equivalentClass [ rdf:type owl:Class ; owl:intersectionOf ( gsoc:Perdurant [ rdf:type owl:Restriction ; owl:onClass gsoc:Temporal_Location ; owl:onProperty gsoc:hasQuality ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ) ; ] ; . gsoc:Uncertainty rdf:type owl:Class ; rdfs:comment "" ; rdfs:label "Uncertainty"@en ; rdfs:subClassOf gsoc:Nonphysical_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Measure_Value ; owl:onProperty gsoc:isQualityOf ; ] ; . gsoc:Unit_Of_Measure rdf:type owl:Class ; rdfs:label "Units of measurement"@en ; rdfs:subClassOf gsoc:Nonphysical_Quality ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Measure_Value ; owl:onProperty gsoc:isQualityOf ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Unit_Of_Measure_Value ; owl:onProperty gsoc:hasValue ; ] ; . gsoc:Unit_Of_Measure_Value rdf:type owl:Class ; rdfs:comment "Unit of measure categories; profile from QUDT ontology (http://qudt.org/2.1/vocab/unit)."@en ; rdfs:label "Unit of Measure Value "@en ; rdfs:subClassOf gsoc:Named_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Unit_Of_Measure ; owl:onProperty gsoc:isValueOf ; ] ; . gsoc:WKT_Value rdf:type owl:Class ; rdfs:comment "Text string to specify a spatial location according to ISO/IEC 13249-3:2016 (Information technology – Database languages – SQL multimedia and application packages – Part 3: Spatial (5th ed.), ISO, 2016-01-15, retrieved 2019-01-28)"@en ; rdfs:label "WKT Value"@en ; rdfs:subClassOf gsoc:Spatial_Value ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:allValuesFrom xsd:string ; owl:onProperty gsoc:hasDataValue ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasDataValue ; owl:someValuesFrom xsd:string ; ] ; . gsoc:Whole rdf:type owl:Class ; rdfs:comment "The whole in a whole-part relation."@en ; rdfs:subClassOf gsoc:Role ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onClass gsoc:Parthood ; owl:onProperty gsoc:mutuallySpecDependsOn ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasRolePlayer ; owl:someValuesFrom [ rdf:type owl:Restriction ; owl:onProperty gsoc:hasPart ; owl:someValuesFrom gsoc:Particular ; ] ; ] ; . gsoc:adjacentlyDependsOn rdf:type owl:ObjectProperty ; rdfs:comment "Specific dependence with spatial and temporal adjacency between relata."@en ; rdfs:subPropertyOf gsoc:spatiallyTouches ; rdfs:subPropertyOf gsoc:spatio-temporallyDependsOn ; . gsoc:boyan_brodaric rdf:type owl:NamedIndividual ; rdf:type schema:Person ; rdfs:comment "e-mail: mailto:boyan.brodaric@canada.ca " ; rdfs:label "Dr. Boyan Brodaric" ; schema:affiliation "Natural Resources Canada, Geological Survey of Canada" ; schema:identifier ; schema:name "Dr. Boyan Brodaric" ; . gsoc:constantlyGenDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Constant generic dependance in which relata are co-temporal, that is, the dependee exists during the lifespan of the dependent."@en ; rdfs:subPropertyOf gsoc:genericallyDependsOn ; owl:propertyDisjointWith gsoc:timeDisjoint ; . gsoc:constantlySpecDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Constant specific dependence, in which the dependee is co-temporal with the dependent."@en ; rdfs:subPropertyOf gsoc:constantlyGenDependsOn ; rdfs:subPropertyOf gsoc:specificallyDependsOn ; rdfs:subPropertyOf gsoc:timeIncludedBy ; . gsoc:containedBy rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "The interior and boundary of the subject spatial region intesect only the interior of the object spatial region. Subject region is in the interior of the object region."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; owl:inverseOf gsoc:contains ; skos:altLabel "within"@en ; . gsoc:contains rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "Object region lies in subject region, and the interiors intersect. Another definition: \"subject region contains object region iff no points of object region lie in the exterior of subject region, and at least one point of the interior of object region lies in the interior of subject region\"."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:coveredBy rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "the boundary of the subject intersects the interior or the boundary of the object region, and the interior of the subject intersects only the interior of the object region. Every point of the subject region is a point in the interior or the boundary of the object region."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; owl:inverseOf gsoc:covers ; . gsoc:covers rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "At least one point of object region lies in subject region, and no point of object region lies in the exterior of subject region, or every point of object region is a point of (the interior or boundary of) subject region. Alternative: The interior of the subject region intersects the interior or the boundary of the object region, and the boundary of the subject region intersects the boundary of the object region."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:crosses rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "The subject and object spatial regions have some but not all interior points in common, and the dimension of the intersection is less than that of at least one of them."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:dependance rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected dependence relation."@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:dependsOn rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between a dependent entity (that relies on something) and a dependee (the thing being relied on)." ; rdfs:subPropertyOf gsoc:dependance ; owl:inverseOf gsoc:hasDependent ; . gsoc:determination rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected relation in which something acts as evidence or method to validate an entity"@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:determinedBy rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between an entity and something that helps validate it."@en ; rdfs:subPropertyOf gsoc:determination ; owl:inverseOf gsoc:determines ; . gsoc:determines rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between something, as validator, and the thing being validated."@en ; rdfs:subPropertyOf gsoc:determination ; . gsoc:emerges rdf:type owl:ObjectProperty ; rdfs:comment "The directed relation between a relator and feature, in which the feature is derived from the relator, i.e. the relator emerges the feature."@en ; rdfs:domain gsoc:Relator ; rdfs:range gsoc:Feature ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:emergesFrom ; . gsoc:emergesFrom rdf:type owl:ObjectProperty ; rdfs:comment "The emergence of a feature from a relator."@en ; rdfs:domain gsoc:Feature ; rdfs:range gsoc:Relator ; rdfs:subPropertyOf gsoc:externallySpecDependsOn ; . gsoc:exemplification rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected relation between an example and the thing it exemplifies. Both instances and types can be exemples and exemplified, e.g. as typical instance of a type, or a typical part of something."@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:exemplifies rdf:type owl:IrreflexiveProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between an exemple and the thing being exemplfied."@en ; rdfs:subPropertyOf gsoc:exemplification ; owl:inverseOf gsoc:isExemplifiedBy ; . gsoc:externallyGenDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "External generic ontological dependence in which the dependee is not an internal entity, e.g. is not a quality, role, constituent, or essential part, but is some external entit."@en ; rdfs:subPropertyOf gsoc:genericallyDependsOn ; owl:propertyDisjointWith gsoc:hasEssentialPart ; . gsoc:externallySpecDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "External specific dependence, i.e. not dependent on own parts, qualities, roles, constituents, etc."@en ; rdfs:subPropertyOf gsoc:externallyGenDependsOn ; rdfs:subPropertyOf gsoc:specificallyDependsOn ; . gsoc:genericallyDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Directed generic ontological dependence relation in which something relies on something else of a certain type; excludes self-dependence and other edge problematic cases, and is atemporal (relata need not co-exist in time). Note the relation cannot be more explicitly defined in this notation." ; rdfs:subPropertyOf gsoc:dependsOn ; . gsoc:hasAnnotation rdf:type owl:AnnotationProperty ; rdfs:comment "Most general undirected relation for annotations and similar things."@en ; rdfs:subPropertyOf gsoc:isRelatedTo ; . gsoc:hasConstituent rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Relation between an object and something (the consitituent) that makes up the object."@en ; rdfs:subPropertyOf gsoc:hasPersistentPart ; owl:inverseOf gsoc:isConstituentOf ; . gsoc:hasDataValue rdf:type owl:DatatypeProperty ; rdfs:comment "Directed relation between a measure value and a simple data type - xsd:anySimpleType - e.g. as a number, string, or date."@en ; rdfs:domain gsoc:Measure_Value ; rdfs:range xsd:anySimpleType ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:hasDependent rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between a dependee (the thing being relied on) and the dependent (the thing that relies on something)."@en ; rdfs:label "has dependent"@en ; rdfs:subPropertyOf gsoc:dependance ; owl:inverseOf gsoc:dependsOn ; . gsoc:hasEndValue rdf:type owl:ObjectProperty ; rdfs:comment "The upper bound in quality value range."@en ; rdfs:domain gsoc:Range_Value ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; rdfs:subPropertyOf gsoc:hasStaticPart ; . gsoc:hasEssentialPart rdf:type owl:ObjectProperty ; rdfs:comment "The whole is generically dependent on this part, which must be present at some time during the whole, but not necessarilly all times, and can be exchanged - all without loss of identity for the whole."@en ; rdfs:subPropertyOf gsoc:genericallyDependsOn ; rdfs:subPropertyOf gsoc:hasPart ; owl:propertyDisjointWith gsoc:timeDisjoint ; . gsoc:hasExample rdf:type owl:ObjectProperty ; rdfs:comment "Relation between an exemplified entity and its example."@en ; rdfs:range gsoc:Example ; rdfs:subPropertyOf gsoc:isRoleObjectFor ; owl:inverseOf gsoc:isExampleOf ; . gsoc:hasInherant rdf:type owl:ObjectProperty ; rdfs:comment "Inverse relation to inheresIn - directed relation between a carrier and the inherant it carries. E.g. between a rock body and a thickness."@en ; rdfs:range gsoc:Inherant ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:inheresIn ; . gsoc:hasInput rdf:type owl:ObjectProperty ; rdfs:comment "A participant in a process that must be present before the process can run."@en ; rdfs:subPropertyOf gsoc:hasParticipant ; owl:inverseOf gsoc:isInputOf ; . gsoc:hasOlderHost rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The host is older than the hosted entity."@en ; rdfs:subPropertyOf gsoc:hostedBy ; rdfs:subPropertyOf gsoc:timeYoungerThan ; . gsoc:hasOutput rdf:type owl:ObjectProperty ; rdfs:comment "A participant in a process that is produced by the action of the process and is present when the process is complete."@en ; rdfs:subPropertyOf gsoc:hasParticipant ; owl:inverseOf gsoc:isOutputOf ; . gsoc:hasPart rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Standard directed relation between a whole and a part; the part could be proper or improper."@en ; rdfs:subPropertyOf gsoc:parthood ; owl:inverseOf gsoc:isPartOf ; . gsoc:hasParticipant rdf:type owl:ObjectProperty ; rdfs:comment "The participation of an endurant in a process or event."@en ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; rdfs:range gsoc:Endurant ; rdfs:subPropertyOf gsoc:externallyGenDependsOn ; owl:inverseOf gsoc:isParticipantIn ; . gsoc:hasPersistentPart rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The part must be present at all times the whole is present, and the part can be exchanged but not missing."@en ; rdfs:subPropertyOf gsoc:constantlyGenDependsOn ; rdfs:subPropertyOf gsoc:hasEssentialPart ; owl:inverseOf gsoc:isPersistentPartOf ; . gsoc:hasQuality rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between something and a quality that is carried by it."@en ; rdfs:range gsoc:Quality ; rdfs:subPropertyOf gsoc:hasInherant ; owl:inverseOf gsoc:isQualityOf ; . gsoc:hasReferenceSystem rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Dircted relation a quality value and its reference system."@en ; rdfs:domain gsoc:Quality_Value ; rdfs:range gsoc:Reference_System ; rdfs:subPropertyOf gsoc:reference ; owl:inverseOf gsoc:isReferenceSystemFor ; owl:propertyDisjointWith gsoc:isReferenceSystemFor ; . gsoc:hasRole rdf:type owl:ObjectProperty ; rdfs:comment "The directed relation between a role player, and the role. E.g. between a rock material and the clast that is made up of that material."@en ; rdfs:range gsoc:Role ; rdfs:subPropertyOf gsoc:hasInherant ; owl:inverseOf gsoc:hasRolePlayer ; . gsoc:hasRoleObject rdf:type owl:ObjectProperty ; rdfs:comment "property that links a Role to the Particular that the RolePlayer is linked to in a relationship"@en ; rdfs:domain gsoc:Role ; rdfs:subPropertyOf gsoc:specificallyDependsOn ; . gsoc:hasRolePlayer rdf:type owl:ObjectProperty ; rdfs:comment "A role is played by (has a role player) something in a relation; e.g. students, employees, pilots are played by persons in enrollment, employment, and flying relations, respectivey."@en ; rdfs:domain gsoc:Role ; rdfs:subPropertyOf gsoc:inheresIn ; . gsoc:hasSample rdf:type owl:ObjectProperty ; rdfs:comment "Relation between an sampled entity and its sample."@en ; rdfs:range gsoc:Example ; rdfs:subPropertyOf gsoc:isRoleObjectFor ; owl:inverseOf gsoc:isSampleOf ; . gsoc:hasSetting rdf:type owl:ObjectProperty ; rdfs:comment "Relation between somethingh and its contextualized setting."@en ; rdfs:range gsoc:Setting ; rdfs:subPropertyOf gsoc:isEssentialPartOf ; owl:inverseOf gsoc:isSettingFor ; . gsoc:hasSpatialValue rdf:type owl:ObjectProperty ; rdfs:comment "A relation between a non-abstact particular and a spatial location value - still in a test stage; intended as a short-cut for specifying the spatial location of something, but therefore equal to saying that something occupies space (in/directly) and has a spatial location quality with a certain spatial value (in a spatial reference system)."@en ; rdfs:label "spatial location value "@en ; rdfs:range gsoc:Spatial_Value ; rdfs:subPropertyOf gsoc:location ; owl:propertyChainAxiom ( gsoc:occupiesSpace [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Location ; owl:onProperty gsoc:hasQuality ; ] [ rdf:type owl:Restriction ; owl:allValuesFrom gsoc:Spatial_Value ; owl:onProperty gsoc:hasValue ; ] ) ; . gsoc:hasStartValue rdf:type owl:ObjectProperty ; rdfs:comment "The lower bound in a quality value range."@en ; rdfs:domain gsoc:Range_Value ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( gsoc:Measure_Value gsoc:Named_Value ) ; ] ; rdfs:subPropertyOf gsoc:hasStaticPart ; . gsoc:hasStaticPart rdf:type owl:ObjectProperty ; rdfs:comment "The specifc individual that is a part must always be co-present with whole, cannot be exchanged nor missing, and whole is specifically dependent on it."@en ; rdfs:subPropertyOf gsoc:constantlySpecDependsOn ; rdfs:subPropertyOf gsoc:hasPersistentPart ; owl:inverseOf gsoc:isStaticPartOf ; . gsoc:hasStaticValue rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Having a fixed quality value that cannot change during the existence of the quality."@en ; rdfs:domain gsoc:Quality ; rdfs:range gsoc:Quality_Value ; rdfs:subPropertyOf gsoc:hasStaticPart ; rdfs:subPropertyOf gsoc:hasValue ; owl:inverseOf gsoc:isStaticValueOf ; . gsoc:hasUOM rdf:type owl:ObjectProperty ; rdfs:comment "top level property for assigning property values; subtype for associating values with measurement units "@en ; rdfs:domain gsoc:Measure_Value ; rdfs:range gsoc:Unit_Of_Measure_Value ; rdfs:subPropertyOf gsoc:hasQuality ; . gsoc:hasValue rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "top level property for assigning property values; subtype for particular kinds of values (integer, category, number boolean...) "@en ; rdfs:domain gsoc:Quality ; rdfs:range gsoc:Quality_Value ; rdfs:subPropertyOf gsoc:hasPersistentPart ; owl:inverseOf gsoc:isValueOf ; . gsoc:hasYoungerHost rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The host is younger than the hosted entity."@en ; rdfs:subPropertyOf gsoc:hostedBy ; rdfs:subPropertyOf gsoc:timeOlderThan ; . gsoc:hostedBy rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The relation of hosting a feature, such the material object that hosts a hole."@en ; rdfs:domain gsoc:Feature ; rdfs:subPropertyOf gsoc:genericallyDependsOn ; owl:inverseOf gsoc:hosts ; . gsoc:hosts rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Direction relation of hosting a feature in which the feature is generically dependent on the host."@en ; rdfs:range gsoc:Feature ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:hostedBy ; . gsoc:indirectlyYoungerThan rdf:type owl:ObjectProperty ; rdfs:label "Indirectly younger than"@en ; rdfs:subPropertyOf gsoc:timeYoungerThan ; owl:propertyChainAxiom ( gsoc:occupiesTime gsoc:timeYoungerThan ) ; skos:prefLabel "Indirectly younger than" ; . gsoc:inheresIn rdf:type owl:FunctionalProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Inhering in something involves being constantly specifically dependent on it. E.g. a quality such as thickness inheres in a rock body."@en ; rdfs:domain gsoc:Inherant ; rdfs:subPropertyOf gsoc:constantlySpecDependsOn ; . gsoc:isConstituentOf rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Relation between some particular and the object that it makes up."@en ; rdfs:subPropertyOf gsoc:isPersistentPartOf ; owl:inverseOf gsoc:hasConstituent ; . gsoc:isEssentialPartOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation of being an essential part of a whole, such that whole is generically dependent on the part, and the part can be exchanged or missing."@en ; rdfs:subPropertyOf gsoc:hasDependent ; rdfs:subPropertyOf gsoc:isPartOf ; owl:inverseOf gsoc:hasEssentialPart ; . gsoc:isExampleOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation to a significant example of something. Can point to a complete example or representative part."@en ; rdfs:domain gsoc:Example ; rdfs:subPropertyOf gsoc:hasRoleObject ; . gsoc:isExemplifiedBy rdf:type owl:IrreflexiveProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between a thing and its example."@en ; rdfs:subPropertyOf gsoc:exemplification ; . gsoc:isFundamentallyRelatedTo rdf:type rdf:Property ; rdf:type owl:SymmetricProperty ; rdfs:comment "Most general domain-neutral relation (e.g. non-spatial, non-temporal, non-geological,...)"@en ; rdfs:subPropertyOf gsoc:isRelatedTo ; . gsoc:isInputOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation from an endurant to an event or process for which the endurant is a precursor."@en ; rdfs:subPropertyOf gsoc:isParticipantIn ; . gsoc:isOutputOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation from an endurant to an event or process for which the endurant is a result."@en ; rdfs:subPropertyOf gsoc:isParticipantIn ; . gsoc:isPartOf rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Directed relation between a part and whole."@en ; rdfs:subPropertyOf gsoc:parthood ; . gsoc:isParticipantIn rdf:type owl:ObjectProperty ; rdfs:comment "Inverse of hasParticipant. Directed relation between some endurant and a process or event in which it participates."@en ; rdfs:domain gsoc:Endurant ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:hasParticipant ; . gsoc:isPersistentPartOf rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Inverse of hasPersistentPart. Persistent parts temporally co-exist with the whole for the lifespan of the whole, so cannot be misisng but can be exchanged."@en ; rdfs:subPropertyOf gsoc:isEssentialPartOf ; owl:inverseOf gsoc:hasPersistentPart ; . gsoc:isProducedFrom rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between the output of some process or event, and its input."@en ; rdfs:label "produced from "@en ; rdfs:subPropertyOf gsoc:production ; owl:inverseOf gsoc:isProductionInput ; owl:propertyDisjointWith gsoc:isProductionInput ; . gsoc:isProductionInput rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between the input of some process or event, and its output."@en ; rdfs:label "production input "@en ; rdfs:subPropertyOf gsoc:production ; . gsoc:isQualityOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation between a quality and the thing that carries the quality, e.g. between a thickness quality and its rock body."@en ; rdfs:domain gsoc:Quality ; rdfs:subPropertyOf gsoc:inheresIn ; . gsoc:isReferenceSystemFor rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Directed relation between a referene system and a quality value."@en ; rdfs:domain gsoc:Reference_System ; rdfs:range gsoc:Quality_Value ; rdfs:subPropertyOf gsoc:reference ; . gsoc:isRelatedTo rdf:type rdf:Property ; rdf:type owl:SymmetricProperty ; rdfs:comment "Most general relation in GSO holding between any two things"@en ; . gsoc:isRoleObjectFor rdf:type owl:ObjectProperty ; rdfs:comment "Inverse of hasRoleObject. Relation between a role and the non-role-player objects that are associated. E.g. in an employs relation, the entity that employs (employer) is a role object for the employee role."@en ; rdfs:range gsoc:Role ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:hasRoleObject ; . gsoc:isSampleOf rdf:type owl:ObjectProperty ; rdfs:comment "Relation to a significant sample (i.e. part) of the domain (in the context of some other relation). Examples and samples can overlap, but are not the same. All samples are parts of the thing sampled, and are not necessarily prototypical. Examples are prototypical of the exemlpified thing, but are not necessarily parts."@en ; rdfs:domain gsoc:Sample ; rdfs:subPropertyOf gsoc:hasRoleObject ; . gsoc:isSettingFor rdf:type owl:ObjectProperty ; rdfs:comment "Relation between a setting and the entity contextualized by the settting."@en ; rdfs:domain gsoc:Setting ; rdfs:subPropertyOf gsoc:hasEssentialPart ; . gsoc:isSpatiallyRelatedTo rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected most general spatial relation." ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Notional_Endurant ; ] ; rdfs:range [ rdf:type owl:Class ; owl:complementOf gsoc:Notional_Endurant ; ] ; rdfs:subPropertyOf gsoc:isRelatedTo ; . gsoc:isStaticPartOf rdf:type owl:ObjectProperty ; rdfs:comment "Inverse of hasStaticPart. Static parts are essentially part of whole during the life of the whole and cannot be missing or exchanged."@en ; rdfs:subPropertyOf gsoc:isPersistentPartOf ; owl:inverseOf gsoc:hasStaticPart ; . gsoc:isStaticValueOf rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Relation between a fixed value (that never changes for the quality) and its quality."@en ; rdfs:domain gsoc:Quality_Value ; rdfs:range gsoc:Quality ; rdfs:subPropertyOf gsoc:isStaticPartOf ; rdfs:subPropertyOf gsoc:isValueOf ; owl:inverseOf gsoc:hasStaticValue ; . gsoc:isTemporallyRelatedTo rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Most general undirected temporal relation holding between non-abstract things, that exist in time. Temporal relationships occurr between things that directly or indirectly occupy temporal regions - the association is evaluated on the regions being occupied, but the domain and range are the occupying entities"@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Abstract_Endurant ; ] ; rdfs:range [ rdf:type owl:Class ; owl:complementOf gsoc:Abstract_Endurant ; ] ; rdfs:subPropertyOf gsoc:isRelatedTo ; . gsoc:isValueOf rdf:type owl:AsymmetricProperty ; rdf:type owl:ObjectProperty ; rdfs:comment "Relation between a quality value and its quality."@en ; rdfs:domain gsoc:Quality_Value ; rdfs:range gsoc:Quality ; rdfs:subPropertyOf gsoc:constantlySpecDependsOn ; rdfs:subPropertyOf gsoc:isPersistentPartOf ; owl:inverseOf gsoc:hasValue ; . gsoc:location rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "A relation between a non-abstact particular and a spatial or temoral location value - still in a test stage; intended as a short-cut for specifying the spatial or temporal location of something, but therefore equal to saying that something occupies space or time (in/directly) and has a spatial/temporal location quality with a certain value (in a spatial / temporal reference system). Generically depends on the spatial or temporal value."@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Abstract_Endurant ; ] ; rdfs:label "location "@en ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Value gsoc:Temporal_Value ) ; ] ; rdfs:subPropertyOf gsoc:constantlyGenDependsOn ; . gsoc:materiallyDependsOn rdf:type owl:ObjectProperty ; rdfs:comment "Materially depends on - loss or change in the dependee will cause an unaviodable material change in the dependent."@en ; rdfs:domain gsoc:Physical_Endurant ; rdfs:range gsoc:Physical_Endurant ; rdfs:subPropertyOf gsoc:constantlySpecDependsOn ; rdfs:subPropertyOf gsoc:dependsOn ; . gsoc:mutuallySpecDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Mutual specific dependence: the relata specifically depend on each other."@en ; rdfs:subPropertyOf gsoc:specificallyDependsOn ; . gsoc:nextTimeInterval rdf:type owl:ObjectProperty ; rdfs:comment "Source TimeInterval ends at the beginning of the target TimeInterval; there is no intervening time; inverse of age_met_by"@en ; rdfs:domain gsoc:Time_Interval ; rdfs:range gsoc:Time_Interval ; rdfs:subPropertyOf gsoc:timeMeets ; . gsoc:occupiedBy rdf:type owl:ObjectProperty ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region gsoc:Time_Region ) ; ] ; rdfs:subPropertyOf gsoc:hasDependent ; owl:inverseOf gsoc:occupies ; . gsoc:occupies rdf:type owl:ObjectProperty ; rdfs:comment "Occupation of a region of space or time, directly or indirectly"@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Abstract_Endurant ; ] ; rdfs:range [ rdf:type owl:Class ; owl:unionOf ( gsoc:Spatial_Region gsoc:Time_Region ) ; ] ; rdfs:subPropertyOf gsoc:constantlyGenDependsOn ; . gsoc:occupiesSpace rdf:type owl:ObjectProperty ; rdfs:comment "Occupation of a region of space, directly or indirectly"@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Notional_Endurant gsoc:Spatial_Region ) ; ] ; ] ; rdfs:range gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:occupies ; rdfs:subPropertyOf gsoc:spatiallyEquals ; owl:inverseOf gsoc:spaceOccupiedBy ; . gsoc:occupiesSpaceDirectly rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The occupation of a spatial region by a material endurant."@en ; rdfs:domain gsoc:Material_Endurant ; rdfs:range gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:occupiesSpace ; owl:inverseOf gsoc:spaceOccupiedDirectlyBy ; owl:propertyDisjointWith gsoc:occupiesSpaceIndirectly ; . gsoc:occupiesSpaceIndirectly rdf:type owl:ObjectProperty ; rdfs:comment "Occupies space indirectly."@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Physical_Endurant ; ] ; rdfs:range gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:occupiesSpace ; owl:inverseOf gsoc:spaceOccupiedIndirectlyBy ; owl:propertyDisjointWith gsoc:occupiesSpaceDirectly ; . gsoc:occupiesTime rdf:type owl:ObjectProperty ; rdfs:comment "Occupation of a region of time, directly or indirectly"@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf [ rdf:type owl:Class ; owl:unionOf ( gsoc:Abstract_Endurant gsoc:Time_Region ) ; ] ; ] ; rdfs:range gsoc:Time_Region ; rdfs:subPropertyOf gsoc:occupies ; rdfs:subPropertyOf gsoc:timeEquivalentTo ; owl:inverseOf gsoc:timeOccupiedBy ; . gsoc:occupiesTimeDirectly rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "The occupation of a time region by a process or event."@en ; rdfs:domain [ rdf:type owl:Class ; owl:unionOf ( gsoc:Event gsoc:Process ) ; ] ; rdfs:range gsoc:Time_Region ; rdfs:subPropertyOf gsoc:occupiesTime ; owl:inverseOf gsoc:timeOccupiedDirectlyBy ; owl:propertyDisjointWith gsoc:occupiesTimeIndirectly ; . gsoc:occupiesTimeIndirectly rdf:type owl:ObjectProperty ; rdfs:comment "Occupies a temporal region indirectly."@en ; rdfs:domain [ rdf:type owl:Class ; owl:complementOf gsoc:Perdurant ; ] ; rdfs:range gsoc:Time_Region ; rdfs:subPropertyOf gsoc:occupiesTime ; owl:inverseOf gsoc:timeOccupiedIndirectlyBy ; . gsoc:ontology rdf:type owl:Ontology ; dct:bibliographicCitation "Brodaric, B., and Richard, S.M., 2021, The GeoScience Ontology Reference: Geological Survey of Canada Open File 8796, 34 p., https://doi.org/10.4095/328296" ; dct:created "2020-03-26"^^xsd:date ; dct:creator gsoc:boyan_brodaric ; dct:creator gsoc:stephen_richard ; dct:license ; dct:modified "2021-03-26"^^xsd:date ; dct:publisher "ARC Loop3D project; https://loop3d.org/" ; dct:publisher "Geological Survey of Canada, Natural Resources Canada, Government of Canada" ; dct:rights "Copyright (c) 2021 Government of Canada" ; rdfs:comment "Unary predicates are represented by owl classes, binary predicates by rdf properties. This ontology defines common types and relations that are further specialized by geologic entities in other modules"@en ; rdfs:label "Geoscience Ontology, Common"@en ; skos:definition "Common elements for geoscience ontology"@en ; schema:codeRepository "https://github.com/Loop3D/GKM" ; . gsoc:parthood rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected relation between a part and whole."@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:partialEnvelope rdf:type owl:ObjectProperty ; rdfs:comment "Proposed for 'wraps around' relation." ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:previousTimeInterval rdf:type owl:ObjectProperty ; rdfs:comment "Source TimeInterval starts at the end of the target TimeInterval; there is no intervening time; inverse of meets"@en ; rdfs:domain gsoc:Time_Interval ; rdfs:range gsoc:Time_Interval ; rdfs:subPropertyOf gsoc:timeMetBy ; . gsoc:production rdf:type owl:IrreflexiveProperty ; rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undirected relation between the input and output of some process or event."@en ; rdfs:label "Production "@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:reference rdf:type owl:IrreflexiveProperty ; rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "Undircted relation between an entity and its reference system"@en ; rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ; . gsoc:spaceOccupiedBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:occupiedBy ; . gsoc:spaceOccupiedDirectlyBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:spaceOccupiedBy ; . gsoc:spaceOccupiedIndirectlyBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Spatial_Region ; rdfs:subPropertyOf gsoc:spaceOccupiedBy ; . gsoc:spatialOverlaps rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "The subject and object spatial regions have some but not all points in common, they have the same dimension, and the intersection of the interiors of the two geometries has the same dimension as the geometries themselves"@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:spatiallyDisjoint rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:spatiallyEquals rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "a and b are topologically equal. Two geometries are topologically equal if their interiors intersect and no part of the interior or boundary of one geometry intersects the exterior of the other"@en ; rdfs:comment "the boundary of the subject intersects only the boundary of the object spatial region, and the interior of the subject intersects only the interior of the obect spatial region."@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; . gsoc:spatiallyTouches rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ; rdfs:comment "subject and object regions have at least one point in common, but their interiors do not intersect. The boundary and only the boundary of the subject intersects the boundary of the object spatial region"@en ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; skos:altLabel "patially meet"@en ; . gsoc:spatio-temporallyDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Dependence of an entity on another, requiring overlap (full or partial) in space and time between the entities."@en ; rdfs:subPropertyOf gsoc:externallySpecDependsOn ; rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ; rdfs:subPropertyOf gsoc:timeIntersects ; owl:propertyDisjointWith gsoc:spatiallyDisjoint ; . gsoc:specificallyDependsOn rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Directed specific ontological dependence in which something depends on something else, excluding self-dependence and other problematic border cases."@en ; rdfs:subPropertyOf gsoc:genericallyDependsOn ; . gsoc:staticHostedBy rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Specifically dependent hosting: the feature could not exist essentially and retain identity without the specific host."@en ; rdfs:subPropertyOf gsoc:hostedBy ; rdfs:subPropertyOf gsoc:specificallyDependsOn ; . gsoc:staticHosts rdf:type owl:ObjectProperty ; rdfs:comment "Hosting a feature in which the feature is specifically dependent on the hsot."@en ; rdfs:subPropertyOf gsoc:hosts ; owl:inverseOf gsoc:staticHostedBy ; . gsoc:stephen_richard rdf:type owl:NamedIndividual ; rdf:type schema:Person ; rdfs:comment "e-mail: mailto:smrTucson@gmail.com " ; rdfs:label "Dr. Stephen M. Richard" ; schema:identifier ; schema:name "Dr. Stephen M. Richard" ; . gsoc:timeContains rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "target interval is completely within the source interval; source begins before target and ends after target. inverse of During"@en ; rdfs:subPropertyOf gsoc:timeIncludes ; rdfs:subPropertyOf gsoc:timeIntersects ; owl:inverseOf gsoc:timeDuring ; . gsoc:timeDisjoint rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "The union of Allen Before and After; Age intervals of subject and object do not touch or intersect."@en ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; owl:propertyDisjointWith gsoc:timeOverlappedBy ; . gsoc:timeDuring rdf:type owl:ObjectProperty ; rdfs:comment "interval A is entirely contained in interval B; B starts before A and B ends after A. Allen relation."@en ; rdfs:subPropertyOf gsoc:timeIncludedBy ; rdfs:subPropertyOf gsoc:timeIntersects ; . gsoc:timeEquivalentTo rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "A is equivalent to B if they represent expressions of the same Time_Region. Same as Allen A Equals B."@en ; rdfs:comment "One of six binary relations between geologic events defined by Burns (1975)"@en ; rdfs:subPropertyOf gsoc:timeIncludedBy ; rdfs:subPropertyOf gsoc:timeIncludes ; rdfs:subPropertyOf gsoc:timeIntersects ; . gsoc:timeFinishedBy rdf:type owl:ObjectProperty ; rdfs:comment "source interval begins before target; source and target end simultaneously; inverse of finishes"@en ; rdfs:subPropertyOf gsoc:timeIncludes ; rdfs:subPropertyOf gsoc:timeIntersects ; owl:inverseOf gsoc:timeFinishes ; . gsoc:timeFinishes rdf:type owl:ObjectProperty ; rdfs:comment "Target TimeRegion starts before source TimeRegion, and source and target TimeRegion end at the same instant. Allen Relation. Use to assign a younger age boundary for a Time Region (instant or interval)."@en ; rdfs:subPropertyOf gsoc:timeIncludedBy ; rdfs:subPropertyOf gsoc:timeIntersects ; . gsoc:timeIncludedBy rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:subPropertyOf gsoc:timeInclusion ; owl:inverseOf gsoc:timeIncludes ; . gsoc:timeIncludes rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:subPropertyOf gsoc:timeInclusion ; . gsoc:timeInclusion rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; . gsoc:timeIncomparableTo rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:comment "A is incomparable to be if there is not enough information to determine an age relationship"@en ; rdfs:comment "One of six binary relations between geologic events defined by Burns (1975)"@en ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; . gsoc:timeIntersects rdf:type owl:ObjectProperty ; rdf:type owl:SymmetricProperty ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; . gsoc:timeMeets rdf:type owl:ObjectProperty ; rdfs:comment "A covers B -- A is immediately younger than B (there are no events between A and B) Same as Allen A meets B."@en ; rdfs:comment "One of six binary relations between geologic events defined by Burns (1975)"@en ; rdfs:comment "Source TimeRegion ends at the beginning of the target TimeRegion; there is no intervening time and boundary instants are distinct; inverse of age_met_by"@en ; rdfs:subPropertyOf gsoc:timeDisjoint ; rdfs:subPropertyOf gsoc:timeOlderThan ; owl:inverseOf gsoc:timeMetBy ; . gsoc:timeMetBy rdf:type owl:ObjectProperty ; rdfs:comment "Source TimeRegion starts at the end of the target TimeRegion; there is no intervening time, and the boundary instants are distinct; inverse of meets"@en ; rdfs:subPropertyOf gsoc:timeDisjoint ; rdfs:subPropertyOf gsoc:timeYoungerThan ; . gsoc:timeOccupiedBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Time_Region ; rdfs:subPropertyOf gsoc:occupiedBy ; . gsoc:timeOccupiedDirectlyBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Time_Region ; rdfs:subPropertyOf gsoc:timeOccupiedBy ; . gsoc:timeOccupiedIndirectlyBy rdf:type owl:ObjectProperty ; rdfs:domain gsoc:Time_Region ; rdfs:subPropertyOf gsoc:timeOccupiedBy ; . gsoc:timeOlderThan rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Age associated with subject is entirely prior to age associated with object"@en ; rdfs:comment "Event A is older than event B if A has occurred prior to B. (Burns, 1975; Mathematical Geology, Vol. 7, No. 4) Equivalent to Allen A Before B."@en ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; owl:inverseOf gsoc:timeYoungerThan ; . gsoc:timeOverlappedBy rdf:type owl:ObjectProperty ; dct:source "https://en.wikipedia.org/wiki/Allen%27s_interval_algebra" ; rdfs:comment "Target event starts after source event, and target event ends after source event ends."@en ; rdfs:subPropertyOf gsoc:timeIntersects ; owl:inverseOf gsoc:timeOverlaps ; . gsoc:timeOverlaps rdf:type owl:ObjectProperty ; rdfs:comment "target interval starts before source interval ends, and target inteval ends after source interval. Allen Relation"@en ; rdfs:subPropertyOf gsoc:timeIntersects ; . gsoc:timePrecededBy rdf:type owl:ObjectProperty ; rdfs:subPropertyOf gsoc:timeDisjoint ; rdfs:subPropertyOf gsoc:timeYoungerThan ; owl:inverseOf gsoc:timePrecedes ; . gsoc:timePrecedes rdf:type owl:ObjectProperty ; rdfs:subPropertyOf gsoc:timeDisjoint ; rdfs:subPropertyOf gsoc:timeOlderThan ; . gsoc:timeStartedBy rdf:type owl:ObjectProperty ; rdfs:comment "source and target start simultaneously; source interval ends after target; inverse of starts"@en ; rdfs:subPropertyOf gsoc:timeIncludes ; rdfs:subPropertyOf gsoc:timeIntersects ; owl:inverseOf gsoc:timeStarts ; . gsoc:timeStarts rdf:type owl:ObjectProperty ; rdfs:comment "Source and target TimeRegions start at same instant, target TimeRegion ends after source TimeRegion; Allen Relation. Assign an older age boundary for a time interval."@en ; rdfs:subPropertyOf gsoc:timeIncludedBy ; rdfs:subPropertyOf gsoc:timeIntersects ; . gsoc:timeYoungerThan rdf:type owl:ObjectProperty ; rdf:type owl:TransitiveProperty ; rdfs:comment "Age associated with subject is entirely after the age associated with object"@en ; rdfs:comment "Event A is younger than event B if A has occurred after B. Same as Allen A After B. (Burns, 1975; Mathematical Geology, Vol. 7, No. 4)"@en ; rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ; .