Cardinality restriction is not qualified as in documentation.
GordianDziwis opened this issue · 2 comments
GordianDziwis commented
Output is:
ns:Class1 a owl:Class ;
rdfs:label "Class1" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:minCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty ns:objectProperty ],
[ a owl:Restriction ;
owl:maxCardinality "2"^^xsd:nonNegativeInteger ;
owl:onProperty ns:objectProperty ] .
The documentation says:
ns:Class1 rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty ns:objectProperty ;
owl:minQualifiedCardinality "N1"^^xsd:nonNegativeInteger ;
owl:onClass ns:Class2 ] ,
[ rdf:type owl:Restriction ;
owl:onProperty ns:objectProperty ;
owl:maxQualifiedCardinality "N2"^^xsd:nonNegativeInteger ;
owl:onClass ns:Class2 ] .
mariapoveda commented
Thanks! We'll have a look. We are updating all the documentation.
Sergio-Carulli commented
The documentation have been changed. To create cardinality restrictions please see https://chowlk.linkeddata.es/notation.html#restriction-cardinality-constraint-identifier