Unverified Commit 15eaa795 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

cardinality 3 forbidden in OWL 2 DL

parent 73ba9b38

ontology/saref4ener.ttl

+2 −4
Original line number Diff line number Diff line
@@ -1379,14 +1379,12 @@ s4ener:PowerPlan 
  rdfs:subClassOf s4ener:TimeSeries ;

  rdfs:subClassOf [

      a owl:Restriction ;

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

      owl:onClass s4ener:TimeSeries ;

      owl:someValuesFrom s4ener:TimeSeries ;

      owl:onProperty saref:consistsOf ;

    ] ;

  rdfs:subClassOf [

      a owl:Restriction ;

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

      owl:onClass s4ener:TimeSeries ;

      owl:someValuesFrom s4ener:TimeSeries ;

      owl:onProperty saref:consistsOf ;

    ] ;

.