@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; rdfs:comment "This ontology models geographic amounts"@en . ################################################################# # Object Properties ################################################################# ### http://geographicknowledge.de/vocab/AMMO#hasControl rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range . ### http://geographicknowledge.de/vocab/AMMO#hasControlD rdf:type owl:ObjectProperty ; owl:inverseOf :isControlDOf ; rdfs:domain ; rdfs:range . ### http://geographicknowledge.de/vocab/AMMO#hasElement rdf:type owl:ObjectProperty ; owl:inverseOf . ### http://geographicknowledge.de/vocab/AMMO#hasMeasure rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range . ### http://geographicknowledge.de/vocab/AMMO#hasMeasureD rdf:type owl:ObjectProperty ; owl:inverseOf :isMeasureDOf ; rdfs:domain ; rdfs:range . ### http://geographicknowledge.de/vocab/AMMO#isElementOf rdf:type owl:ObjectProperty . ### http://geographicknowledge.de/vocab/GeoAMMO#ExtensiveWRT :ExtensiveWRT rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range . ### http://geographicknowledge.de/vocab/GeoAMMO#isControlDOf :isControlDOf rdf:type owl:ObjectProperty . ### http://geographicknowledge.de/vocab/GeoAMMO#isControlOfMF :isControlOfMF rdf:type owl:ObjectProperty ; owl:propertyChainAxiom ( :isControlDOf ) . ### http://geographicknowledge.de/vocab/GeoAMMO#isMeasureDOf :isMeasureDOf rdf:type owl:ObjectProperty . ### http://geographicknowledge.de/vocab/GeoAMMO#isMeasureOfMF :isMeasureOfMF rdf:type owl:ObjectProperty ; owl:propertyChainAxiom ( :isMeasureDOf ) . ################################################################# # Classes ################################################################# ### http://geographicknowledge.de/vocab/AMMO#Additive rdf:type owl:Class ; rdfs:comment "Property of a measurement function which holds that sums in the funtion's domain are preserved in the range." . ### http://geographicknowledge.de/vocab/AMMO#Amount rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , , , , , , :AccumulationM , :CapacityM , :ContentM , :DurationM , :DurationMagnitude , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SizeMagnitude , :SpacetimeM , :TimespaceM , :ValueM , :ValueMagnitude ; rdfs:comment "Mereological quantity." . ### http://geographicknowledge.de/vocab/AMMO#AmountD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , , , , , , :AccumulationMF , :CapacityMF , :ContentMF , :DurationMF , :DurationMagnitudeD , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SizeMagnitudeD , :SpacetimeMF , :TimespaceMF , :ValueMF , :ValueMagnitudeD ; rdfs:comment "Domain of mereological quantities." . ### http://geographicknowledge.de/vocab/AMMO#AmountOfAmountM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , , :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude ; rdfs:comment "A measurement from some amount to another amount" . ### http://geographicknowledge.de/vocab/AMMO#AmountOfAmountMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; owl:disjointWith , , , , , :ContentAmountD , :DurationMF , :DurationMagnitudeD , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD ; rdfs:comment "A measurement function where both the the domain and range are populated by amounts." . ### http://geographicknowledge.de/vocab/AMMO#ArchimedeanMagnitude rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , , , :AccumulationM , :CapacityM , :ContentAmount , :ContentM , :DurationM , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SpaceAmount , :SpacetimeM , :TimeAmount , :TimespaceM , :ValueM ; rdfs:comment "Quantities that are sizes, extents, or effects of amounts in terms of a unit." . ### http://geographicknowledge.de/vocab/AMMO#ArchimedeanMagnitudeD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , , , :AccumulationMF , :CapacityMF , :ContentAmountD , :ContentMF , :DurationMF , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF ; rdfs:comment "Domain of quantities that are sizes, extents, or effects of amounts in terms of a unit." . ### http://geographicknowledge.de/vocab/AMMO#ExtensiveM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude ; rdfs:comment "A measurement where both the argument and value are additive and subtractive with respect to other measurements of the same kind (i.e. those that stem from the same measurement function)." . ### http://geographicknowledge.de/vocab/AMMO#ExtensiveMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( :Extensive ) ; rdf:type owl:Class ] ; rdfs:subClassOf , :Extensive ; owl:disjointWith , , , , :ContentAmountD , :DurationMagnitudeD , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMagnitudeD ; rdfs:comment "A measurement function where additive and subtractive relations in the domain are embedded in the range." . ### http://geographicknowledge.de/vocab/AMMO#IntensiveM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , , :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude ; rdfs:comment "A measurement that is not an extensive relation." . ### http://geographicknowledge.de/vocab/AMMO#IntensiveMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf :Extensive ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; owl:disjointWith , , , :AccumulationMF , :CapacityMF , :ContentAmountD , :ContentMF , :DurationMF , :DurationMagnitudeD , :DynamicMF , :Extensive , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF , :ValueMagnitudeD ; rdfs:comment "A measurement function that is intensive, i.e. not extensive." . ### http://geographicknowledge.de/vocab/AMMO#Magnitude rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , :AccumulationM , :CapacityM , :ContentAmount , :ContentM , :DurationM , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SpaceAmount , :SpacetimeM , :TimeAmount , :TimespaceM , :ValueM ; rdfs:comment "Quantities that denote a degree of greatness, i.e. a size or effect." . ### http://geographicknowledge.de/vocab/AMMO#MagnitudeD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , :AccumulationMF , :CapacityMF , :ContentAmountD , :ContentMF , :DurationMF , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF ; rdfs:comment "Domain of quantities that denote a degree of greatness, i.e. a size or effect." . ### http://geographicknowledge.de/vocab/AMMO#MagnitudeOfAmountM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude ; rdfs:comment "A measurement from an amount to a magnitude." . ### http://geographicknowledge.de/vocab/AMMO#MagnitudeOfAmountMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf ; owl:disjointWith , , :AccumulationMF , :CapacityMF , :ContentAmountD , :ContentMF , :DurationMagnitudeD , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMagnitudeD , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMagnitudeD ; rdfs:comment "A measurement function with an amount as control and a magnitude as measure" . ### http://geographicknowledge.de/vocab/AMMO#Measurement rdf:type owl:Class ; rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith , , :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude ; rdfs:comment "A relation which may be written as a tuple (x,m,y) where x,y are quantities and m refers to a measurement function such that x(m)=y." . ### http://geographicknowledge.de/vocab/AMMO#MeasurementFunction rdf:type owl:Class ; rdfs:subClassOf [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; owl:disjointWith , , :ContentAmountD , :DurationMagnitudeD , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMagnitudeD ; rdfs:comment "A function that takes some quantity and yields another quantity." . ### http://geographicknowledge.de/vocab/AMMO#ProportionalMagnitude rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith :AccumulationM , :CapacityM , :ContentAmount , :ContentM , :DurationM , :DurationMagnitude , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SizeMagnitude , :SpaceAmount , :SpacetimeM , :TimeAmount , :TimespaceM , :ValueM , :ValueMagnitude ; rdfs:comment "Magnitude that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors." . ### http://geographicknowledge.de/vocab/AMMO#ProportionalMagnitudeD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith :AccumulationMF , :CapacityMF , :ContentAmountD , :ContentMF , :DurationMF , :DurationMagnitudeD , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF , :ValueMagnitudeD ; rdfs:comment "Domain of magnitudes that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors." . ### http://geographicknowledge.de/vocab/AMMO#Quantity rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith :AccumulationM , :CapacityM , :ContentM , :DurationM , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SpacetimeM , :TimespaceM , :ValueM ; rdfs:comment "That by which the absolute or relative greatness of things and stuff are contained." . ### http://geographicknowledge.de/vocab/AMMO#QuantityDomain rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] ; owl:disjointWith :AccumulationMF , :CapacityMF , :ContentMF , :DurationMF , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SpacetimeMF , :TimespaceMF , :ValueMF . ### http://geographicknowledge.de/vocab/AMMO#Subtractive rdf:type owl:Class ; rdfs:comment "Property of a measurement function which holds that subtraction relations in the funtion's domain are preserved in the range." . ### http://geographicknowledge.de/vocab/GeoAMMO#AccumulationAmount :AccumulationAmount rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :isMeasureOfMF ; owl:someValuesFrom :AccumulationMF ] ; rdfs:subClassOf ; rdfs:comment "An accumulation amount is an element of an amount domain that is measured by an accumulation measurement function. The latter is controlled by some amount of time."@en . ### http://geographicknowledge.de/vocab/GeoAMMO#AccumulationM :AccumulationM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :AccumulationMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :AccumulationMF ] ; owl:disjointWith :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#AccumulationMF :AccumulationMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :ContentAmountD , :DurationMF , :DurationMagnitudeD , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#CapacityM :CapacityM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :CapacityMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :CapacityMF ] ; owl:disjointWith :ContentAmount , :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#CapacityMF :CapacityMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :ContentAmountD , :DurationMF , :DurationMagnitudeD , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#ContentAmount :ContentAmount rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] ; owl:disjointWith :ContentM , :DurationM , :DurationMagnitude , :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SizeMagnitude , :SpacetimeM , :TimespaceM , :ValueM , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#ContentAmountD :ContentAmountD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] ; owl:disjointWith :ContentMF , :DurationMF , :DurationMagnitudeD , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SizeMagnitudeD , :SpacetimeMF , :TimespaceMF , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#ContentM :ContentM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentMF ] ; owl:disjointWith :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#ContentMF :ContentMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :DurationMF , :DurationMagnitudeD , :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#DurationM :DurationM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DurationMagnitude ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DurationMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DurationMF ] ; owl:disjointWith :DurationMagnitude , :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#DurationMF :DurationMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DurationMagnitudeD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :DurationMagnitudeD , :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMagnitudeD , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#DurationMagnitude :DurationMagnitude rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith :DynamicM , :IntervalM , :OccupancyM , :RegionM , :SizeM , :SizeMagnitude , :SpaceAmount , :SpacetimeM , :TimeAmount , :TimespaceM , :ValueM , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#DurationMagnitudeD :DurationMagnitudeD rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith :DynamicMF , :IntervalMF , :OccupancyMF , :RegionMF , :SizeMF , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF . ### http://geographicknowledge.de/vocab/GeoAMMO#DynamicM :DynamicM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DynamicMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :DynamicMF ] ; owl:disjointWith :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#DynamicMF :DynamicMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#Extensive :Extensive rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( ) ; rdf:type owl:Class ] ; rdfs:subClassOf , . ### http://geographicknowledge.de/vocab/GeoAMMO#IntervalM :IntervalM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :IntervalMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :IntervalMF ] ; owl:disjointWith :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#IntervalMF :IntervalMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#OccupancyM :OccupancyM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :OccupancyMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :OccupancyMF ] ; owl:disjointWith :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#OccupancyMF :OccupancyMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#RegionM :RegionM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :RegionMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :RegionMF ] ; owl:disjointWith :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#RegionMF :RegionMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :SizeMF , :SizeMagnitudeD , :SpaceAmountD , :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#SizeM :SizeM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SizeMagnitude ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SizeMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SizeMF ] ; owl:disjointWith :SizeMagnitude , :SpaceAmount , :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#SizeMF :SizeMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SizeMagnitudeD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :SizeMagnitudeD , :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#SizeMagnitude :SizeMagnitude rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith :SpaceAmount , :SpacetimeM , :TimeAmount , :TimespaceM , :ValueM , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#SizeMagnitudeD :SizeMagnitudeD rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith :SpaceAmountD , :SpacetimeMF , :TimeAmountD , :TimespaceMF , :ValueMF . ### http://geographicknowledge.de/vocab/GeoAMMO#SpaceAmount :SpaceAmount rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] ; owl:disjointWith :SpacetimeM , :TimespaceM , :ValueM , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#SpaceAmountD :SpaceAmountD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] ; owl:disjointWith :SpacetimeMF , :TimespaceMF , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#SpacetimeM :SpacetimeM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpacetimeMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpacetimeMF ] ; owl:disjointWith :TimeAmount , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#SpacetimeMF :SpacetimeMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :TimeAmountD , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#TimeAmount :TimeAmount rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] ; owl:disjointWith :TimespaceM , :ValueM , :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#TimeAmountD :TimeAmountD rdf:type owl:Class ; rdfs:subClassOf , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] ; owl:disjointWith :TimespaceMF , :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#TimespaceM :TimespaceM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmount ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimespaceMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimespaceMF ] ; owl:disjointWith :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#TimespaceMF :TimespaceMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :TimeAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :SpaceAmountD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :ValueMF , :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#ValueM :ValueM rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmount ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ValueMagnitude ] ) ; rdf:type owl:Class ] , [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ValueMF ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , , [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ValueMF ] ; owl:disjointWith :ValueMagnitude . ### http://geographicknowledge.de/vocab/GeoAMMO#ValueMF :ValueMF rdf:type owl:Class ; owl:equivalentClass [ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ContentAmountD ] [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom :ValueMagnitudeD ] ) ; rdf:type owl:Class ] ; rdfs:subClassOf , ; owl:disjointWith :ValueMagnitudeD . ### http://geographicknowledge.de/vocab/GeoAMMO#ValueMagnitude :ValueMagnitude rdf:type owl:Class ; rdfs:subClassOf . ### http://geographicknowledge.de/vocab/GeoAMMO#ValueMagnitudeD :ValueMagnitudeD rdf:type owl:Class ; rdfs:subClassOf . ################################################################# # Individuals ################################################################# ### http://geographicknowledge.de/vocab/GeoAMMO#Ams2021Births :Ams2021Births rdf:type owl:NamedIndividual , , , :ContentAmount ; :NetherlandsRegionsBirthsPerYearAfter2000 . ### http://geographicknowledge.de/vocab/GeoAMMO#Ams2021BirthsMeasurement :Ams2021BirthsMeasurement rdf:type owl:NamedIndividual , , , , :AccumulationM , :CapacityM ; :AmsterdamRegion , ; :Ams2021Births ; :NetherlandsRegionsBirthsPerYearAfter2000MeasurementFunction . ### http://geographicknowledge.de/vocab/GeoAMMO#AmsterdamRegion :AmsterdamRegion rdf:type owl:NamedIndividual , , , :SpaceAmount ; :NetherlandsRegions . ### http://geographicknowledge.de/vocab/GeoAMMO#NetherlandsRegions :NetherlandsRegions rdf:type owl:NamedIndividual , , , :SpaceAmountD ; :AmsterdamRegion . ### http://geographicknowledge.de/vocab/GeoAMMO#NetherlandsRegionsBirthsPerYearAfter2000 :NetherlandsRegionsBirthsPerYearAfter2000 rdf:type owl:NamedIndividual , , , :ContentAmountD ; :Ams2021Births . ### http://geographicknowledge.de/vocab/GeoAMMO#NetherlandsRegionsBirthsPerYearAfter2000MeasurementFunction :NetherlandsRegionsBirthsPerYearAfter2000MeasurementFunction rdf:type owl:NamedIndividual , , , , , , :AccumulationMF , :CapacityMF , :Extensive , [ owl:intersectionOf ( ) ; rdf:type owl:Class ] ; :NetherlandsRegions , :YearsAfter2000 ; :Ams2021BirthsMeasurement ; :NetherlandsRegionsBirthsPerYearAfter2000 . ### http://geographicknowledge.de/vocab/GeoAMMO#YearsAfter2000 :YearsAfter2000 rdf:type owl:NamedIndividual , , , :TimeAmountD ; . ### http://geographicknowledge.de/vocab/GeoAMMO#2021 rdf:type owl:NamedIndividual , , , :TimeAmount ; :YearsAfter2000 . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( :DurationMagnitude :SizeMagnitude :ValueMagnitude ) ] . ### Generated by the OWL API (version 4.5.6.2018-09-06T00:27:41Z) https://github.com/owlcs/owlapi