oeg-upm/Chowlk

Cardinality restriction is not qualified as in documentation.

GordianDziwis opened this issue · 2 comments

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 ] .

Thanks! We'll have a look. We are updating all the documentation.

The documentation have been changed. To create cardinality restrictions please see https://chowlk.linkeddata.es/notation.html#restriction-cardinality-constraint-identifier