# Vehicle rules file
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdfd: <http://id.ninebynine.org/2003/rdfext/rdfd#> .
@prefix rdfo: <http://id.ninebynine.org/2003/rdfext/rdfo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix ex: <http://id.ninebynine.org/wip/2003/swishtest/> .
@prefix pv: <http://id.ninebynine.org/wip/2003/swishtest/pv/> .
@prefix xsd_integer: <http://id.ninebynine.org/2003/XMLSchema/integer#> .
@prefix rs_rdf: <http://id.ninebynine.org/2003/Ruleset/rdf#> .
@prefix rs_rdfs: <http://id.ninebynine.org/2003/Ruleset/rdfs#> .
@prefix : <http://id.ninebynine.org/default/> .
:PassengerVehicle rdfd:constraint xsd_integer:sum ;
                  rdfd:onProperties _:_1 ;
                  rdf:type rdfd:GeneralRestriction .
:PassengerVehicle1 rdfd:constraint xsd_integer:sum ;
                   rdfd:maxCardinality "1"^^xsd:nonNegativeInteger ;
                   rdfd:onProperties _:_2 ;
                   rdf:type rdfd:GeneralRestriction .
_:_1 rdf:first :totalCapacity ;
     rdf:rest _:_3 .
_:_3 rdf:first :seatedCapacity ;
     rdf:rest _:_4 .
_:_4 rdf:first :standingCapacity ;
     rdf:rest rdf:nil .
_:_2 rdf:first :totalCapacity ;
     rdf:rest _:_5 .
_:_5 rdf:first :seatedCapacity ;
     rdf:rest _:_6 .
_:_6 rdf:first :standingCapacity ;
     rdf:rest rdf:nil .