Skip to content

Issue 575: Type metaclass members as classes #576

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

Open
wants to merge 2 commits into
base: gh-pages
Choose a base branch
from
Open

Issue 575: Type metaclass members as classes #576

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
df9198b
#575: Designate members of metaclasses as classes
ajnelson-nist Sep 17, 2025
bce97f3
#575: Designate shnex members of metaclasses as classes
ajnelson-nist Sep 18, 2025
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
10 changes: 8 additions & 2 deletions shacl12-vocabularies/shacl.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1534,7 +1534,10 @@ sh:SPARQLConstraint
# SPARQL-based Node Expressions -----------------------------------------------

sh:SelectExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Select expression"@en ;
rdfs:comment "The class of node expressions based on SPARQL SELECT queries."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -1561,7 +1564,10 @@ sh:SelectExpression-prefixes
rdfs:isDefinedBy sh: .

sh:SPARQLExprExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "SPARQL expr expression"@en ;
rdfs:comment "The class of node expressions based on SPARQL expressions (sh:sparqlExpr)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down
90 changes: 72 additions & 18 deletions shacl12-vocabularies/shnex.ttl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,10 @@ shnex:nodes
# Count Expressions -----------------------------------------------------------

shnex:CountExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Count expression"@en ;
rdfs:comment "A SHACL node expression that returns the number of nodes returned by a given node expression (sh:count)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -61,7 +64,10 @@ shnex:count
# Distinct Expressions --------------------------------------------------------

shnex:DistinctExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Distinct expression"@en ;
rdfs:comment "A SHACL node expression that can be used to returns only the distinct members of the results of another node expression."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -86,7 +92,10 @@ shnex:distinct
# Empty Expressions -----------------------------------------------------------

shnex:EmptyExpression
a sh:NodeExpressionFunction ;
a
rdfs:Class ,
sh:NodeExpressionFunction
;
rdfs:label "Empty expression"@en ;
rdfs:comment "A SHACL node expression that returns the empty list."@en ;
rdfs:subClassOf sh:NodeExpression ;
Expand All @@ -97,7 +106,10 @@ shnex:EmptyExpression
# Exists Expressions ----------------------------------------------------------

shnex:ExistsExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Exists expression"@en ;
rdfs:comment "A SHACL node expression that can be used to check that a given node expression returns at least one node."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -122,7 +134,10 @@ shnex:exists
# Filter Shape Expressions ----------------------------------------------------

shnex:FilterShapeExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Filter shape expression"@en ;
rdfs:comment "A SHACL node expression that returns the values of a given node expression (sh:nodes) except for those that do not conform to a given filter shape."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -156,7 +171,10 @@ shnex:filterShape
# If Expressions --------------------------------------------------------------

shnex:IfExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "If expression"@en ;
rdfs:comment "A SHACL node expression that evaluates a condition (sh:if) and then either returns the results of the sh:then or sh:else expression."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -209,7 +227,10 @@ shnex:else
# InstancesOf Expressions -----------------------------------------------------

shnex:InstancesOfExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "InstancesOf expression"@en ;
rdfs:comment "A SHACL node expression that returns the instances of a given class (and its transitive subclasses)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -235,7 +256,10 @@ shnex:instancesOf
# Intersection Expressions ----------------------------------------------------

shnex:IntersectionExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Intersection expression"@en ;
rdfs:comment "A SHACL node expression that can be used to returns the nodes that are found in the results of all the listed node expression."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -261,7 +285,10 @@ shnex:intersection
# Limit Expressions -----------------------------------------------------------

shnex:LimitExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Limit expression"@en ;
rdfs:comment "A SHACL node expression that returns the first X values of a given node expression (sh:nodes), where X is specified using sh:limit."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -295,7 +322,10 @@ shnex:limit
# List Expressions ------------------------------------------------------------

shnex:ListExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "List expression"@en ;
rdfs:comment "A SHACL node expression describing an RDF list, represented by a blank node with rdf:first and rdf:rest triples."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -320,7 +350,10 @@ shnex:ListExpression-rest
# Max Expressions -------------------------------------------------------------

shnex:MaxExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Max expression"@en ;
rdfs:comment "A SHACL node expression that returns the largest of the nodes returned by a given node expression (sh:max)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -345,7 +378,10 @@ shnex:max
# Min Expressions -------------------------------------------------------------

shnex:MinExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Min expression"@en ;
rdfs:comment "A SHACL node expression that returns the smallest of the nodes returned by a given node expression (sh:min)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -370,7 +406,10 @@ shnex:min
# Minus Expressions -----------------------------------------------------------

shnex:MinusExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Minus expression"@en ;
rdfs:comment "A SHACL node expression that returns the values of a given node expression (sh:nodes) except for those returned by another node expression (sh:minus)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -403,7 +442,10 @@ shnex:minus
# Offset Expressions ----------------------------------------------------------

shnex:OffsetExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Offset expression"@en ;
rdfs:comment "A SHACL node expression that skips the first X values of a given node expression (sh:nodes), where X is specified using sh:offset."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -437,7 +479,10 @@ shnex:offset
# Path Values Expressions -----------------------------------------------------

shnex:PathValuesExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Path values expression"@en ;
rdfs:comment "A SHACL node expression that returns the values of a given property path at the current focus node, or a computed focus node."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down Expand Up @@ -471,7 +516,10 @@ shnex:pathValues
# Sum Expressions -------------------------------------------------------------

shnex:SumExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Sum expression"@en ;
rdfs:comment "A SHACL node expression that returns the sum of the nodes returned by a given node expression (sh:sum)."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -496,7 +544,10 @@ shnex:sum
# Union Expressions -----------------------------------------------------------

shnex:UnionExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Union expression"@en ;
rdfs:comment "A SHACL node expression that can be used to returns the nodes that are found in either of the results of the listed node expression."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand All @@ -522,7 +573,10 @@ shnex:union
# Var Expressions -------------------------------------------------------------

shnex:VarExpression
a sh:NamedParameterExpressionFunction ;
a
rdfs:Class ,
sh:NamedParameterExpressionFunction
;
rdfs:label "Var expression"@en ;
rdfs:comment "A SHACL node expression that can be used to get the value of a variable such as 'focusNode'."@en ;
rdfs:subClassOf sh:NamedParameterExpression ;
Expand Down