@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 .

#################################################################
#    Object Properties
#################################################################

###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/use
:use rdf:type owl:ObjectProperty ;
     rdfs:domain :Path ;
     rdfs:range :TransportationMean .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/usePath
:usePath rdf:type owl:ObjectProperty ;
         rdfs:domain :User ;
         rdfs:range :Path .


#################################################################
#    Classes
#################################################################

###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Path
:Path rdf:type owl:Class ;
      owl:equivalentClass [ rdf:type owl:Restriction ;
                            owl:onProperty :use ;
                            owl:minCardinality "1"^^xsd:nonNegativeInteger
                          ] .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/Preference
:Preference rdf:type owl:Class .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/TransportationMean
:TransportationMean rdf:type owl:Class .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/User
:User rdf:type owl:Class ;
      owl:equivalentClass [ rdf:type owl:Restriction ;
                            owl:onProperty :usePath ;
                            owl:someValuesFrom :Path
                          ] .


#################################################################
#    Individuals
#################################################################

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


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


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P1
:P1 rdf:type owl:NamedIndividual ,
             :Path ;
    :use :BIKE ;
    rdfs:comment "Représente un trajet en vélo vers le parc" .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P2
:P2 rdf:type owl:NamedIndividual ,
             :Path ;
    :use :BIKE ,
         :BUS .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/P3
:P3 rdf:type owl:NamedIndividual ,
             :Path ;
    :use :BIKE .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/USER1
:USER1 rdf:type owl:NamedIndividual ,
                :User ;
       :usePath :P1 ,
                :P2 .


###  http://www.semanticweb.org/michelgagnon/ontologies/mobilite/USER2
:USER2 rdf:type owl:NamedIndividual ,
                :User ;
       :usePath :P3 .


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

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :BIKE
                        :BUS
                      )
] .


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