@prefix : <http://www.semanticweb.org/michelgagnon/ontologies/> .
@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/michelgagnon/ontologies/mobilite/> .

<http://www.semanticweb.org/michelgagnon/ontologies/mobilite/> rdf:type owl:Ontology .

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

###  http://schema.org/geo
<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 <http://schema.org/Place> ;
             rdfs:label "destination"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/hasAccess
:hasAccess rdf:type owl:ObjectProperty ;
           rdfs:domain :PublicTransport ;
           rdfs:range <http://schema.org/Place> ;
           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://schema.org/Place> .


###  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
<http://schema.org/latitude> rdf:type owl:DatatypeProperty .


###  http://schema.org/longitude
<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
<http://schema.org/GeoCoordinates> rdf:type owl:Class .


###  http://schema.org/Place
<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 <http://schema.org/Place>
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty :origin ;
                                    owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                    owl:onClass <http://schema.org/Place>
                                  ] ,
                                  [ 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 <http://schema.org/Place> ;
                      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 ;
        <http://schema.org/geo> :GC2 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/A53877
:A53877 rdf:type owl:NamedIndividual ,
                 :BusStop ;
        <http://schema.org/geo> :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 ,
              <http://schema.org/GeoCoordinates> ;
     <http://schema.org/latitude> "45.471066"^^xsd:float ;
     <http://schema.org/longitude> "-73.63528"^^xsd:float .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC2
:GC2 rdf:type owl:NamedIndividual ,
              <http://schema.org/GeoCoordinates> ;
     <http://schema.org/latitude> "45.47369"^^xsd:float ;
     <http://schema.org/longitude> "-73.63905"^^xsd:float .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC3
:GC3 rdf:type owl:NamedIndividual ,
              <http://schema.org/GeoCoordinates> ;
     <http://schema.org/latitude> "45.503883"^^xsd:float ;
     <http://schema.org/longitude> "-73.618195"^^xsd:float .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/GC4
:GC4 rdf:type owl:NamedIndividual ,
              <http://schema.org/GeoCoordinates> ;
     <http://schema.org/latitude> 45.504921 ;
     <http://schema.org/longitude> -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://schema.org/Place> .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Position-H2
:Position-H2 rdf:type owl:NamedIndividual ,
                      <http://schema.org/Place> .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Position-Poly
:Position-Poly rdf:type owl:NamedIndividual ,
                        <http://schema.org/Place> ;
               <http://schema.org/geo> :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