solid / authorization-panel

Github repository for the Solid Authorization Panel
MIT License
19 stars 20 forks source link

relating acl:agent and acl:agentClass #146

Open bblfish opened 3 years ago

bblfish commented 3 years ago

It would be helpful to formally relate acl:agent and acl:agentClass from the acl ontology, so that we can be clearer about their interactions.

Here is a diagrammatic representation of an Authorization:

In blue we have instance data, and in black the ontology.

This suggests the following relation between acl:agent and acl:agentClass

acl:agent owl:propertyChainAxiom ( acl:agentClass [ owl:inverseOf rdf:type ] ) .

Ie. an acl:agent is equivalent to a relation agent:Class followed by the inverse of an rdf:type.

There is an interesting additional question then as to the relation of these to acl:agentGroup. My guess is that

acl:agentGroup rdfs:subPropertyOf acl:agentClass .

It may even be an owl:equivalentProperty.