Unverified Commit 289aad72 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

cardinality =3 is forbidden in owl dl

parent 713c50b3

ontology/saref4ener.ttl

+2 −9
Original line number Diff line number Diff line
@@ -1379,16 +1379,9 @@ s4ener:PowerPlan 
  rdfs:subClassOf s4ener:TimeSeries ;

  rdfs:subClassOf [

      a owl:Restriction ;

      owl:maxQualifiedCardinality "3"^^xsd:nonNegativeInteger ;

      owl:onClass s4ener:TimeSeries ;

      owl:onProperty saref:consistsOf ;

    ] ;

  rdfs:subClassOf [

      a owl:Restriction ;

      owl:minQualifiedCardinality "3"^^xsd:nonNegativeInteger ;

      owl:onClass s4ener:TimeSeries ;

      owl:onProperty saref:consistsOf ;

    ] ;

      owl:someValuesFrom s4ener:TimeSeries ;

    ] 

.

s4ener:PowerProfile

  a owl:Class ;