saref4city.ttl 33.6 KB
Newer Older
María's avatar
María committed
@prefix : <https://w3id.org/def/saref4bldg#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
María's avatar
María committed
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
María's avatar
María committed
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix geosp: <http://www.opengis.net/ont/geosparql#> .
María's avatar
María committed
@prefix saref: <https://w3id.org/saref#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix saref4city: <https://w3id.org/def/saref4city#> .
María's avatar
María committed

<https://w3id.org/def/saref4city> a owl:Ontology ;
	owl:versionIRI <https://w3id.org/def/v1/saref4city> ;
	dc:title "SAREF extension for Smart City"@en ;
	owl:versionInfo "0.2"^^xsd:decimal ;
María's avatar
María committed
	dcterms:creator <http://www.garcia-castro.com/foaf.rdf#me> ;
	dcterms:license <http://purl.org/NET/rdflicense/cc-by4.0> ;
	dcterms:creator <http://w3id.org/people/mpoveda> ;
	dc:publisher <http://www.oeg-upm.net/> ;
	vann:preferredNamespacePrefix "s4city" ;
	vann:preferredNamespaceUri "https://w3id.org/def/saref4city#" ;
María's avatar
María committed
	dc:description "This ontology extends the SAREF ontology for the Smart City 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 Smart City domain."@en .
María's avatar
María committed
# 
# 
# #################################################################
# #
# #    Annotation properties
# #
# #################################################################
# 
# 
# http://purl.org/dc/elements/1.1/contributor

dc:contributor a owl:AnnotationProperty .
# 
# http://purl.org/dc/elements/1.1/creator

dc:creator a owl:AnnotationProperty .
# 
# http://purl.org/dc/elements/1.1/date

dc:date a owl:AnnotationProperty .
# 
# http://purl.org/dc/elements/1.1/description

dc:description a owl:AnnotationProperty .
# 
# http://purl.org/dc/elements/1.1/title

dc:title a owl:AnnotationProperty .
# 
María's avatar
María committed
# http://purl.org/dc/terms/creator

dcterms:creator a owl:AnnotationProperty .
# 
# http://purl.org/dc/terms/dateCopyrighted

dcterms:dateCopyrighted a owl:AnnotationProperty .
# 
# http://purl.org/dc/terms/rightsHolder

dcterms:rightsHolder a owl:AnnotationProperty .
# 
# http://purl.org/vocab/vann/preferredNamespacePrefix

vann:preferredNamespacePrefix a owl:AnnotationProperty .
# 
# http://purl.org/vocab/vann/preferredNamespaceUri

vann:preferredNamespaceUri a owl:AnnotationProperty .
# 
# http://www.w3.org/2003/01/geo/wgs84_pos#alt

geo:alt a owl:AnnotationProperty ;
	rdfs:comment """The WGS84 altitude of a SpatialThing (decimal meters 
above the local reference ellipsoid).""" ;
	rdfs:label "altitude" ;
	rdfs:domain geo:SpatialThing .
# 
# http://www.w3.org/2003/01/geo/wgs84_pos#lat

geo:lat a owl:AnnotationProperty ;
	rdfs:comment "The WGS84 latitude of a SpatialThing (decimal degrees)." ;
	rdfs:label "latitude" ;
	rdfs:domain geo:SpatialThing .
# 
# http://www.w3.org/2003/01/geo/wgs84_pos#location

geo:location a owl:AnnotationProperty ;
	rdfs:subPropertyOf <http://xmlns.com/foaf/0.1/based_near> .
# 
# http://www.w3.org/2003/01/geo/wgs84_pos#long

geo:long a owl:AnnotationProperty ;
	rdfs:comment "The WGS84 longitude of a SpatialThing (decimal degrees)." ;
	rdfs:label "longitude" ;
	rdfs:domain geo:SpatialThing .
# 
# http://www.w3.org/2004/02/skos/core#definition

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

<http://www.w3.org/2004/02/skos/core#prefLabel> a owl:AnnotationProperty .
# 
María's avatar
María committed
# http://www.w3.org/ns/prov#hadPrimarySource

prov:hadPrimarySource a owl:AnnotationProperty .
# 
# http://xmlns.com/foaf/0.1/based_near

<http://xmlns.com/foaf/0.1/based_near> a owl:AnnotationProperty .
# 
María's avatar
María committed
# 
# 
# #################################################################
# #
# #    Datatypes
# #
# #################################################################
# 
# 
# http://www.w3.org/2001/XMLSchema#date

xsd:date a rdfs:Datatype .
# 
María's avatar
María committed
# http://www.w3.org/2001/XMLSchema#duration

xsd:duration a rdfs:Datatype .
# 
# 
# 
# #################################################################
# #
María's avatar
María committed
# #    Object Properties
# #
# #################################################################
# 
# 
# http://www.opengis.net/ont/geosparql#hasGeometry

geosp:hasGeometry a owl:ObjectProperty ;
	rdfs:domain geosp:Feature ;
	rdfs:range geosp:Geometry ;
	dc:contributor "Matthew Perry" ;
	dc:creator "OGC GeoSPARQL 1.0 Standard Working Group" ;
	dc:date "2011-06-16"^^xsd:date ;
	dc:description """
      A spatial representation for a given feature.
    """@en ;
	rdfs:comment """
      A spatial representation for a given feature.
    """@en , "A spatial representation for a given feature."@en ;
	rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql> , <http://www.opengis.net/spec/geosparql/1.0> , "http://www.opengis.net/ont/geosparql#" ;
	rdfs:label "has geometry"@en , "hasGeometry"@en ;
	<http://www.w3.org/2004/02/skos/core#definition> """
      A spatial representation for a given feature.
    """@en ;
	<http://www.w3.org/2004/02/skos/core#prefLabel> "hasGeometry"@en .
# 
# http://www.opengis.net/ont/geosparql#sfContains

geosp:sfContains a owl:ObjectProperty ;
	rdfs:domain geosp:SpatialObject ;
	rdfs:range geosp:SpatialObject ;
	dc:contributor "Matthew Perry" ;
	dc:creator "OGC GeoSPARQL 1.0 Standard Working Group" ;
	dc:date "2011-06-16"^^xsd:date ;
	dc:description """
      Exists if the subject SpatialObject spatially contains the 
      object SpatialObject. DE-9IM: T*****FF*
    """@en ;
	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.w3.org/2004/02/skos/core#definition> """
      Exists if the subject SpatialObject spatially contains the 
      object SpatialObject. DE-9IM: T*****FF*
    """@en ;
	<http://www.w3.org/2004/02/skos/core#prefLabel> "contains"@en .
María's avatar
María committed
# 
María's avatar
María committed
# http://www.w3.org/2003/01/geo/wgs84_pos#location

geo:location a owl:ObjectProperty .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#assess
saref4city:assess a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "assess"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#belongsTo

saref4city:belongsTo a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "belongs to"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#belongsToCity

saref4city:belongsToCity a owl:ObjectProperty ;
	owl:inverseOf saref4city:hasCityObject ;
María's avatar
María committed
	rdfs:label "belongs to city"@en .
# 
# https://w3id.org/def/saref4city#calculatedBy

saref4city:calculatedBy a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "calculated by"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#hasAccesibility

saref4city:hasAccesibility a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "has accesibility"@en .
# 
# https://w3id.org/def/saref4city#hasCalculationPeriod

saref4city:hasCalculationPeriod a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "has calculation period"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#hasCityObject

saref4city:hasCityObject a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "has city object"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasFeatureOfInterest
saref4city:hasFeatureOfInterest a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "has feature of interest"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasIndicatorUnit
saref4city:hasIndicatorUnit a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "has indicator unit"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasProperty
saref4city:hasProperty a owl:ObjectProperty ;
	owl:inverseOf saref4city:isPropertyOf ;
María's avatar
María committed
	rdfs:label "has property"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#implementsKPI

saref4city:implementsKPI a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "implements KPI"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#involvesFacility
saref4city:involvesFacility a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "involves facility"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isAvailableInArea
María's avatar
María committed

saref4city:isAvailableInArea a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "is available in area"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isAvailableInLanguage
María's avatar
María committed

saref4city:isAvailableInLanguage a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:range <http://www.lingvoj.org/ontology#Lingvo> ;
María's avatar
María committed
	rdfs:label "is available in language"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isDerivedFrom

saref4city:isDerivedFrom a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "is derived from"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isOrganizedBy
María's avatar
María committed

saref4city:isOrganizedBy a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "is organized by"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isPropertyOf
María's avatar
María committed

saref4city:isPropertyOf a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "is property of"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#isSubEventOf
María's avatar
María committed

saref4city:isSubEventOf a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "is subevent of"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#measurementMadeBy

saref4city:measurementMadeBy a owl:ObjectProperty ;
María's avatar
María committed
	owl:inverseOf saref:makesMeasurement .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#providesService
María's avatar
María committed

saref4city:providesService a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "provides service"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#refersToSpace
María's avatar
María committed

saref4city:refersToSpace a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "refers to space"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#refersToTime

saref4city:refersToTime a owl:ObjectProperty ;
	rdfs:label "refers to time"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#takesPlaceAtFacility
María's avatar
María committed

saref4city:takesPlaceAtFacility a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "takes place at facility"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#takesPlaceAtTime
María's avatar
María committed

saref4city:takesPlaceAtTime a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "takes place at time"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#usesService
María's avatar
María committed

saref4city:usesService a owl:ObjectProperty ;
María's avatar
María committed
	rdfs:label "uses service"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/saref#consistsOf
María's avatar
María committed

María's avatar
María committed
saref:consistsOf a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#"@en ;
	rdfs:label "consists of"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/saref#controlsProperty
María's avatar
María committed

María's avatar
María committed
saref:controlsProperty a owl:ObjectProperty ;
	rdfs:label "controls property"@en .
María's avatar
María committed
# 
# https://w3id.org/saref#isControlledByDevice

saref:isControlledByDevice a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "is controlled by device"@en .
# 
María's avatar
María committed
# https://w3id.org/saref#isMeasuredByDevice
María's avatar
María committed

María's avatar
María committed
saref:isMeasuredByDevice a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#"@en ;
	rdfs:label "is measured by device"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/saref#isMeasuredIn
María's avatar
María committed

María's avatar
María committed
saref:isMeasuredIn a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#"@en ;
	rdfs:label "is measured in"@en .
# 
# https://w3id.org/saref#makesMeasurement

saref:makesMeasurement a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#"@en ;
	rdfs:label "makes measurement"@en .
# 
# https://w3id.org/saref#measuresProperty

saref:measuresProperty a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "measures property"@en .
María's avatar
María committed
# 
# https://w3id.org/saref#relatesToMeasurement

María's avatar
María committed
saref:relatesToMeasurement a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "relates to measurement"@en .
María's avatar
María committed
# 
# https://w3id.org/saref#relatesToProperty

María's avatar
María committed
saref:relatesToProperty a owl:ObjectProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "relates to property"@en .
María's avatar
María committed
# 
# 
# 
# #################################################################
# #
# #    Data properties
# #
# #################################################################
# 
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#creationDate

saref4city:creationDate a owl:DatatypeProperty ;
	rdfs:range xsd:dateTime ;
	rdfs:label "creation date"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#expirationDate

saref4city:expirationDate a owl:DatatypeProperty ;
	rdfs:range xsd:dateTime ;
	rdfs:label "expiration date"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasEventName

saref4city:hasEventName a owl:DatatypeProperty ;
	rdfs:subPropertyOf saref4city:hasName ;
María's avatar
María committed
	rdfs:label "has event name"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasKPIDescription

saref4city:hasKPIDescription a owl:DatatypeProperty ;
	rdfs:subPropertyOf saref:hasDescription ;
	rdfs:label "has KPI description"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasKPIName

saref4city:hasKPIName a owl:DatatypeProperty ;
	rdfs:subPropertyOf saref4city:hasName ;
	rdfs:label "KPI name"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasKPIValue

saref4city:hasKPIValue a owl:DatatypeProperty ;
María's avatar
María committed
	rdfs:subPropertyOf saref:hasValue .
# 
# https://w3id.org/def/saref4city#hasName

saref4city:hasName a owl:DatatypeProperty ;
	rdfs:label "has name"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasServiceDescription

saref4city:hasServiceDescription a owl:DatatypeProperty ;
	rdfs:subPropertyOf saref:hasDescription ;
	rdfs:label "has service description"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#hasServiceName

saref4city:hasServiceName a owl:DatatypeProperty ;
	rdfs:subPropertyOf saref4city:hasName ;
	rdfs:label "has service name"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#lastUpdateDate

saref4city:lastUpdateDate a owl:DatatypeProperty ;
María's avatar
María committed
	rdfs:subPropertyOf owl:topDataProperty ;
	rdfs:range xsd:dateTime ;
	rdfs:label "last update date"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/saref#hasDescription

saref:hasDescription a owl:DatatypeProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "has description"@en .
María's avatar
María committed
# 
# https://w3id.org/saref#hasTimestamp

saref:hasTimestamp a owl:DatatypeProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "has timestamp"@en .
María's avatar
María committed
# 
# https://w3id.org/saref#hasValue

saref:hasValue a owl:DatatypeProperty ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "has value"@en .
María's avatar
María committed
# 
# 
# 
# #################################################################
# #
María's avatar
María committed
# #    Classes
# #
# #################################################################
# 
# 
María's avatar
María committed
# http://www.lingvoj.org/ontology#Lingvo

<http://www.lingvoj.org/ontology#Lingvo> a owl:Class ;
	rdfs:label "Language"@en .
# 
# http://www.opengis.net/ont/geosparql#Feature

geosp:Feature a owl:Class ;
	rdfs:subClassOf geosp:SpatialObject ;
	owl:disjointWith geosp:Geometry ;
	dc:contributor "Matthew Perry" ;
	dc:creator "OGC GeoSPARQL 1.0 Standard Working Group" ;
	dc:date "2011-06-16"^^xsd:date ;
	dc:description """
      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: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> , <http://www.opengis.net/spec/geosparql/1.0> ;
	rdfs:label "Feature"@en ;
	<http://www.w3.org/2004/02/skos/core#definition> """
      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 ;
	<http://www.w3.org/2004/02/skos/core#prefLabel> "Feature"@en .
# 
María's avatar
María committed
# http://www.opengis.net/ont/geosparql#Geometry

geosp:Geometry a owl:Class ;
	rdfs:subClassOf geosp:SpatialObject ;
	dc:contributor "Matthew Perry" ;
	dc:creator "OGC GeoSPARQL 1.0 Standard Working Group" ;
	dc:date "2011-06-16"^^xsd:date ;
	dc:description """
      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: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 , "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> , <http://www.opengis.net/ont/gml> , <http://www.opengis.net/spec/geosparql/1.0> , "http://www.opengis.net/ont/geosparql"@en ;
	rdfs:label "Geometry"@en ;
	<http://www.w3.org/2004/02/skos/core#definition> """
      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 ;
	<http://www.w3.org/2004/02/skos/core#prefLabel> "Geometry"@en .
# 
# http://www.opengis.net/ont/geosparql#SpatialObject

geosp:SpatialObject a owl:Class ;
	dc:contributor "Matthew Perry" ;
	dc:creator "OGC GeoSPARQL 1.0 Standard Working Group" ;
	dc:date "2011-06-16"^^xsd:date ;
	dc:description """
      The class spatial-object represents everything that can have 
      a spatial representation. It is superclass of feature and geometry.
    """@en ;
	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> , <http://www.opengis.net/ont/gml> , <http://www.opengis.net/spec/geosparql/1.0> ;
	rdfs:label "SpatialObject"@en ;
	<http://www.w3.org/2004/02/skos/core#definition> """
      The class spatial-object represents everything that can have 
      a spatial representation. It is superclass of feature and geometry.
    """@en ;
	<http://www.w3.org/2004/02/skos/core#prefLabel> "SpatialObject"@en .
María's avatar
María committed
# 
# http://www.w3.org/2003/01/geo/wgs84_pos#Point

geo:Point a owl:Class ;
	rdfs:subClassOf geosp:Geometry ;
	rdfs:comment """ 
Uniquely identified by lat/long/alt. i.e.
María's avatar
María committed

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.
  """ ;
María's avatar
María committed
	rdfs:isDefinedBy "http://www.w3.org/2003/01/geo/wgs84_pos#" ;
	rdfs:label "Point"@en , "point" .
María's avatar
María committed
# 
María's avatar
María committed
# http://www.w3.org/2004/02/skos/core#Concept

<http://www.w3.org/2004/02/skos/core#Concept> a owl:Class ;
	rdfs:isDefinedBy "http://www.w3.org/2004/02/skos/core#" .
# 
María's avatar
María committed
# http://www.w3.org/2006/time#Instant

time:Instant a owl:Class ;
	rdfs:subClassOf time:TemporalEntity ;
María's avatar
María committed
	rdfs:comment "A temporal entity with zero extent or duration"@en ;
	rdfs:isDefinedBy "http://www.w3.org/2006/time#" ;
	rdfs:label "Instant"@en .
# 
María's avatar
María committed
# http://www.w3.org/2006/time#Interval

time:Interval a owl:Class ;
	rdfs:subClassOf time:TemporalEntity ;
María's avatar
María committed
	rdfs:isDefinedBy "http://www.w3.org/2006/time#" ;
	rdfs:label "A temporal entity with an extent or duration"@en , "Time interval"@en .
# 
María's avatar
María committed
# http://www.w3.org/2006/time#TemporalEntity

time:TemporalEntity a owl:Class ;
María's avatar
María committed
	rdfs:comment "A temporal interval or instant."@en ;
	rdfs:isDefinedBy "http://www.w3.org/2006/time#" ;
	rdfs:label "Temporal entity"@en .
# 
María's avatar
María committed
# http://www.w3.org/ns/org#Organization

<http://www.w3.org/ns/org#Organization> a owl:Class ;
	rdfs:subClassOf <http://xmlns.com/foaf/0.1/Agent> ;
	rdfs:isDefinedBy "http://www.w3.org/ns/org#" ;
	rdfs:label "Organization"@en .
# 
# http://xmlns.com/foaf/0.1/Agent

<http://xmlns.com/foaf/0.1/Agent> a owl:Class ;
	rdfs:isDefinedBy "http://xmlns.com/foaf/0.1/" ;
	rdfs:label "Agent"@en .
# 
# http://xmlns.com/foaf/0.1/Person

<http://xmlns.com/foaf/0.1/Person> a owl:Class ;
	rdfs:subClassOf <http://xmlns.com/foaf/0.1/Agent> ;
	rdfs:isDefinedBy "http://xmlns.com/foaf/0.1/" ;
	rdfs:label "Person"@en .
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#AdministrativeArea

saref4city:AdministrativeArea a owl:Class ;
	rdfs:subClassOf geosp:Feature ;
María's avatar
María committed
	rdfs:comment "An administrative division, unit, entity, area or region, also referred to as a subnational entity, constituent unit, or country subdivision, is a portion of a country or other region delineated for the purpose of administration. (https://en.wikipedia.org/wiki/Administrative_division)"@en ;
María's avatar
María committed
	rdfs:label "Administrative area"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#City

saref4city:City a owl:Class ;
	rdfs:subClassOf saref4city:AdministrativeArea ;
María's avatar
María committed
	rdfs:comment "A city is a large human settlement. A city is distinguished from other human settlements by its relatively great size, but also by its functions and its special symbolic status, which may be conferred by a central authority. (https://en.wikipedia.org/wiki/City)"@en ;
	rdfs:label "City"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#CityObject

saref4city:CityObject a owl:Class ;
	rdfs:subClassOf geosp:Feature ;
María's avatar
María committed
	rdfs:label "City object"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#Country

saref4city:Country a owl:Class ;
	rdfs:subClassOf saref4city:AdministrativeArea ;
María's avatar
María committed
	rdfs:comment "A country is a region that is identified as a distinct national entity in political geography. (https://en.wikipedia.org/wiki/Country)"@en ;
María's avatar
María committed
	rdfs:label "Country"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#District

saref4city:District a owl:Class ;
	rdfs:subClassOf saref4city:AdministrativeArea ;
María's avatar
María committed
	rdfs:comment "A district is a type of administrative division that, in some countries, is managed by local government. Across the world, areas known as \"districts\" vary greatly in size, spanning regions or counties, several municipalities, subdivisions of municipalities, school district, or political district. (https://en.wikipedia.org/wiki/District)"@en ;
	rdfs:label "District"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#Event

saref4city:Event a owl:Class ;
María's avatar
María committed
	rdfs:comment "Temporary and scheduled event, like a festival or competition. (Definition taken from Wikidata)"@en ;
	rdfs:label "Event"@en ;
	rdfs:seeAlso "https://www.wikidata.org/wiki/Q1656682" .
# 
# https://w3id.org/def/saref4city#Facility

saref4city:Facility a owl:Class ;
	rdfs:subClassOf geosp:Feature ;
María's avatar
María committed
	rdfs:label "Facility"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#FeatureOfInterest

saref4city:FeatureOfInterest a owl:Class ;
María's avatar
María committed
	rdfs:comment """TESTING!
 It might be replaced by ssn feature of interest or created in saref ontology"""@en .
# 
# https://w3id.org/def/saref4city#KeyPerformanceIndicator

saref4city:KeyPerformanceIndicator a owl:Class ;
María's avatar
María committed
	rdfs:comment "A Key Performance Indicator (KPI) is a type of performance measurement. KPIs evaluate the success of an organization or of a particular activity in which it engages. (Definition taken from FIWARE)"@en ;
	rdfs:label "Key Performance Indicator"@en ;
	rdfs:seeAlso "http://fiware-datamodels.readthedocs.io/en/latest/KeyPerformanceIndicator/doc/spec/index.html" .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#KeyPerformanceIndicatorValue
saref4city:KeyPerformanceIndicatorValue a owl:Class ;
María's avatar
María committed
	rdfs:comment "A Key Performance Indicator value represents a given value of a KPI calculated by a given agent in a given time."@en ;
	rdfs:label "Key performance indicator value"@en .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/def/saref4city#Neighbourhood

saref4city:Neighbourhood a owl:Class ;
	rdfs:subClassOf saref4city:AdministrativeArea ;
María's avatar
María committed
	rdfs:comment "A neighbourhood (British English), or neighborhood (American English; see spelling differences), is a geographically localised community within a larger city, town, suburb or rural area. (https://en.wikipedia.org/wiki/Neighbourhood)"@en ;
	rdfs:label "Neighbourhood"@en .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#PublicAdministration

saref4city:PublicAdministration a owl:Class ;
María's avatar
María committed
	rdfs:subClassOf <http://xmlns.com/foaf/0.1/Agent> ;
María's avatar
María committed
	rdfs:comment "Public leadership of public affairs directly responsible for executive action. (Definition taken from wikidata)"@en ;
	rdfs:label "Public administration"@en ;
	rdfs:seeAlso "https://www.wikidata.org/wiki/Q31728" .
María's avatar
María committed
# 
# https://w3id.org/def/saref4city#PublicService

saref4city:PublicService a owl:Class ;
María's avatar
María committed
	rdfs:comment "Public service is a service which is provided by government either directly (through the public sector) or by financing provision of services. (Definition taken from Wikipedia)"@en ;
	rdfs:label "Public service"@en ;
	rdfs:seeAlso "https://en.wikipedia.org/wiki/Public_service" .
María's avatar
María committed
# 
María's avatar
María committed
# https://w3id.org/saref#Actuator

saref:Actuator a owl:Class ;
María's avatar
María committed
	rdfs:subClassOf saref:Device ;
María's avatar
María committed
	rdfs:comment "A device responsible for moving or controlling a mechanism or system"@en ;
	rdfs:isDefinedBy <https://w3id.org/saref#> ;
	rdfs:label "Actuator"@en .
# 
María's avatar
María committed
# https://w3id.org/saref#Device

saref:Device a owl:Class ;
	rdfs:subClassOf _:genid1 .
María's avatar
María committed

_:genid1 a owl:Restriction ;
	owl:onProperty saref:consistsOf ;
	owl:allValuesFrom saref:Device .

saref:Device rdfs:subClassOf _:genid2 .

_:genid2 a owl:Restriction ;
	owl:onProperty saref:controlsProperty ;
	owl:allValuesFrom saref:Property .

saref:Device rdfs:subClassOf _:genid3 .

_:genid3 a owl:Restriction ;
	owl:onProperty saref:makesMeasurement ;
	owl:allValuesFrom saref:Measurement .

María's avatar
María committed
saref:Device rdfs:subClassOf _:genid4 .
María's avatar
María committed

María's avatar
María committed
_:genid4 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:measuresProperty ;
	owl:allValuesFrom saref:Property .

María's avatar
María committed
saref:Device rdfs:subClassOf _:genid5 .
María's avatar
María committed

María's avatar
María committed
_:genid5 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:hasDescription ;
	owl:maxCardinality "1"^^xsd:nonNegativeInteger .

saref:Device rdfs:comment "A tangible object designed to accomplish a particular task in households, common public buildings or offices. In order to accomplish this task, the device performs one or more functions. For example, a washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function. Devices can be structured in categories (subclasses) that reflect the different domain in which a device is used, e.g., smart appliances domain (subclass FunctionRelated) vs. building domain (subclass BuildingRelated) vs. smart grid domain (subclass EnergyRelated). New categories can be defined,if needed, to reflect other differences, for example different points of view, such as the point of view of the device's user vs. the point of view of the device's manufacturer. We propose a list of devices that are relevant for the purpose of SAREF, but this list can be extended."^^xsd:string ;
	rdfs:label "Device"^^xsd:string .
# 
María's avatar
María committed
# https://w3id.org/saref#Measurement

saref:Measurement a owl:Class ;
María's avatar
María committed
	rdfs:subClassOf _:genid6 .
María's avatar
María committed

María's avatar
María committed
_:genid6 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:isMeasuredIn ;
	owl:allValuesFrom saref:UnitOfMeasure .

María's avatar
María committed
saref:Measurement rdfs:subClassOf _:genid7 .
María's avatar
María committed

María's avatar
María committed
_:genid7 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:relatesToProperty ;
	owl:allValuesFrom saref:Property .

María's avatar
María committed
saref:Measurement rdfs:subClassOf _:genid8 .
María's avatar
María committed

María's avatar
María committed
_:genid8 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:isMeasuredIn ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass saref:UnitOfMeasure .

María's avatar
María committed
saref:Measurement rdfs:subClassOf _:genid9 .
María's avatar
María committed

María's avatar
María committed
_:genid9 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:relatesToProperty ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onClass saref:Property .

María's avatar
María committed
saref:Measurement rdfs:subClassOf _:genid10 .
María's avatar
María committed

María's avatar
María committed
_:genid10 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:hasTimestamp ;
	owl:allValuesFrom xsd:dateTime .

María's avatar
María committed
saref:Measurement rdfs:subClassOf _:genid11 .
María's avatar
María committed

María's avatar
María committed
_:genid11 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:hasValue ;
	owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onDataRange xsd:float .

saref:Measurement owl:disjointWith saref:Property , saref:UnitOfMeasure ;
María's avatar
María committed
	rdfs:comment "Represents the measured value made over a property. It is also linked to the unit of measure in which the value is expressed and the timestamp of the measurement."@en ;
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
	rdfs:label "Measurement"@en .
# 
# https://w3id.org/saref#Property

saref:Property a owl:Class ;
María's avatar
María committed
	rdfs:subClassOf _:genid12 .
María's avatar
María committed

María's avatar
María committed
_:genid12 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:isMeasuredByDevice ;
	owl:allValuesFrom saref:Device .

María's avatar
María committed
saref:Property rdfs:subClassOf _:genid13 .
María's avatar
María committed

María's avatar
María committed
_:genid13 a owl:Restriction ;
María's avatar
María committed
	owl:onProperty saref:relatesToMeasurement ;
	owl:allValuesFrom saref:Measurement .

saref:Property owl:disjointWith saref:UnitOfMeasure ;
	rdfs:comment "An aspect of an entity that can be observable by a sensor."@en , "Anything that can be sensed, measured or controlled in households, common public buildings or offices. We propose here a list of properties that are relevant for the purpose of SAREF, but this list can be extended."^^xsd:string ;
María's avatar
María committed
	rdfs:isDefinedBy "https://w3id.org/saref#" ;
María's avatar
María committed
	rdfs:label "Property"@en , "Property"^^xsd:string .
María's avatar
María committed
# 
# https://w3id.org/saref#Sensor

saref:Sensor a owl:Class ;
María's avatar
María committed
	rdfs:subClassOf saref:Device ;
María's avatar
María committed
	rdfs:comment """A device that detects and responds to events or changes in the physical environment such as light, motion, or temperature changes.
A device that has category saref:Sensor and performs a saref:SensingFunction."""@en ;
	rdfs:isDefinedBy <https://w3id.org/saref#> ;
	rdfs:label "Sensor"@en .
# 
# https://w3id.org/saref#UnitOfMeasure

saref:UnitOfMeasure a owl:Class ;
	rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property. For example,  Power is a property and Watt is a unit of power that represents a definite predetermined power: when we say 10 Watt, we actually mean 10 times the definite predetermined power called \"watt\". Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM). We propose here a list of some units of measure that are relevant for the purpose of the Smart Appliances ontology, but this list can be extended."@en ;
	rdfs:isDefinedBy <https://w3id.org/saref#> ;
	rdfs:label "Unit of measure"@en .
# 
# 
# 
# #################################################################
# #
# #    Annotations
# #
# #################################################################
# 
# 

<http://www.w3.org/2003/01/geo/wgs84_pos#> dc:date "$Date: 2009/04/20 15:00:30 $" ;
	rdfs:label "geo" ;
	dc:description """A vocabulary for representing latitude, longitude and 
 altitude information in the WGS84 geodetic reference datum. 
 Version $Id: wgs84_pos.rdf,v 1.22 2009/04/20 15:00:30 timbl Exp $. See http://www.w3.org/2003/01/geo/ for more details.""" ;
	rdfs:comment """
Recent changes to this namespace:
$Log: wgs84_pos.rdf,v $
Revision 1.22  2009/04/20 15:00:30  timbl
Remove the time bits which have been deal with elsewhere eg in iCal.

Revision 1.21  2009/04/20 12:52:47  timbl
try again

Revision 1.20  2009/04/20 12:42:11  timbl
Add Event (edited ages ago and never checked in), and location (following discussion http://chatlogs.planetrdf.com/swig/2009-04-20#T12-36-09)

Revision 1.19  2009/04/20 12:36:31  timbl
Add Event (edited ages ago and never checked in), and location (following discussion http://chatlogs.planetrdf.com/swig/2009-04-20#T12-36-09)

Revision 1.18  2006/02/01 22:01:04  danbri
Clarified that lat and long are decimal degrees, and that alt is decimal metres about local reference ellipsoid

Revision 1.17  2004/02/06 17:38:12  danbri
Fixed a bad commit screwup

Revision 1.15  2003/04/19 11:24:08  danbri
Fixed the typo even more.

Revision 1.14  2003/04/19 11:16:56  danbri
fixed a typo

Revision 1.13  2003/02/19 22:27:27  connolly
relaxed domain constraints on lat/long/alt from Point to SpatialThing

Revision 1.12  2003/01/12 01:41:41  danbri
Trying local copy of XSLT doc.

Revision 1.11  2003/01/12 01:20:18  danbri
added a link to morten's xslt rdfs viewer.

Revision 1.10  2003/01/11 18:56:49  danbri
Removed datatype range from lat and long properties, since they would
have required each occurance of the property to mention the datatype.

Revision 1.9  2003/01/11 11:41:31  danbri
Another typo; repaired rdfs:Property to rdf:Property x4

Revision 1.8  2003/01/11 11:05:02  danbri
Added an rdfs:range for each lat/long/alt property,
http://www.w3.org/2001/XMLSchema#float

Revision 1.7  2003/01/10 20:25:16  danbri
Longer rdfs:comment for Point, trying to be Earth-centric and neutral about
coordinate system(s) at the same time. Feedback welcomed.

Revision 1.6  2003/01/10 20:18:30  danbri
Added CVS log comments into the RDF/XML as an rdfs:comment property of the
vocabulary. Note that this is not common practice (but seems both harmless
and potentially useful).


revision 1.5
date: 2003/01/10 20:14:31;  author: danbri;  state: Exp;  lines: +16 -5
Updated schema:
Added a dc:date, added url for more info. Changed the rdfs:label of the
namespace from gp to geo. Added a class Point, set as the rdfs:domain of
each property. Added XML comment on the lat_long property suggesting that
we might not need it (based on #rdfig commentary from implementors).

revision 1.4
date: 2003/01/10 20:01:07;  author: danbri;  state: Exp;  lines: +6 -5
Fixed typo; several rdfs:about attributes are now rdf:about. Thanks to MortenF in
#rdfig for catching this error.

revision 1.3
date: 2003/01/10 11:59:03;  author: danbri;  state: Exp;  lines: +4 -3
fixed buglet in vocab, added more wgs links

revision 1.2
date: 2003/01/10 11:01:11;  author: danbri;  state: Exp;  lines: +4 -4
Removed alt from the as-a-flat-string property, and switched from
space separated to comma separated.

revision 1.1
date: 2003/01/10 10:53:23;  author: danbri;  state: Exp;
basic geo vocab

""" ;
	dc:title "WGS84 Geo Positioning: an RDF vocabulary" .
# 

geo:lat_long rdfs:comment "A comma-separated representation of a latitude, longitude coordinate." ;
	rdfs:label "lat/long" .
# 

geo:location rdfs:label "location" ;
	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 .
 """ ;
	rdfs:label "location"@en .
# 
María's avatar
María committed
# Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi