[poe] Use of cardinality restrictions in the ontology?

nitmws has just created a new issue for https://github.com/w3c/poe:

== Use of cardinality restrictions in the ontology? ==
At the call on 19 June - https://www.w3.org/2017/06/19-poe-minutes - the question was raised if something required for testing is missing in the ontology.
I think the definition of the cardinality of object and data properties is missing as the free-text of the Information talks about it but this is not reflected by the ontology.

OWL 2 defines how to express cardinalities https://www.w3.org/TR/owl2-syntax/#Object_Property_Cardinality_Restrictions and https://www.w3.org/TR/owl2-syntax/#Data_Property_Cardinality_Restrictions

The specification of the Information Model that "a Rule MUST have an Action via the action property" could be expressed this way:
```
:Rule a rdfs:Class , owl:Class, skos:Concept ;
    rdfs:subClassOf [ rdf:type owl:Restriction ;
                        owl:onProperty :action ;
                        owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                        owl:onClass :Action
                      ] .
```

(btw:  I guess we need an "ontology" Github label)


Please view or discuss this issue at https://github.com/w3c/poe/issues/198 using your GitHub account

Received on Monday, 19 June 2017 17:46:17 UTC