@prefix : <http://www.semanticweb.org/michelgagnon/ontologies/mobilite/> .
@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 ;
                                                                owl:imports <http://schema.org/> .

#################################################################
#    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/usesMeansOfTransport
:usesMeansOfTransport rdf:type owl:ObjectProperty ,
                               owl:FunctionalProperty ;
                      rdfs:domain :PathSegment ;
                      rdfs:range :MeansOfTransport ;
                      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 :MeansOfTransport ;
         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 :MeansOfTransport ;
     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/MeansOfTransport
:MeansOfTransport 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/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 :usesMeansOfTransport ;
                                   owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onClass :MeansOfTransport
                                 ] ,
                                 [ 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/PersonalBicycle
:PersonalBicycle rdf:type owl:Class ;
                 rdfs:subClassOf :Bicycle ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty :hasCost ;
                                   owl:hasValue 0.0
                                 ] ;
                 owl:disjointWith :SharedBicyle ;
                 rdfs:label "Vélo personnel"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PersonalCar
:PersonalCar rdf:type owl:Class ;
             rdfs:subClassOf :Car ;
             rdfs:label "Voiture personnelle"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/PublicTransport
:PublicTransport rdf:type owl:Class ;
                 rdfs:subClassOf :MeansOfTransport ,
                                 [ 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/SharedBicyle
:SharedBicyle rdf:type owl:Class ;
              rdfs:subClassOf :Bicycle ;
              rdfs:comment "Il s'agit d'un vélo qu'on loue sur le champ à l'endroit où il se trouve et qu'on laisse à notre destination finale. Vélo d'un service comme Bixi."@fr ;
              rdfs:label "Bicyclette partagée"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/SharedCar
:SharedCar rdf:type owl:Class ;
           rdfs:subClassOf :Car ;
           rdfs:comment "Il s'agit d'une voiture qu'on loue sur le champ à l'endroit où elle se trouve et qu'on laisse à notre destination finale. Voiture d'un service comme Car2Go et Auto-mobile de Communauto."@fr ;
           rdfs:label "Auto partagée"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Taxi
:Taxi rdf:type owl:Class ;
      rdfs:subClassOf :Car ;
      rdfs:label "Taxi"@fr .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Walking
:Walking rdf:type owl:Class ;
         rdfs:subClassOf :MeansOfTransport ,
                         [ 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/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/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/L51
:L51 rdf:type owl:NamedIndividual ,
              :Bus ;
     :hasAccess :A50799 ,
                :A53877 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Marche
:Marche rdf:type owl:NamedIndividual ,
                 :Walking ;
        :usesMeansOfTransport :Marche .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P1
:P1 rdf:type owl:NamedIndividual ,
             <http://schema.org/Place> ;
    <http://schema.org/geo> :GC1 .


###  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/S1
:S1 rdf:type owl:NamedIndividual ,
             :PathSegment ;
    :destination :A50799 ;
    :origin :P1 ;
    :usesMeansOfTransport :Marche ;
    :positionInPath 1 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S2
:S2 rdf:type owl:NamedIndividual ,
             :PathSegment ;
    :destination :A53877 ;
    :origin :A50799 ;
    :usesMeansOfTransport :L51 ;
    :positionInPath 2 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S3
:S3 rdf:type owl:NamedIndividual ,
             :PathSegment ;
    :destination :Position-Poly ;
    :origin :A53877 ;
    :usesMeansOfTransport :Marche ;
    :positionInPath 3 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/S4
:S4 rdf:type owl:NamedIndividual ,
             :PathSegment .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/T1
:T1 rdf:type owl:NamedIndividual ,
             :Path ;
    :containsSegment :S1 ,
                     :S2 ,
                     :S3 ;
    :destination :Position-Poly ;
    :origin :P1 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/T2
:T2 rdf:type owl:NamedIndividual ,
             :Path .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :Bicycle
                :Car
                :PublicTransport
                :Walking
              )
] .


[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :PersonalCar
                :SharedCar
                :Taxi
              )
] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi