Unverified Commit 4812c5b7 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

someValuesFrom on consistsOf because non-simple property

parent 289aad72

ontology/saref4ener.ttl

+3 −6
Original line number Diff line number Diff line
@@ -174,8 +174,7 @@ s4ener:AlternativesGroup 
    ] ;

  rdfs:subClassOf [

      a owl:Restriction ;

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

      owl:onClass s4ener:PowerSequence ;

      owl:someValuesFrom s4ener:PowerSequence ;

      owl:onProperty saref:consistsOf ;

    ] ;

  rdfs:subClassOf [
@@ -1426,8 +1425,7 @@ s4ener:PowerProfile 
    ] ;

  rdfs:subClassOf [

      a owl:Restriction ;

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

      owl:onClass s4ener:AlternativesGroup ;

      owl:someValuesFrom s4ener:AlternativesGroup ;

      owl:onProperty saref:consistsOf ;

    ] ;

  rdfs:subClassOf [
@@ -1625,8 +1623,7 @@ s4ener:PowerSequence 
    ] ;

  rdfs:subClassOf [

      a owl:Restriction ;

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

      owl:onClass s4ener:Slot ;

      owl:someValuesFrom s4ener:Slot ;

      owl:onProperty saref:consistsOf ;

    ] ;

  rdfs:subClassOf [