@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology . ################################################################# # Annotation properties ################################################################# ### http://schema.org/geo rdf:type owl:AnnotationProperty . ################################################################# # Datatypes ################################################################# ### http://www.w3.org/2001/XMLSchema#dateTime xsd:dateTime owl:equivalentClass xsd:dateTime . ################################################################# # Object Properties ################################################################# ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/containsSegment :containsSegment rdf:type owl:ObjectProperty ; rdfs:domain :Path ; rdfs:range :PathSegment ; rdfs:label "contient segment"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/destination :destination rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:range ; rdfs:label "destination"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/hasAccess :hasAccess rdf:type owl:ObjectProperty ; rdfs:domain :PublicTransport ; rdfs:range ; rdfs:comment "Indique un point d'accès (arrêt d'autobus ou station de métro)"@fr , "accès"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/origin :origin rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:range . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/usesPath :usesPath rdf:type owl:ObjectProperty ; rdfs:domain :User ; rdfs:range :Path . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/usesTransportationMean :usesTransportationMean rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain :PathSegment ; rdfs:range :TransportationMean ; rdfs:comment "Sert à indiquer le moyen de transport utillsé pour réaliser un segment de trajet."@fr ; rdfs:label "Utilise moyen de transport"@fr . ################################################################# # Data properties ################################################################# ### http://schema.org/latitude rdf:type owl:DatatypeProperty . ### http://schema.org/longitude rdf:type owl:DatatypeProperty . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/endTime :endTime rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:label "début" . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/hasCost :hasCost rdf:type owl:DatatypeProperty ; rdfs:comment "prix" . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/positionInPath :positionInPath rdf:type owl:DatatypeProperty ; rdfs:comment "Comme un trajet peut comprendre plusieurs segments, cette propriété permet d'indiquer la position d'un segment dans un trajet" ; rdfs:label "position dans trajet" . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/startTime :startTime rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:label "fin" . ################################################################# # Classes ################################################################# ### http://schema.org/GeoCoordinates rdf:type owl:Class . ### http://schema.org/Place rdf:type owl:Class . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Bicycle :Bicycle rdf:type owl:Class ; rdfs:subClassOf :TransportationMean ; rdfs:label "Vélo"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Bus :Bus rdf:type owl:Class ; rdfs:subClassOf :PublicTransport , [ rdf:type owl:Restriction ; owl:onProperty :hasAccess ; owl:allValuesFrom :BusStop ] ; owl:disjointWith :Metro ; rdfs:label "Autobus"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BusStop :BusStop rdf:type owl:Class ; rdfs:subClassOf :PublicTransportAcces ; owl:disjointWith :MetroStation ; rdfs:label "Arrêt d'autobus"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Car :Car rdf:type owl:Class ; rdfs:subClassOf :TransportationMean ; rdfs:label "Voiture"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Displacement :Displacement rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :destination ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass ] , [ rdf:type owl:Restriction ; owl:onProperty :origin ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass ] , [ rdf:type owl:Restriction ; owl:onProperty :endTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] , [ rdf:type owl:Restriction ; owl:onProperty :startTime ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:dateTime ] ; rdfs:label "Déplacement" . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Metro :Metro rdf:type owl:Class ; rdfs:subClassOf :PublicTransport , [ rdf:type owl:Restriction ; owl:onProperty :hasAccess ; owl:allValuesFrom :MetroStation ] ; rdfs:label "Metro"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/MetroStation :MetroStation rdf:type owl:Class ; rdfs:subClassOf :PublicTransportAcces ; rdfs:label "Station de métro"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Path :Path rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :containsSegment ; owl:someValuesFrom :PathSegment ] ; rdfs:subClassOf :Displacement ; rdfs:comment "Il s'agit d'un itinéraire entre deux points géographiques. Cet itinéraire peut être composé de plusieurs segments, chacun impliquant un moyen de transport."@fr ; rdfs:label "Trajet"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PathSegment :PathSegment rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :usesTransportationMean ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onClass :TransportationMean ] , [ rdf:type owl:Restriction ; owl:onProperty :positionInPath ; owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; owl:onDataRange xsd:integer ] ; rdfs:subClassOf :Displacement ; rdfs:comment "Il s'agit d'un segment d'un trajet, réalisé avec un seul moyen de transport."@fr ; rdfs:label "Segment de trajet"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PublicTransport :PublicTransport rdf:type owl:Class ; rdfs:subClassOf :TransportationMean , [ rdf:type owl:Restriction ; owl:onProperty :hasAccess ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass :PublicTransportAcces ] ; owl:disjointUnionOf ( :Bus :Metro ) ; rdfs:label "Transport en commun"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PublicTransportAcces :PublicTransportAcces rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Point d'accès à un service de transport en commun"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/TransportationMean :TransportationMean rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty :hasCost ; owl:someValuesFrom xsd:float ] ; rdfs:label "Moyen de transport"@fr . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/User :User rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :usesPath ; owl:someValuesFrom :Path ] . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Walking :Walking rdf:type owl:Class ; rdfs:subClassOf :TransportationMean , [ rdf:type owl:Restriction ; owl:onProperty :hasCost ; owl:hasValue 0 ] ; rdfs:comment "Cette classe représente toutes les situations où un segment de trajet a été effectué à la marche."@fr ; rdfs:label "Marche"@fr . ################################################################# # Individuals ################################################################# ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/A32754 :A32754 rdf:type owl:NamedIndividual . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/A50799 :A50799 rdf:type owl:NamedIndividual , :BusStop ; :GC2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/A53877 :A53877 rdf:type owl:NamedIndividual , :BusStop ; :GC3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BIKE :BIKE rdf:type owl:NamedIndividual , :Bicycle . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BLUE_LINE :BLUE_LINE rdf:type owl:NamedIndividual , :Metro . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BUS165 :BUS165 rdf:type owl:NamedIndividual , :Bus . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BUS51 :BUS51 rdf:type owl:NamedIndividual , :Bus ; :hasAccess :A50799 , :A53877 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/BUS67 :BUS67 rdf:type owl:NamedIndividual , :Bus . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/COMMUNAUTO :COMMUNAUTO rdf:type owl:NamedIndividual , :Car . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC1 :GC1 rdf:type owl:NamedIndividual , ; "45.471066"^^xsd:float ; "-73.63528"^^xsd:float . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC2 :GC2 rdf:type owl:NamedIndividual , ; "45.47369"^^xsd:float ; "-73.63905"^^xsd:float . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC3 :GC3 rdf:type owl:NamedIndividual , ; "45.503883"^^xsd:float ; "-73.618195"^^xsd:float . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC4 :GC4 rdf:type owl:NamedIndividual , ; 45.504921 ; -73.615265 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GREEN_LINE :GREEN_LINE rdf:type owl:NamedIndividual , :Metro . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/ORANGE_LINE :ORANGE_LINE rdf:type owl:NamedIndividual , :Metro . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P1 :P1 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S1 , :S2 , :S3 ; :destination :Position-Poly ; :origin :Position-H1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P2 :P2 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S0 , :S2 , :S3 ; :destination :Position-Poly ; :origin :Position-H1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P3 :P3 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S4 , :S5 , :S6 ; :destination :Position-Poly ; :origin :Position-H1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P4 :P4 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S7 ; :destination :Position-Poly ; :origin :Position-H1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P5 :P5 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S10 , :S11 , :S8 , :S9 ; :destination :Position-Poly ; :origin :Position-H2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P6 :P6 rdf:type owl:NamedIndividual , :Path ; :containsSegment :S12 , :S13 ; :destination :Position-Poly ; :origin :Position-H2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PERSONAL_CAR :PERSONAL_CAR rdf:type owl:NamedIndividual , :Car . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Position-H1 :Position-H1 rdf:type owl:NamedIndividual , . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Position-H2 :Position-H2 rdf:type owl:NamedIndividual , . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Position-Poly :Position-Poly rdf:type owl:NamedIndividual , ; :GC4 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S0 :S0 rdf:type owl:NamedIndividual , :PathSegment ; :destination :A50799 ; :origin :Position-H1 ; :usesTransportationMean :BIKE ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S1 :S1 rdf:type owl:NamedIndividual , :PathSegment ; :destination :A50799 ; :origin :Position-H1 ; :usesTransportationMean :Walk ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S10 :S10 rdf:type owl:NamedIndividual , :PathSegment ; :destination :UDEM ; :origin :STMICHEL ; :usesTransportationMean :BLUE_LINE ; :positionInPath 3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S11 :S11 rdf:type owl:NamedIndividual , :PathSegment ; :destination :Position-Poly ; :origin :UDEM ; :usesTransportationMean :Walk ; :positionInPath 4 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S12 :S12 rdf:type owl:NamedIndividual , :PathSegment ; :destination :STMICHEL ; :origin :Position-H2 ; :usesTransportationMean :BIKE ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S13 :S13 rdf:type owl:NamedIndividual , :PathSegment ; :destination :UDEM ; :origin :STMICHEL ; :usesTransportationMean :BLUE_LINE ; :positionInPath 2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S14 :S14 rdf:type owl:NamedIndividual , :PathSegment ; :destination :Position-Poly ; :origin :UDEM ; :usesTransportationMean :Walk ; :positionInPath 3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S2 :S2 rdf:type owl:NamedIndividual , :PathSegment ; :destination :A53877 ; :origin :A50799 ; :usesTransportationMean :BUS51 ; :positionInPath 2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S3 :S3 rdf:type owl:NamedIndividual , :PathSegment ; :destination :Position-Poly ; :origin :A53877 ; :usesTransportationMean :Walk ; :positionInPath 3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S4 :S4 rdf:type owl:NamedIndividual , :PathSegment ; :destination :SNOWDON ; :origin :Position-H1 ; :usesTransportationMean :BIKE ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S5 :S5 rdf:type owl:NamedIndividual , :PathSegment ; :destination :UDEM ; :origin :SNOWDON ; :usesTransportationMean :BLUE_LINE ; :positionInPath 2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S6 :S6 rdf:type owl:NamedIndividual , :PathSegment ; :destination :Position-Poly ; :origin :UDEM ; :usesTransportationMean :Walk ; :positionInPath 3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S7 :S7 rdf:type owl:NamedIndividual , :PathSegment ; :destination :Position-Poly ; :origin :Position-H1 ; :usesTransportationMean :BIKE ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S8 :S8 rdf:type owl:NamedIndividual , :PathSegment ; :destination :A32754 ; :origin :Position-H2 ; :usesTransportationMean :Walk ; :positionInPath 1 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S9 :S9 rdf:type owl:NamedIndividual , :PathSegment ; :destination :STMICHEL ; :origin :A32754 ; :usesTransportationMean :BUS67 ; :positionInPath 2 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/SNOWDON :SNOWDON rdf:type owl:NamedIndividual , :MetroStation . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/STMICHEL :STMICHEL rdf:type owl:NamedIndividual , :MetroStation . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/TAXI :TAXI rdf:type owl:NamedIndividual , :Car . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/UDEM :UDEM rdf:type owl:NamedIndividual , :MetroStation . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/USER1 :USER1 rdf:type owl:NamedIndividual , :User ; :usesPath :P1 , :P2 , :P3 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/USER2 :USER2 rdf:type owl:NamedIndividual , :User ; :usesPath :P5 , :P6 . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Walk :Walk rdf:type owl:NamedIndividual , :Walking ; :usesTransportationMean :Walk . ### http://www.semanticweb.org/michelgagnon/ontologies/mobilite/YELLOW_LINE :YELLOW_LINE rdf:type owl:NamedIndividual , :Metro . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDisjointClasses ; owl:members ( :Bicycle :Car :PublicTransport :Walking ) ] . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi