[poe] Issue: Use of cardinality restrictions in the ontology? marked as To Be Closed

riannella has just labeled an issue for https://github.com/w3c/poe as "To Be Closed":

== 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)


See https://github.com/w3c/poe/issues/198

Received on Friday, 14 July 2017 06:48:39 UTC