Turns an OWL Ontology into a set of SHACL Shapes.
Each shape will be sh:closed with all the properties from its superclasses and subclasses in sh:ignoredProperties.
Add sh:ignoredProperties with properties from subClasses and super classes.
rdfs:comment
For every ancestor or descendant class of this class, fetch the paths of the associated property shape,
and add this property as an sh:ignoredProperty value of this class.
NOTE : SHACL-Play does a post-processing on this to convert the values of sh:ignoredProperties into an RDF List.
sh:order
10
owl2sh-closed:closeNodeShapes
rdfs:label
Close NodeShapes
rdfs:comment
Make all sh:NodeShapes closed Shapes
sh:order
10
owl2sh-closed:owlAllValuesFrom2shClassOrDatatype
rdfs:label
owl:allValuesFrom with IRI to sh:class or sh:datatype
rdfs:comment
For each owl:allValuesFrom restriction, create a corresponding sh:class or sh:datatype constraint.
sh:order
4
owl2sh-closed:owlFunctionalProperty2shMaxCount1
rdfs:label
owl:FunctionalProperty to sh:maxCount 1
rdfs:comment
For each relevant property that is owl:FunctionalProperty, create sh:maxCount of 1 (unless there is an OWL cardinality restriction).
sh:order
3
owl2sh-closed:owlHasValue2shHasValue
rdfs:label
owl:hasValue to sh:hasValue
rdfs:comment
For each owl:hasValue restriction, create a corresponding sh:hasValue constraint.
sh:order
8
owl2sh-closed:owlMaxCardinality2shMaxCount
rdfs:label
owl:maxCardinality to sh:maxCount
rdfs:comment
For each owl:maxCardinality restriction, create a corresponding sh:maxCount constraint.
owl:maxQualifiedCardinality with owl:onClass to sh:maxCount
rdfs:comment
For each owl:maxQualifiedCardinality restriction on an IRI class, create a corresponding sh:maxCount constraint, if the owl:onClass is identical to the rdfs:range of the property.
owl:maxQualifiedCardinality with owl:onClass to sh:qualifiedMaxCount
rdfs:comment
For each owl:maxQualifiedCardinality restriction on an IRI class, create a corresponding (new) sh:qualifiedMaxCount constraint, unless the owl:onClass is identical to the rdfs:range of the property.
owl:minQualifiedCardinality with owl:onClass to sh:minCount
rdfs:comment
For each owl:minQualifiedCardinality restriction on an IRI class, create a corresponding sh:minCount constraint, if the owl:onClass is identical to the rdfs:range of the property.
owl:minQualifiedCardinality with owl:onClass to sh:qualifiedMinCount
rdfs:comment
For each owl:minQualifiedCardinality restriction on an IRI class, create a corresponding (new) sh:qualifiedMinCount constraint, unless the owl:onClass is identical to the rdfs:range of the property.
owl:qualifiedCardinality with owl:onClass to sh:max/minCount
rdfs:comment
For each owl:qualifiedCardinality restriction on an IRI class, create corresponding sh:max/minCount constraints, if the owl:onClass is identical to the rdfs:range of the property.
owl:qualifiedCardinality with owl:onClass to sh:qualifiedMax/MinCount
rdfs:comment
For each owl:qualifiedCardinality restriction on an IRI class, create a corresponding (new) sh:qualifiedMax/MinCount constraint, unless the owl:onClass is identical to the rdfs:range of the property.
owl:someValuesFrom with IRI to dash:hasValueWithClass
rdfs:comment
For each owl:someValuesFrom restriction combined with an owl:allValuesFrom on an IRI, create a corresponding dash:hasValueWithClass constraint using a path expression.
For example:
ex:ConstitutionalOwner
a owl:Class ;
rdfs:subClassOf [
a owl:Restriction ;
owl:onProperty ex:isPlayedBy ;
owl:someValuesFrom [
a owl:Restriction ;
owl:allValuesFrom ex:StockholdersEquity ;
owl:onProperty ex:holdsEquityIn ;
] ;
] .
becomes
ex:ConstitutionalOwner
a sh:NodeShape ;
sh:property [
sh:path ( ex:isPlayedBy ex:holdsEquityIn ) ;
dash:hasValueWithClass ex:StockholdersEquity ;
] .
owl:someValuesFrom with IRI to dash:hasValueWithClass
rdfs:comment
For each owl:someValuesFrom restriction with an IRI, create a corresponding dash:hasValueWithClass constraint.
sh:order
4
owl2sh-closed:owlUnionOfIRIs2rdfsSubClassOf
rdfs:label
owl:unionOf IRIs to rdfs:subClassOf
rdfs:comment
For each owl:unionOf that only consists of named classes, move these classes into "normal" rdfs:subClassOf triples.
sh:order
4
owl2sh-closed:rdfsRange2shClassOrDatatype
rdfs:label
rdfs:range with IRI to sh:class or sh:datatype
rdfs:comment
For each relevant property that has an rdfs:range, create sh:class or sh:datatype constraint unless it already exists (from a restriction).
sh:order
5
owl2sh-closed:rdfsRange2shNode
rdfs:label
rdfs:range with IRI to sh:class or sh:datatype
rdfs:comment
For each relevant property that has an rdfs:range, creates an sh:node if the range yielded a NodeShape that has an sh:hasValue constraint, instead of an sh:class
sh:order
4
owl2sh-closed:rdfsRangeLiteral2shNodeKind
rdfs:label
rdfs:range rdfs:Literal to sh:nodeKind sh:Literal
rdfs:comment
For each relevant property that has an rdfs:range with value rdfs:Literal, create sh:nodeKind constraint.
sh:order
5
owl2sh-closed:shPropertyShapeCleanUp
rdfs:label
sh:property shape clean up
rdfs:comment
For each value of sh:property, add a rdf:type sh:PropertyShape triple.