Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Solid ACP vocabulary #68

Merged
merged 6 commits into from
Nov 9, 2022
Merged

Solid ACP vocabulary #68

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
54ab659
Solid ACP vocabulary
acoburn May 13, 2022
cb759cb
Apply suggestions from code review
acoburn May 16, 2022
8bd8689
Update solid-acp.ttl
acoburn May 16, 2022
bf4d7d5
Update ACP ontology to version 0.9 2022-05-18
matthieubosquet May 18, 2022
4709676
Apply suggestions from code review
acoburn May 26, 2022
eb1dd0e
Apply suggestions from code review
acoburn Jun 7, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
281 changes: 281 additions & 0 deletions solid-acp.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,281 @@
prefix acp: <http://www.w3.org/ns/solid/acp#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix dc: <http://purl.org/dc/terms/>
prefix vann: <http://purl.org/vocab/vann/>

<http://www.w3.org/ns/solid/acp#>
a owl:Ontology ;
rdfs:label "Access Control Policy Language (ACP)"@en ;
dc:description "The Access Control Policy Language (ACP) is a language for describing, controlling, and granting access to resources."@en ;
rdfs:isDefinedBy acp: ;
rdfs:seeAlso <https://solid.github.io/authorization-panel/acp-specification/> ;
cito:citesAsAuthority
<https://www.w3.org/TR/rdf11-concepts/>,
<https://www.rfc-editor.org/info/rfc2119>,
<https://www.rfc-editor.org/info/rfc8174>,
<https://www.rfc-editor.org/info/rfc8288>,
<https://www.w3.org/TR/vc-data-model/> ;
dc:issued "2022-05-18"^^xsd:date ;
vann:preferredNamespacePrefix "acp" ;
vann:preferredNamespaceUri "http://www.w3.org/ns/solid/acp#"^^xsd:anyURI .


#################
# Classes
#################
acp:Context
a rdfs:Class ;
rdfs:label "Context"@en ;
dc:description "Instances of the Context class describe instances of resource access."@en ;
rdfs:isDefinedBy acp: .

acp:AccessControlResource
a rdfs:Class ;
rdfs:label "Access Control Resource"@en ;
dc:description "Instances of the Access Control Resource (ACR) class connect resources to their Access Controls."@en ;
rdfs:comment "Both the acp:resource property and its inverse acp:accessControlResource MUST be taken into account in determining the Access Control Resources controlling access to resources."@en ;
rdfs:isDefinedBy acp: .

acp:AccessControl
a rdfs:Class ;
rdfs:label "Access Control"@en ;
dc:description "Instances of the Access Control class connect Access Control Resources to their Policies."@en ;
rdfs:comment "All Access Controls controlling member resources access via the acp:memberAccessControl property MUST be included in the set of Access Controls linked as acp:accessControl in the effective authorization graph of a resource."@en ;
rdfs:isDefinedBy acp: .

acp:Policy
a rdfs:Class ;
rdfs:label "Access Policy"@en ;
dc:description "Instances of the Policy class connect Access Controls to allowed and denied Access Modes as well as sets of Matchers describing instances of resource access."@en ;
rdfs:comment "An ACP engine MUST grant exactly those Access Modes allowed by Effective Policies. Effective Policies are the Policies controlling access to a resource. A Policy MUST control access to a resource if: it is applied by an Access Control of an ACR of the resource; or, it is applied by a member Access Control of an ACR of an ancestor of the resource.\n\nAn Access Mode MUST be granted if and only if in the set of Effective Policies controlling access to it: a satisfied policy allows the Access Mode; and, no satisfied policy denies it.\n\nA Policy MUST be satisfied if and only if: it references at least one Matcher via an acp:allOf or acp:anyOf property; and, all of its acp:allOf Matchers are satisfied; and, at least one of its acp:anyOf Matchers is satisfied; and, none of its acp:noneOf Matchers are satisfied."@en ;
rdfs:seeAlso <https://www.w3.org/TR/sparql11-query/#propertypaths> ;
rdfs:isDefinedBy acp: .

acp:Matcher
a rdfs:Class ;
rdfs:label "Matcher"@en ;
dc:description "Instances of the Matcher class are descriptions of matching resource access Contexts."@en ;
rdfs:comment "A Matcher MUST be satisfied if and only if: it defines at least one attribute; and, at least one value of each defined attribute matches the Context. ACP engines MUST match the context attributes defined by this specification according to IRI equality and literal term equality.\n\nACP implementations supporting sub-properties of acp:attribute other than the ones defined by ACP SHOULD also define and implement corresponding matching algorithms."@en ;
rdfs:seeAlso <https://www.w3.org/TR/rdf11-concepts/> ;
rdfs:isDefinedBy acp: .

acp:AlwaysSatisfiedRestriction
a rdfs:Class ;
rdfs:label "Always Satisfied Restriction"@en ;
dc:description "Defined instances of the Always Satisfied Restriction class are used in Matcher restrictions to indicate that the restriction is always satisfied. The default behaviour of a Matcher is to not be satisfied, so this is the only way to make a Matcher always satisfied."@en ;
rdfs:isDefinedBy acp: .

acp:AccessMode
a rdfs:Class ;
rdfs:label "Access Mode"@en ;
dc:description "The ACP specification does not define specific Access Modes. Instead, any Access Mode granted is an instance of the Access Mode class. Access Modes and their granularity can be tailored to the needs of an application and Access Modes defined in other vocabularies can also be used (for example, instances of ACL Access)."@en ;
rdfs:isDefinedBy acp: ;
rdfs:seeAlso <http://www.w3.org/ns/auth/acl#Access> .

acp:AccessGrant
a rdfs:Class ;
rdfs:label "Access Grant"@en ;
dc:description "Instances of the Access Grant class define sets of Access Modes granted in particular Contexts."@en ;
rdfs:isDefinedBy acp: .


####################
# Properties
####################
acp:resource
a rdf:Property ;
owl:inverseOf acp:accessControlResource ;
rdfs:label "resource"@en ;
dc:description "The resource property connects ACRs to resources they control. It is the inverse of acp:accessControlResource."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessControlResource .

acp:accessControlResource
a rdf:Property ;
owl:inverseOf acp:resource ;
rdfs:label "access control resource"@en ;
dc:description "The access control resource property connects resources to ACRs controlling access to them. It is the inverse of acp:resource."@en ;
rdfs:isDefinedBy acp: ;
rdfs:range acp:AccessControlResource .

acp:accessControl
a rdf:Property ;
rdfs:label "access control"@en ;
dc:description "The access control property connects ACRs to Access Controls."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessControlResource ;
rdfs:range acp:AccessControl .

acp:memberAccessControl
rdfs:label "member access control"@en ;
dc:description "The member access control property transitively connects ACRs of member resources to Access Controls."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessControlResource ;
rdfs:range acp:AccessControl .

acp:apply
a rdf:Property ;
rdfs:label "apply"@en ;
dc:description "The apply property connects Access Controls to the Policies they apply to resources."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessControl ;
rdfs:range acp:Policy .

acp:allow
a rdf:Property ;
rdfs:label "allow"@en ;
dc:description "The allow property connects Policies to the Access Modes they allow if satisfied."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Policy ;
rdfs:range acp:AccessMode .

acp:deny
a rdf:Property ;
rdfs:label "deny"@en ;
dc:description "The deny property connects Policies to the Access Modes they deny if satisfied."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Policy ;
rdfs:range acp:AccessMode .

acp:allOf
a rdf:Property ;
rdfs:label "all of"@en ;
dc:description """The "all of" property connects Policies to a set of Matchers, all of which MUST be satisfied for the Policy to be satisfied."""@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Policy ;
rdfs:range acp:Matcher .

acp:anyOf
a rdf:Property ;
rdfs:label "any of"@en ;
dc:description """The "any of" property connects Policies to a set of Matchers, at least one of which MUST be satisfied for the Policy to be satisfied."""@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Policy ;
rdfs:range acp:Matcher .

acp:noneOf
a rdf:Property ;
rdfs:label "none of"@en ;
dc:description """The "none of" property connects Policies to a set of Matchers, all of which MUST NOT be satisfied for the Policy to be satisfied."""@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Policy ;
rdfs:range acp:Matcher .

acp:attribute
a rdf:Property ;
rdfs:label "attribute"@en ;
dc:description "Sub-properties of ACP attribute are used to describe instances of resource access."@en ;
rdfs:comment "Sub-properties of acp:attribute can be created to fit the specific access control requirements of applications."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:Context .

acp:target
rdfs:label "target"@en ;
dc:description "The target attribute describes requested resources."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:mode
rdfs:label "mode"@en ;
dc:description "The mode attribute describes requested modes of access."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:agent
rdfs:label "agent"@en ;
dc:description "The agent attribute describes agents initiating requests."@en ;
rdfs:comment "In a Matcher, agent attributes define a set of agents, at least one of which MUST match the Context for the Matcher to be satisfied."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:creator
rdfs:label "creator"@en ;
dc:description "The creator attribute describes creators of requested resources."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:owner
rdfs:label "owner"@en ;
dc:description "The owner attribute describes owners of requested resources."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:client
rdfs:label "client"@en ;
dc:description "The client attribute describes client applications used to request resources."@en ;
rdfs:comment "In a Matcher, client attributes define a set of clients, at least one of which MUST match the Context for the Matcher to be satisfied. "@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:issuer
rdfs:label "issuer"@en ;
dc:description "The issuer attribute describes identity providers used to assert the identity of agents requesting resources."@en ;
rdfs:comment "In a Matcher, issuer attributes define a set of issuers, at least one of which MUST match the Context for the Matcher to be satisfied."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute .

acp:vc
rdfs:label "vc"@en ;
dc:description "The vc attribute describes types of Verifiable Credentials (VC) presented as part of resource access requests."@en ;
rdfs:comment "In a Matcher, vc attributes define a set of types of Verifiable Credentials (VC), at least one of which MUST match the Context for the Matcher to be satisfied. A VC type present in the Context MUST be a valid VC presented as part of the resource access request."@en ;
rdfs:isDefinedBy acp: ;
rdfs:subPropertyOf acp:attribute ;
cito:citesAsAuthority <https://www.w3.org/TR/vc-data-model/>, <https://www.w3.org/TR/vc-data-model/#dfn-type> ;
rdfs:seeAlso <https://www.w3.org/TR/vc-data-model/#validation> .

acp:context
rdfs:label "context"@en ;
dc:description "The context property connects Access Grants to the Contexts in which they're given."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessGrant ;
rdfs:range acp:Context .

acp:grant
rdfs:label "grant"@en ;
dc:description "The grant property connects Access Grants to the Access Modes they grant."@en ;
rdfs:isDefinedBy acp: ;
rdfs:domain acp:AccessGrant ;
rdfs:range acp:AccessMode .


########################
# Named Individuals
########################
acp:PublicAgent
a owl:NamedIndividual, acp:AlwaysSatisfiedRestriction ;
dc:description "In a Matcher, agent attributes using the Public Agent named individual MUST match all Contexts."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Public Agent"@en .

acp:AuthenticatedAgent
a owl:NamedIndividual ;
dc:description "In a Matcher, agent attributes using the Authenticated Agent named individual MUST match Contexts that contain an agent."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Authenticated Agent"@en .

acp:CreatorAgent
a owl:NamedIndividual ;
dc:description "In a Matcher, agent attributes using the Creator Agent named individual MUST match Contexts where a defined creator matches the defined agent."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Creator Agent"@en .

acp:OwnerAgent
a owl:NamedIndividual ;
dc:description "In a Matcher, agent attributes using the Owner Agent named individual MUST match Contexts where a defined owner matches the defined agent."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Owner Agent"@en .

acp:PublicClient
a owl:NamedIndividual, acp:AlwaysSatisfiedRestriction ;
dc:description "In a Matcher, client attributes using the Public Client named individual MUST match all Contexts."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Public Client"@en .

acp:PublicIssuer
a owl:NamedIndividual, acp:AlwaysSatisfiedRestriction ;
dc:description "In a Matcher, issuer attributes using the Public Issuer named individual MUST match all Contexts."@en ;
rdfs:isDefinedBy acp: ;
rdfs:label "Public Issuer"@en .