diff --git a/documentation/diagrams/AdministrativeArea.png b/documentation/diagrams/AdministrativeArea.png index be311f063080f783c888110af91d98e5198bf975..444ef6aaf31689bd0afe435f06c20c0bcabd91e7 100644 Binary files a/documentation/diagrams/AdministrativeArea.png and b/documentation/diagrams/AdministrativeArea.png differ diff --git a/documentation/diagrams/CityObject.png b/documentation/diagrams/CityObject.png index d7097e235ad066642829c15867db87a2307f4fba..9af3359d23f700f0526d1aa09ce7c6539539ee0b 100644 Binary files a/documentation/diagrams/CityObject.png and b/documentation/diagrams/CityObject.png differ diff --git a/documentation/diagrams/Event.png b/documentation/diagrams/Event.png index 6514a5bbe99545b63a360dbc5a8cd41f01167642..fdfbacd714b9f3ff0616b1a65864c7bdb2622696 100644 Binary files a/documentation/diagrams/Event.png and b/documentation/diagrams/Event.png differ diff --git a/documentation/diagrams/Example.png b/documentation/diagrams/Example.png deleted file mode 100644 index f55a620d19294a2b88f965f6f13198021d45fd4f..0000000000000000000000000000000000000000 Binary files a/documentation/diagrams/Example.png and /dev/null differ diff --git a/documentation/diagrams/KPI.png b/documentation/diagrams/KPI.png index 607254b151b9dc1ed8f003903e55d9f13f8cb9ee..4a01607548e10fbf029e2c2a65b6de1029bf8430 100644 Binary files a/documentation/diagrams/KPI.png and b/documentation/diagrams/KPI.png differ diff --git a/documentation/diagrams/Overview.png b/documentation/diagrams/Overview.png index 007810aa829b7abdda55349640e6437718d6f460..a2a2d44c39785f58f3c9ea7cb85d41b848e43146 100644 Binary files a/documentation/diagrams/Overview.png and b/documentation/diagrams/Overview.png differ diff --git a/documentation/diagrams/PublicService.png b/documentation/diagrams/PublicService.png index 6e46d4a4717f8298eeb48e392250960c57053d85..9289dc8c739881c6da427388620c8fac6e9b9fcc 100644 Binary files a/documentation/diagrams/PublicService.png and b/documentation/diagrams/PublicService.png differ diff --git a/documentation/diagrams/S4CITY Example 1.png b/documentation/diagrams/S4CITY Example 1.png new file mode 100644 index 0000000000000000000000000000000000000000..89b02fbd380729cf06d897aaf1026592952f377b Binary files /dev/null and b/documentation/diagrams/S4CITY Example 1.png differ diff --git a/documentation/diagrams/Topology.png b/documentation/diagrams/Topology.png index 30bf2e92c8bd75a05a308137c53d66627ea06b22..915c16670c5b17e1ca07ee3b041ade1fd0903c17 100644 Binary files a/documentation/diagrams/Topology.png and b/documentation/diagrams/Topology.png differ diff --git a/documentation/diagrams/example.pdf b/documentation/diagrams/example.pdf deleted file mode 100644 index acf96e641d3fd34514a46280d7039014d2d81fd4..0000000000000000000000000000000000000000 Binary files a/documentation/diagrams/example.pdf and /dev/null differ diff --git a/documentation/diagrams/example/CITY example 1.jpg b/documentation/diagrams/example/CITY example 1.jpg deleted file mode 100644 index 272668e83a11eef797a36ee4d9468b7364ff1acb..0000000000000000000000000000000000000000 Binary files a/documentation/diagrams/example/CITY example 1.jpg and /dev/null differ diff --git a/documentation/diagrams/saref4city.xml b/documentation/diagrams/saref4city.xml index 16c97d62abe5a9f6338bab948a305442b1572bb8..07387d42fd6cc060c8aad5cefa554a3af4b8d932 100644 --- a/documentation/diagrams/saref4city.xml +++ b/documentation/diagrams/saref4city.xml @@ -1,47 +1,47 @@ - + - + - + - + - - + + - + - - + + - + - + - + - - + + @@ -50,123 +50,123 @@ - + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - + - + - - + + - + - + - - + + - + - - + + - + - - + + - + - + - + - + - - + + @@ -176,212 +176,205 @@ - - + + - - + + - - + + - - + + - + - - + + - - - + + - + - - + + - - + + - + - + - - + + - + - - - - - - - - + + + + + - - - - - - - - + + + + + - + - + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - + - - + + - + - - - - + + + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - - + + + @@ -392,13 +385,13 @@ - - + + - - - - + + + + @@ -409,38 +402,1289 @@ - - + + - + - - + + - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/examples/RoadCongestion.ttl b/examples/RoadCongestion.ttl new file mode 100644 index 0000000000000000000000000000000000000000..ea04cc4bda23fc1d2785c93316032735d7e33120 --- /dev/null +++ b/examples/RoadCongestion.ttl @@ -0,0 +1,158 @@ +@prefix : . +@prefix ex: . +@prefix s4icity: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@prefix vann: . +@prefix dc: . +@prefix geo: . +@prefix saref: . +@prefix s4bldg: . +@prefix s4envi: . +@prefix skos: . +@prefix dctype: . +@prefix sf: . +@prefix time: . +@prefix cpsv: . +@prefix org: . +@prefix om: . +@prefix lexvo: . +@prefix dcterms: . +@prefix mod: . +@prefix s4city: . +@prefix foaf: . +@base . + + a dctype:Dataset ; + dc:license ; + dc:conformsTo ; + dc:title "Road congestion example"@en ; + dc:description "Road congestion example"@en . + +ex:Camera1 rdf:type owl:NamedIndividual; + rdf:type saref:Device . + +ex:Camera1Observation200 rdf:type owl:NamedIndividual; + rdf:type saref:Observation . + +om:kilometrePerHour rdf:type owl:NamedIndividual; + rdf:type saref:UnitOfMeasure . + +ex:Car35 rdf:type owl:NamedIndividual; + rdf:type saref:FeatureOfInterest; + rdf:type geo:SpatialObject . + +ex:Speed rdf:type owl:NamedIndividual; + rdf:type saref:Property . + +ex:Lamppost6 rdf:type owl:NamedIndividual; + rdf:type s4envi:Lamppost; + rdf:type s4city:CityObject . + +ex:Building54 rdf:type owl:NamedIndividual; + rdf:type s4bldg:Building; + rdf:type s4city:CityObject . + +ex:CarLocation2018-11-20T13-30-00 rdf:type owl:NamedIndividual; + rdf:type sf:Point . + +ex:RoadSegment50 rdf:type owl:NamedIndividual; + rdf:type geo:SpatialObject . + +ex:RoadSegment50|Geometry rdf:type owl:NamedIndividual; + rdf:type geo:Geometry . + +ex:RoadCongestion rdf:type owl:NamedIndividual; + rdf:type s4city:KeyPerformanceIndicator . + +ex:RoadCongestionPeriod rdf:type owl:NamedIndividual; + rdf:type time:TemporalEntity . + +ex:RoadSegment50Congestion2018-11-20T13-30-00 rdf:type owl:NamedIndividual; + rdf:type s4city:KeyPerformanceIndicatorAssessment . + +ex:CarsSpeed2018-11-20 rdf:type owl:NamedIndividual; + rdf:type saref:Observation . + +ex:Pollution2018-11-20 rdf:type owl:NamedIndividual; + rdf:type saref:Observation . + +ex:GMapsAPI2018-11-20 rdf:type owl:NamedIndividual; + rdf:type saref:Observation . + +ex:2018-11-20 rdf:type owl:NamedIndividual; + rdf:type time:TemporalEntity . + +ex:City4 rdf:type owl:NamedIndividual; + rdf:type s4city:PublicAdministration; + rdf:type s4city:Agent . + +ex:BasketMatch23 rdf:type owl:NamedIndividual; + rdf:type s4city:Event . + +ex:BasketWeek2018 rdf:type owl:NamedIndividual; + rdf:type s4city:Event . + +ex:metro rdf:type owl:NamedIndividual; + rdf:type s4city:AccessibilityConcept . + +ex:BasketArena7 rdf:type owl:NamedIndividual; + rdf:type s4city:Facility . + +ex:HealthService123 rdf:type owl:NamedIndividual; + rdf:type s4city:PublicService . + +ex:Neighbourhood34 rdf:type owl:NamedIndividual; + rdf:type s4city:Neighbourhood . + +lexvo:iso639-3/spa rdf:type owl:NamedIndividual; + rdf:type dc:LinguisticSystem . + +ex:BusService33 rdf:type owl:NamedIndividual; + rdf:type s4city:PublicService . + +ex:TransportCo rdf:type owl:NamedIndividual; + rdf:type org:Organization; + rdf:type s4city:Agent . + +ex:Citizen11111 rdf:type owl:NamedIndividual; + rdf:type foaf:Person; + rdf:type s4city:Agent . + +ex:Camera1Observation200 saref:isMeasuredIn om:kilometrePerHour . +ex:Camera1Observation200 saref:madeBy ex:Camera1 . +ex:Camera1Observation200 saref:observes ex:Car35 . +ex:Camera1Observation200 saref:observes ex:Speed . +ex:Camera1Observation200 saref:hasValue "35"^^xsd:float . +ex:Car35 saref:hasProperty ex:Speed . +ex:Car35 geo:hasGeometry ex:CarLocation2018-11-20T13-30-00 . +ex:CarLocation2018-11-20T13-30-00 geo:sfWithin ex:RoadSegment50 . +ex:RoadSegment50 geo:sfContains ex:CarLocation2018-11-20T13-30-00 . +ex:RoadSegment50 geo:sfContains ex:Lamppost6 . +ex:RoadSegment50 geo:sfContains ex:Building54 . +ex:RoadSegment50 geo:hasGeometry ex:RoadSegment50|Geometry . +ex:RoadCongestion s4city:isKPIOf ex:RoadSegment50|Geometry . +ex:RoadCongestion s4city:hasCalculationPeriod ex:RoadCongestionPeriod . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:implementsKPI ex:RoadCongestion . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:assess ex:RoadSegment50|Geometry . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:isDerivedFrom ex:CarsSpeed2018-11-20 . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:isDerivedFrom ex:GMapsAPI2018-11-20 . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:isDerivedFrom ex:Pollution2018-11-20 . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:refersToTime ex:2018-11-20 . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:isAssessedBy ex:City4 . +ex:RoadSegment50Congestion2018-11-20T13-30-00 s4city:creationTime "2018-11-20T13-30-00"^^xsd:datetime . +ex:RoadSegment50Congestion2018-11-20T13-30-00 saref:hasValue "70%" . +ex:City4 cpsv:provides ex:HealthService123 . +ex:BasketMatch23 s4city:isOrganizedBy ex:City4 . +ex:BasketMatch23 s4city:isSubEventOf ex:BasketWeek2018 . +ex:BasketMatch23 s4city:hasAccessibility ex:metro . +ex:BasketMatch23 s4city:takesPlaceAtFacility ex:BasketArena7 . +ex:HealthService123 cpsv:physicallyAvailableAt ex:Neighbourhood34 . +ex:HealthService123 s4city:isAvailableInLanguage lexvo:iso639-3/spa . +ex:Neighbourhood34 geo:sfWithin ex:City4 . +ex:TransportCo cpsv:provides ex:BusService33 . +ex:Citizen11111 cpsv:uses ex:BusService33 . + diff --git a/examples/example1.ttl b/examples/example1.ttl deleted file mode 100644 index 8a0b6d629a1ae90bd8d769667b065a3f81dae932..0000000000000000000000000000000000000000 --- a/examples/example1.ttl +++ /dev/null @@ -1,211 +0,0 @@ -@prefix : . -@prefix wgs84: . -@prefix owl: . -@prefix rdf: . -@prefix xsd: . -@prefix rdfs: . -@prefix time: . -@prefix saref: . -@prefix s4envi: . -@prefix s4city: . -@prefix wurvoc: . -@prefix dcterms: . -@prefix dctype: . -@base . - - - a dctype:Dataset ; - dcterms:creator , - ; - dcterms:license ; - dcterms:conformsTo ; - dcterms:conformsTo ; - dcterms:conformsTo ; - dcterms:conformsTo ; - dcterms:conformsTo ; - dcterms:title "Example of use for the SAREF extension for Smart Cities"@en ; - dcterms:description "Example of use for the SAREF extension for Smart Cities"@en . - - -### http://lexvo.org/id/iso639-3/spa - rdf:type owl:NamedIndividual , - dcterms:LinguisticSystem . - - -### http://www.ontology-of-units-of-measure.org/resource/om-2/kilometrePerHour - rdf:type owl:NamedIndividual , - saref:UnitOfMeasure . - - -### https://saref.etsi.org/saref4city/data/city/example1#2018-11-20 - rdf:type owl:NamedIndividual , - time:TemporalEntity . - - -### https://saref.etsi.org/saref4city/data/city/example1/BasketArena7 - rdf:type owl:NamedIndividual , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/BasketMatch23 - rdf:type owl:NamedIndividual , - ; - ; - ; - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/BasketWeek2018 - rdf:type owl:NamedIndividual , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Building54 - rdf:type owl:NamedIndividual , - , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Bus33Service - rdf:type owl:NamedIndividual , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Camera1 - rdf:type owl:NamedIndividual , - saref:Device . - - -### https://saref.etsi.org/saref4city/data/city/example1/Camera1Measurement200 - rdf:type owl:NamedIndividual , - saref:Measurement ; - saref:isMeasurementOf ; - saref:isMeasuredIn ; - saref:measurementMadeBy ; - saref:relatesToProperty ; - saref:hasValue "35.0"^^xsd:float . - - -### https://saref.etsi.org/saref4city/data/city/example1/Car35 - rdf:type owl:NamedIndividual , - , - saref:FeatureOfInterest ; - wgs84:location ; - saref:hasProperty . - - -### https://saref.etsi.org/saref4city/data/city/example1/CarLocation2018-11-20T13-30-00 - rdf:type owl:NamedIndividual , - wgs84:Point ; - ; - wgs84:lat 40.405013 ; - wgs84:long -3.839349 . - - -### https://saref.etsi.org/saref4city/data/city/example1/CarsSpeed2018-11-20 - rdf:type owl:NamedIndividual , - saref:Measurement . - - -### https://saref.etsi.org/saref4city/data/city/example1/Citizen11111 - rdf:type owl:NamedIndividual , - , - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/City4 - rdf:type owl:NamedIndividual , - , - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/GMapsAPI2018-11-20 - rdf:type owl:NamedIndividual , - saref:Measurement . - - -### https://saref.etsi.org/saref4city/data/city/example1/HealthService123 - rdf:type owl:NamedIndividual , - ; - ; - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Lamppost6 - rdf:type owl:NamedIndividual , - , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Metro - rdf:type owl:NamedIndividual . - - -### https://saref.etsi.org/saref4city/data/city/example1/Neighbourhood34 - rdf:type owl:NamedIndividual , - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Pollution2018-11-20 - rdf:type owl:NamedIndividual , - saref:Measurement . - - -### https://saref.etsi.org/saref4city/data/city/example1/RoadCongestion - rdf:type owl:NamedIndividual , - ; - ; - . - - -### https://saref.etsi.org/saref4city/data/city/example1/RoadCongestionPeriod - rdf:type owl:NamedIndividual , - time:TemporalDuration . - - -### https://saref.etsi.org/saref4city/data/city/example1/RoadSegment50 - rdf:type owl:NamedIndividual , - ; - ; - , - , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/RoadSegment50Congestion2018-11-20T13-30-00 - rdf:type owl:NamedIndividual , - ; - ; - ; - , - , - ; - ; - ; - saref:hasValue "70%" ; - "2018-11-20T13:20:00"^^xsd:dateTime . - - -### https://saref.etsi.org/saref4city/data/city/example1/RoadSegment50Geometry - rdf:type owl:NamedIndividual , - . - - -### https://saref.etsi.org/saref4city/data/city/example1/Speed - rdf:type owl:NamedIndividual , - saref:Property . - - -### https://saref.etsi.org/saref4city/data/city/example1/TransportCo - rdf:type owl:NamedIndividual , - , - ; - . - - -### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi