saref4agri.ttl 47.9 KB
Newer Older
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dcterms: <http://purl.org/dc/terms/>.
@prefix s4agri: <https://saref.etsi.org/saref4agri/> .
@prefix saref: <https://saref.etsi.org/core/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix sosa: <http://www.w3.org/ns/sosa/> .
@prefix ssn: <http://www.w3.org/ns/ssn/> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vann:    <http://purl.org/vocab/vann/>.
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
@prefix wgs84: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@base <https://saref.etsi.org/saref4agri/> .

<https://saref.etsi.org/saref4agri/> rdf:type owl:Ontology ;
  dcterms:description "This ontology extends the SAREF ontology for the Agricultural domain. This work has been developed in the context of the STF 534 (https://portal.etsi.org/STF/STFs/STFHomePages/STF534.aspx), which was established with the goal to create three SAREF extensions, one of them for the Agricultural domain."@en ;
  dcterms:title "SAREF4AGRI: an extension of SAREF for the agriculture and food domain"@en ;
  dcterms:created "2019-04-15"^^xsd:date ;
  dcterms:creator <http://w3id.org/people/mpoveda>, 
    <http://www.garcia-castro.com/foaf.rdf#me> ,
    <https://www.linkedin.com/in/lauradaniele> ,
    <https://www.linkedin.com/in/mderoode> ;
  dcterms:contributor <https://www.researchgate.net/profile/Jack_Verhoosel> ;
  dcterms:description "SAREF4AGRI is an extension of SAREF for the agriculture and food domain. SAREF4AGRI is specified and published by ETSI in the TS 103 410-6 associated to this ontology file. The list of use cases, standards and requirements that guided the creation of SAREF4AGRI are described in the associated ETSI TR 103 511."@en ;
  dcterms:issued "2019-04-30"^^xsd:date ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:modified "2020-06-05"^^xsd:date ;
  dcterms:publisher <https://www.etsi.org/> ;
  dcterms:source <https://forge.etsi.org/rep/SAREF/saref4agri/> ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:seeAlso <https://www.etsi.org/deliver/etsi_ts/103400_103499/10341006/01.01.02_60/ts_10341006v010102p.pdf> ;
  vann:preferredNamespacePrefix "s4agri" ;
  vann:preferredNamespaceUri "https://saref.etsi.org/saref4agri/" ;
  owl:versionIRI <https://saref.etsi.org/saref4agri/v1.1.2/> ;
  owl:versionInfo "v1.1.2" .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/elements/1.1/creator
dcterms:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/description
dcterms:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
dcterms:title rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/contributor
dcterms:contributor rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/created
dcterms:created rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/creator
dcterms:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/description
dcterms:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/issued
dcterms:issued rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/license
dcterms:license rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/modified
dcterms:modified rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/publisher
dcterms:publisher rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/source
dcterms:source rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/title
dcterms:title rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .

wgs84:SpatialThing a owl:Class .

###  http://www.w3.org/2003/01/geo/wgs84_pos#alt
wgs84:alt rdf:type owl:DatatypeProperty ;
  rdfs:comment "The WGS84 altitude of a SpatialThing (decimal meters above the local reference ellipsoid)."@en ;
  rdfs:label "altitude"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:domain wgs84:SpatialThing .


###  http://www.w3.org/2003/01/geo/wgs84_pos#lat
wgs84:lat rdf:type owl:DatatypeProperty ;
  rdfs:comment "The WGS84 latitude of a SpatialThing (decimal degrees)."@en ;
  rdfs:label "latitude"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:domain wgs84:SpatialThing .


###  http://www.w3.org/2003/01/geo/wgs84_pos#location
wgs84:location rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment """The relation between something and the point, 
 or other geometrical thing in space, where it is.  For example, the realtionship between
 a radio tower and a Point with a given lat and long.
 Or a relationship between a park and its outline as a closed arc of points, or a road and
 its location as a arc (a sequence of points).
 Clearly in practice there will be limit to the accuracy of any such statement, but one would expect
 an accuracy appropriate for the size of the object and uses such as mapping .
 """@en ;
  rdfs:label "location"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf foaf:based_near .


###  http://www.w3.org/2003/01/geo/wgs84_pos#long
wgs84:long rdf:type owl:ObjectProperty ;
  rdfs:comment "The WGS84 longitude of a SpatialThing (decimal degrees)."@en ;
  rdfs:label "longitude"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:domain wgs84:SpatialThing .


###  http://www.w3.org/2004/02/skos/core#definition
<http://www.w3.org/2004/02/skos/core#definition> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#prefLabel
<http://www.w3.org/2004/02/skos/core#prefLabel> rdf:type owl:AnnotationProperty .


###  http://www.w3.org/ns/prov#hadPrimarySource
<http://www.w3.org/ns/prov#hadPrimarySource> rdf:type owl:AnnotationProperty .


###  http://xmlns.com/foaf/0.1/based_near
foaf:based_near rdf:type owl:ObjectProperty .


#################################################################
#    Datatypes
#################################################################

###  http://www.w3.org/2001/XMLSchema#date
xsd:date rdf:type rdfs:Datatype .


###  http://www.w3.org/2001/XMLSchema#duration
xsd:duration rdf:type rdfs:Datatype .


#################################################################
#    Object Properties
#################################################################

###  http://purl.obolibrary.org/obo/TAXRANK_1000000
<http://purl.obolibrary.org/obo/TAXRANK_1000000> rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "has taxon rank"@en .


###  http://www.opengis.net/ont/geosparql#hasGeometry
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:hasGeometry rdf:type owl:ObjectProperty ;
  rdfs:domain geo:Feature ;
  rdfs:range geo:Geometry ;
  rdfs:comment "A spatial representation for a given feature."@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;
  rdfs:label "has geometry"@en .


###  http://www.opengis.net/ont/geosparql#sfContains
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:sfContains rdf:type owl:ObjectProperty ;
  rdfs:domain geo:SpatialObject ;
  rdfs:range geo:SpatialObject ;
  rdfs:comment "Exists if the subject SpatialObject spatially contains the object SpatialObject. DE-9IM: T*****FF*"@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> ,
                     <http://www.opengis.net/spec/geosparql/1.0> ;
  rdfs:label "contains"@en .


###  http://www.opengis.net/ont/geosparql#sfWithin
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:sfWithin rdf:type owl:ObjectProperty ;
  rdfs:domain geo:SpatialObject ;
  rdfs:range geo:SpatialObject ;
  rdfs:comment "Exists if the subject SpatialObject is spatially within the object SpatialObject. DE-9IM: T*F**F***"@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> ,
                   <http://www.opengis.net/spec/geosparql/1.0> ;
  rdfs:label "within"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
sosa:hosts rdf:type owl:ObjectProperty ;
      owl:inverseOf sosa:isHostedBy ;
  rdfs:comment "Relation between a platform and the systems it hosts."@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/sosa/> ;
  rdfs:label "host"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
sosa:isHostedBy rdf:type owl:ObjectProperty ;
  rdfs:comment "Relation between a system and its hosting platform."@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/sosa/> ;
  rdfs:label "is hosted by"@en .


###  http://www.w3.org/ns/ssn/deployedOnPlatform
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:deployedOnPlatform rdf:type owl:ObjectProperty ;
      owl:inverseOf ssn:inDeployment ;
  rdfs:comment "Relation between a deployment and the platform(s) involved in the deployment."@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "deployed on platform"@en .


###  http://www.w3.org/ns/ssn/deployedSystem
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:deployedSystem rdf:type owl:ObjectProperty ;
      owl:inverseOf ssn:hasDeployment ;
  rdfs:comment "Relation between a deployment and the system deployed."@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "deployed system"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:hasDeployment rdf:type owl:ObjectProperty ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "has deployment"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:hasSubSystem rdf:type owl:ObjectProperty ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "has subsystem"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:inDeployment rdf:type owl:ObjectProperty ;
  rdfs:comment "Relation between a platform and the deployment(s) that takes place in the platform."@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "in deployment"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
foaf:member rdf:type owl:ObjectProperty ;
  rdfs:label "member"@en .


###  https://saref.etsi.org/saref4agri/contains
s4agri:contains rdf:type owl:ObjectProperty ;
  rdfs:comment "contains"@en ;
  rdfs:label "contains"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf geo:sfContains ;
  owl:inverseOf s4agri:isContainedIn .


###  https://saref.etsi.org/saref4agri/generates
s4agri:generates rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf saref:hasProperty ;
  rdfs:comment "A relation to represent the yield generated by a Crop."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "generates"@en .


###  https://saref.etsi.org/saref4agri/hasDeploymentPeriod
s4agri:hasDeploymentPeriod rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation to indicate the temporal duration or period of a deployment."@en ,
  rdfs:label "has deployment period"@en .


###  https://saref.etsi.org/saref4agri/hasID
s4agri:hasID rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf owl:topObjectProperty ;
  rdfs:range s4agri:ID ;
  rdfs:comment "A relation to express the unique identifier of an animal."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "has id"@en .


###  https://saref.etsi.org/saref4agri/hasMember
s4agri:hasMember rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf s4agri:isMemberOf ;
  rdfs:comment "A relation to represent  the members of an AnimalGroup."@en ;
  rdfs:label "has member"@en .


###  https://saref.etsi.org/saref4agri/hasReceived
s4agri:hasReceived rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf s4agri:receives ;
  rdfs:comment "has received"@en ;
  rdfs:label "has received"@en .


###  https://saref.etsi.org/saref4agri/isContainedIn
s4agri:isContainedIn rdf:type owl:ObjectProperty ;
  rdfs:comment "is contained in"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "is contained in"@en .


###  https://saref.etsi.org/saref4agri/isDeployedAtSpace
s4agri:isDeployedAtSpace rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation to indicate the geographical componet of a deployment."@en ,
  rdfs:label "is deployed at space"@en .


###  https://saref.etsi.org/saref4agri/isLocatedIn
s4agri:isLocatedIn rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf s4agri:isLocationOf ;
  rdfs:comment "A relation to express the physical location of a saref4agri entity (e.g., an animal)"@en ;
  rdfs:label "is located in"@en .


###  https://saref.etsi.org/saref4agri/isLocationOf
s4agri:isLocationOf rdf:type owl:ObjectProperty ;
  rdfs:comment "is location of"@en ;
  rdfs:label "is location of"@en .


###  https://saref.etsi.org/saref4agri/isMemberOf
s4agri:isMemberOf rdf:type owl:ObjectProperty ;
  rdfs:comment "A relation to express that an animal can be part of groups."@en ;
  rdfs:label "is member of"@en .


###  https://saref.etsi.org/saref4agri/managesFarm
s4agri:managesFarm rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "manages farm"@en ;
  rdfs:label "manages farm"@en .


###  https://saref.etsi.org/saref4agri/receives
s4agri:receives rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf saref:hasProperty ;
  rdfs:comment "A relation to represent the intake/consumption of certain substances in a Crop."@en ;
  rdfs:label "receives"@en .
###  https://saref.etsi.org/core/accomplishes
saref:accomplishes rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf saref:isAccomplishedBy ;
  rdfs:comment "A relationship between a certain entity (e.g., a device) and the task it accomplishes"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "accomplishes"@en .
###  https://saref.etsi.org/core/actsUpon
saref:actsUpon rdf:type owl:ObjectProperty ;
  rdfs:comment "A relationship between a command and a state"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "acts upon"@en .
###  https://saref.etsi.org/core/controlsProperty
saref:controlsProperty rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "controls property"@en .
###  https://saref.etsi.org/core/hasCommand
saref:hasCommand rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf saref:isCommandOf ;
  rdfs:comment "A relationship between an entity (such as a function) and a command"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has command"@en .
###  https://saref.etsi.org/core/isMeasurementOf
saref:isMeasurementOf rdf:type owl:ObjectProperty ;
      owl:inverseOf saref:hasMeasurement ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation between a measurement and the feature of interest being measured."@en ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has feature of interest"@en .
###  https://saref.etsi.org/core/hasFunction
saref:hasFunction rdf:type owl:ObjectProperty ;
  rdfs:comment "A relationship identifying the type of function of a device"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has function"@en .
###  https://saref.etsi.org/core/hasProperty
saref:hasProperty rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf saref:isPropertyOf ;
  rdfs:comment "Relation between a feature of interest and its properties."@en ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has property"@en .
###  https://saref.etsi.org/core/hasState
saref:hasState rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has state"@en .
###  https://saref.etsi.org/core/isAccomplishedBy
saref:isAccomplishedBy rdf:type owl:ObjectProperty ;
  rdfs:comment "A relationship indentifying the task accomplished by a certain entity (e.g., a device)"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is accomplished by"@en .
###  https://saref.etsi.org/core/isCommandOf
saref:isCommandOf rdf:type owl:ObjectProperty ;
  rdfs:comment "A relationship between a command and a function."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is command of"@en .
###  https://saref.etsi.org/core/isControlledByDevice
saref:isControlledByDevice rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is controlled by device"@en .
###  https://saref.etsi.org/core/hasMeasurement
saref:hasMeasurement rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation betwwen a feature of interest and the measurments that are about it."@en ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is feature of interest of"@en .
###  https://saref.etsi.org/core/isMeasuredByDevice
saref:isMeasuredByDevice rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is measured by device"@en .
###  https://saref.etsi.org/core/isMeasuredIn
saref:isMeasuredIn rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is measured in"@en .
###  https://saref.etsi.org/core/isPropertyOf
saref:isPropertyOf rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation between a property and a feature of interest in which such property appears."@en ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "is property of"@en .
###  https://saref.etsi.org/core/makesMeasurement
saref:makesMeasurement rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
      owl:inverseOf saref:measurementMadeBy ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "makes measurement"@en .
###  https://saref.etsi.org/core/measurementMadeBy
saref:measurementMadeBy rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "Relation between a measurement and the device that made it."@en ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "measurement made by"@en .
###  https://saref.etsi.org/core/measuresProperty
saref:measuresProperty rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "measures property"@en .
###  https://saref.etsi.org/core/relatesToMeasurement
saref:relatesToMeasurement rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "relates to measurement"@en .
###  https://saref.etsi.org/core/relatesToProperty
saref:relatesToProperty rdf:type owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "relates to property"@en .


#################################################################
#    Data properties
#################################################################

###  https://saref.etsi.org/saref4agri/hasBirthDate
s4agri:hasBirthDate rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:dateTime ;
  rdfs:comment "A relation to express the birth date of an animal."@en ;
  rdfs:label "has birth date"@en .


###  https://saref.etsi.org/saref4agri/hasDeathDate
s4agri:hasDeathDate rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:dateTime ;
  rdfs:comment "A relation to express the death date of an animal."@en ;
  rdfs:label "has death date"@en .


###  https://saref.etsi.org/saref4agri/hasHarvestDate
s4agri:hasHarvestDate rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf owl:topDataProperty ;
  rdfs:range xsd:dateTime ;
  rdfs:comment "A relation to express the day the crop is harvested."@en ;
  rdfs:label "has harvest date"@en .


###  https://saref.etsi.org/saref4agri/hasName
s4agri:hasName rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:string ;
  rdfs:comment "A relation to express the name of an entity (e.g.,animal)."@en ;
  rdfs:label "has name"@en .


###  https://saref.etsi.org/saref4agri/hasPlantDate
s4agri:hasPlantDate rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subPropertyOf owl:topDataProperty ;
  rdfs:range xsd:dateTime ;
  rdfs:comment "A relation to express the day the crop is planted."@en ;
  rdfs:label "has plant date"@en .
###  https://saref.etsi.org/core/hasDescription
saref:hasDescription rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:string ;
  rdfs:comment "A relationship providing a description of an entity (e.g., device)"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has description"@en .
###  https://saref.etsi.org/core/hasManufacturer
saref:hasManufacturer rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:string ;
  rdfs:comment "A relationship identifying the manufacturer of an entity (e.g., device)"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has manufacturer"@en .
###  https://saref.etsi.org/core/hasModel
saref:hasModel rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:range xsd:string ;
  rdfs:comment "A relationship identifying the model of an entity (e.g., device)"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has model"@en .
###  https://saref.etsi.org/core/hasTimestamp
saref:hasTimestamp rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has timestamp"@en .
###  https://saref.etsi.org/core/hasValue
saref:hasValue rdf:type owl:DatatypeProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "has value"@en .


#################################################################
#    Classes
#################################################################

###  http://purl.obolibrary.org/obo/TAXRANK_0000000
<http://purl.obolibrary.org/obo/TAXRANK_0000000> rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Taxon rank"@en .


###  http://www.opengis.net/ont/geosparql#Feature
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:Feature rdf:type owl:Class ;
  rdfs:subClassOf geo:SpatialObject ,
    [ rdf:type owl:Restriction ;
      owl:onProperty geo:hasGeometry ;
      owl:allValuesFrom geo:Geometry
    ] ;
      owl:disjointWith geo:Geometry ;
  rdfs:comment "This class represents the top-level feature type. This class is equivalent to GFI_Feature defined in ISO 19156:2011, and it is superclass of all feature types."@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> ,
                  <http://www.opengis.net/ont/gml> ;
  rdfs:label "Feature"@en .


###  http://www.opengis.net/ont/geosparql#Geometry
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:Geometry rdf:type owl:Class ;
  rdfs:subClassOf geo:SpatialObject ;
  rdfs:comment "The class represents the top-level geometry type. This class is equivalent to the UML class GM_Object defined in ISO 19107, and it is superclass of all geometry types."@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> ;
  rdfs:label "Geometry"@en .


###  http://www.opengis.net/ont/geosparql#SpatialObject
Maxime Lefrançois's avatar
Maxime Lefrançois committed
geo:SpatialObject rdf:type owl:Class ;
  rdfs:subClassOf [ rdf:type owl:Restriction ;
      owl:onProperty geo:hasGeometry ;
      owl:allValuesFrom geo:Geometry
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty geo:sfContains ;
      owl:allValuesFrom geo:SpatialObject
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty geo:sfWithin ;
      owl:allValuesFrom geo:SpatialObject
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty wgs84:location ;
      owl:allValuesFrom wgs84:Point
    ] ;
  rdfs:comment "The class spatial-object represents everything that can have a spatial representation. It is superclass of feature and geometry."@en ;
  rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> ;
  rdfs:label "SpatialObject"@en .


###  http://www.w3.org/2003/01/geo/wgs84_pos#Point
Maxime Lefrançois's avatar
Maxime Lefrançois committed
wgs84:Point rdf:type owl:Class ;
  rdfs:subClassOf geo:Geometry ;
  rdfs:comment """ 
Uniquely identified by lat/long/alt. i.e.

spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT),
  lat(P2, LAT), long(P2, LONG), alt(P2, ALT).

sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2).
  """ ,
               "A point, typically described using a coordinate system relative to Earth, such as WGS84."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:isDefinedBy <http://www.w3.org/2003/01/geo/wgs84_pos#> ;
  rdfs:label "Point"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
time:Instant rdf:type owl:Class ;
  rdfs:subClassOf time:TemporalEntity ;
  rdfs:comment "A temporal entity with zero extent or duration"@en ;
  rdfs:isDefinedBy <http://www.w3.org/2006/time#> ;
  rdfs:label "Instant"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
time:Interval rdf:type owl:Class ;
  rdfs:subClassOf time:TemporalEntity ;
  rdfs:comment "A temporal entity with an extent or duration"@en ;
  rdfs:isDefinedBy <http://www.w3.org/2006/time#> ;
  rdfs:label "Time interval"@en .


###  http://www.w3.org/2006/time#TemporalEntity
Maxime Lefrançois's avatar
Maxime Lefrançois committed
time:TemporalEntity rdf:type owl:Class ;
  rdfs:comment "A temporal interval or instant."@en ;
  rdfs:isDefinedBy <http://www.w3.org/2006/time#> ;
  rdfs:label "Temporal entity"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
sosa:Platform rdf:type owl:Class ;
  rdfs:comment "A Platform is an entity that hosts other entities, particularly Sensors, Actuators, Samplers, and other Platforms (definition taken from http://www.w3.org/ns/sosa/Platform)"@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/sosa/> ;
  rdfs:label "Platform"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:Deployment rdf:type owl:Class ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "Deployment"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
ssn:System rdf:type owl:Class ;
  rdfs:comment "System is a unit of abstraction for pieces of infrastructure that implement Procedures. A System may have components, its subsystems, which are other Systems. (Definition taken from http://www.w3.org/ns/ssn/System)"@en ;
  rdfs:isDefinedBy <http://www.w3.org/ns/ssn/> ;
  rdfs:label "System"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
foaf:Agent rdf:type owl:Class ;
  rdfs:subClassOf [ rdf:type owl:Restriction ;
      owl:onProperty foaf:member ;
      owl:someValuesFrom foaf:Agent
    ] ;
  rdfs:label "Agent"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
foaf:Person rdf:type owl:Class ;
  rdfs:subClassOf foaf:Agent ;
  rdfs:label "Person"@en .


###  https://schema.org/Organization
<https://schema.org/Organization> rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf foaf:Agent ;
  rdfs:label "Organization"@en .


###  https://saref.etsi.org/saref4agri/Animal
s4agri:Animal rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:FeatureOfInterest ,
    [ rdf:type owl:Restriction ;
      owl:onProperty <http://purl.obolibrary.org/obo/TAXRANK_1000000> ;
      owl:someValuesFrom <http://purl.obolibrary.org/obo/TAXRANK_0000000>
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:isLocatedIn ;
      owl:someValuesFrom geo:Feature
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:isMemberOf ;
      owl:someValuesFrom s4agri:AnimalGroup
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasID ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onClass s4agri:ID
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasBirthDate ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onDataRange xsd:dateTime
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasDeathDate ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onDataRange xsd:dateTime
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onDataRange xsd:string
    ] ;
  rdfs:comment "An individual and identifiable living organism that feeds on organic matter, typically having specialized sense organs and nervous system and able to respond rapidly to stimuli."@en ;
  rdfs:label "Animal"@en .


###  https://saref.etsi.org/saref4agri/AnimalGroup
s4agri:AnimalGroup rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:FeatureOfInterest ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasMember ;
      owl:someValuesFrom s4agri:Animal
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:isLocatedIn ;
      owl:someValuesFrom geo:Feature
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onDataRange xsd:string
    ] ;
  rdfs:comment "A collection of one or multiple animals."@en ;
  rdfs:label "Animal Group"@en .


###  https://saref.etsi.org/saref4agri/Building
s4agri:Building rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf geo:Feature ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:contains ;
      owl:someValuesFrom s4agri:BuildingSpace
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:maxCardinality "1"^^xsd:nonNegativeInteger
    ] ;
  rdfs:comment "A building represents a structure that provides shelter for its occupants or contents and stands in one place. The building is also used to provide a basic element within the spatial structure hierarchy for the components of a building project (together with site, storey, and space)."@en ;
  rdfs:label "Building"@en .


###  https://saref.etsi.org/saref4agri/BuildingSpace
s4agri:BuildingSpace rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf geo:Feature ;
  rdfs:comment "An entity used to define the physical spaces of the building. A building space contains devices or building objects."@en ;
  rdfs:label "Building space"@en .
s4agri:Crop rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:FeatureOfInterest ,
    [ rdf:type owl:Restriction ;
      owl:onProperty <http://purl.obolibrary.org/obo/TAXRANK_1000000> ;
      owl:someValuesFrom <http://purl.obolibrary.org/obo/TAXRANK_0000000>
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasHarvestDate ;
      owl:someValuesFrom xsd:dateTime
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasPlantDate ;
      owl:someValuesFrom xsd:dateTime
    ] ;
  rdfs:comment "A collection of cultivated plants that is grown on a large scale commercially, especially a cereal, fruit, or vegetable."@en ;
  rdfs:label "Crop"@en .


###  https://saref.etsi.org/saref4agri/Deployment
s4agri:Deployment rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf ssn:Deployment ,
    [ rdf:type owl:Restriction ;
      owl:onProperty ssn:deployedOnPlatform ;
      owl:someValuesFrom sosa:Platform
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty ssn:deployedSystem ;
      owl:someValuesFrom ssn:System
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasDeploymentPeriod ;
      owl:someValuesFrom time:TemporalEntity
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:isDeployedAtSpace ;
      owl:someValuesFrom geo:SpatialObject
    ] ;
  rdfs:comment "Deployment"@en ,
                         "The scenario, including temporal and spatial information, in which the systems and devices are installed."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Deployment"@en .


###  https://saref.etsi.org/saref4agri/EatingActivitySensor
s4agri:EatingActivitySensor rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "Eating activity sensor"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Eating activity sensor"@en .
s4agri:Farm rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf geo:Feature ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:contains ;
      owl:someValuesFrom s4agri:Building
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:contains ;
      owl:someValuesFrom s4agri:Parcel
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:maxCardinality "1"^^xsd:nonNegativeInteger
    ] ;
  rdfs:comment "A plot of land used for the scope of farming which can contain buildings and parcels."@en ;
  rdfs:label "Farm"@en .


###  https://saref.etsi.org/saref4agri/FarmHolding
s4agri:FarmHolding rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf <https://schema.org/Organization> ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:managesFarm ;
      owl:someValuesFrom s4agri:Farm
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:allValuesFrom xsd:string
    ] ;
  rdfs:comment "A class to decsribe a saref4agri farm holding as subcass of an org:Organization"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Farm holding"@en .


###  https://saref.etsi.org/saref4agri/Farmer
s4agri:Farmer rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf foaf:Person ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:managesFarm ;
      owl:someValuesFrom s4agri:Farm
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:allValuesFrom xsd:string
    ] ;
  rdfs:comment "A class to decsribe a saref4agri farmer as subcass of a foaf:Person"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Farmer"@en .
s4agri:ID rdf:type owl:Class ;
  rdfs:comment "ID"@en ;
  rdfs:label "ID"@en .


###  https://saref.etsi.org/saref4agri/MilkingSensor
s4agri:MilkingSensor rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "Milking sensor"@en ;
  rdfs:label "Milking sensor"@en .


###  https://saref.etsi.org/saref4agri/MovementActivitySensor
s4agri:MovementActivitySensor rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "Movement activity sensor"@en ;
  rdfs:label "Movement activity sensor"@en .


###  https://saref.etsi.org/saref4agri/Parcel
s4agri:Parcel rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf geo:Feature ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:contains ;
      owl:someValuesFrom s4agri:Crop
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty s4agri:hasName ;
      owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onDataRange xsd:string
    ] ;
  rdfs:comment "An area of land, which might be used for grazing animals or planting crops. The parcel is defined as an undividable logical area of land which contains homogeneous items."@en ;
  rdfs:label "Parcel"@en .


###  https://saref.etsi.org/saref4agri/Platform
s4agri:Platform rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf sosa:Platform ;
  rdfs:comment "Platform"@en ;
  rdfs:label "Platform"@en .


###  https://saref.etsi.org/saref4agri/Pluviometer
s4agri:Pluviometer rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "A sensor that measures the rain fall."@en ;
  rdfs:label "Pluviometer"@en .
s4agri:Soil rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:FeatureOfInterest ;
  rdfs:comment "Upper layer of the earth in which plants grow."@en ;
  rdfs:label "Soil"@en .


###  https://saref.etsi.org/saref4agri/SoilTensiometer
s4agri:SoilTensiometer rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "A sensor that measures the soil moisture."@en ;
  rdfs:label "Soil tensiometer"@en .


###  https://saref.etsi.org/saref4agri/Thermometer
s4agri:Thermometer rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "Thermometer"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Thermometer"@en .


###  https://saref.etsi.org/saref4agri/WateringGun
s4agri:WateringGun rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Actuator ;
  rdfs:comment "An actuator to irrigate an space."@en ;
  rdfs:label "Watering gun"@en .


###  https://saref.etsi.org/saref4agri/WateringSystem
s4agri:WateringSystem rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf ssn:System ;
  rdfs:comment "Watering system"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Watering system"@en .


###  https://saref.etsi.org/saref4agri/WateringValve
s4agri:WateringValve rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Actuator ;
  rdfs:comment "Watering valve"@en ;
  rdfs:label "Watering valve"@en .


###  https://saref.etsi.org/saref4agri/WeatherStation
s4agri:WeatherStation rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf ssn:System ,
                                saref:Sensor ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:comment "A sensor o system that measure weather conditions."@en ;
  rdfs:label "Weather station"@en .


###  https://saref.etsi.org/saref4agri/WeightSensor
s4agri:WeightSensor rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Sensor ;
  rdfs:comment "Weight sensor"@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:label "Weight sensor"@en .
###  https://saref.etsi.org/core/Actuator
saref:Actuator rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf saref:Device ;
  rdfs:isDefinedBy <https://saref.etsi.org/core/> ;
  rdfs:label "Actuator"@en .
###  https://saref.etsi.org/core/Command
saref:Command rdf:type owl:Class ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
  rdfs:subClassOf [ rdf:type owl:Restriction ;
      owl:onProperty saref:actsUpon ;
      owl:allValuesFrom saref:State
    ] ,
    [ rdf:type owl:Restriction ;
      owl:onProperty saref:isCommandOf ;
      owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onClass saref:Function
    ] ,