Convert SHACL to ShEx

Implement a conversion from SHACL-core to ShEx. 

The converter has already been started although some features are not implemented yet. We will keep this issue open to track the features that are implemented and the issues found.

Features:

SHACL features based on: [SHACL recommendation](https://www.w3.org/TR/shacl/)

# Target selection

Simple target selection can be mapped to ShEx shape maps.

| Feature | | 
| --- | --- | --- |
| Target Node [sh:targetNode](http://w3c.github.io/data-shapes/shacl/#targetNode) |  ❌ | Pending shapeMaps conversion  |
| Class-based targets [sh:targetClass](http://w3c.github.io/data-shapes/shacl/#targetClass) |  ❌   | Pending shapeMaps conversion |
| [Implicit class targets](http://w3c.github.io/data-shapes/shacl/#implicit-targetClass) |  ❌   | Pending shapeMaps conversion  |
| Subjects of targets [sh:targetSubjectsOf](http://w3c.github.io/data-shapes/shacl/#targetSubjectsOf) |  ❌   |  Pending shapeMaps conversion |
| Objects of targets [sh:targetObjectsOf](http://w3c.github.io/data-shapes/shacl/#targetObjectsOf) | ❌  | Pending shapeMaps conversion |

# Shapes
| Feature | Supported | Comments |
| --- | --- | --- |
| `sh:name` |   |  Could be done with annotations |
| `sh:description` |  |  Could be done with annotations |
| `sh:group` |   | Could be done with annotations |
| `sh:order` |  | Could be done with annotations |
| [`owl:imports`](https://www.w3.org/TR/shacl/#shapes-graph) |   | |
| [`sh:entailment`](https://www.w3.org/TR/shacl/#shapes-graph) |  |  |
| [`sh:shapesGraph`](https://www.w3.org/TR/shacl/#sh-shapes-graph) |  |  |

# Validation report

| Feature | Supported | Pending |
| --- | --- | --- |
| [`sh:deactivated`](https://www.w3.org/TR/shacl/#deactivated) |  |  |
| [`sh:message`](https://www.w3.org/TR/shacl/#message) |  |  |
| [`sh:severity`](https://www.w3.org/TR/shacl/#severity) |  |  |


# Constraints

| Feature | Supported | Pending |
| --- | --- | --- |
| [Node constraints](http://w3c.github.io/data-shapes/shacl/#focus-node-constraints-section) | :heavy_check_mark: |  |
| [Property shapes (`sh:path`)](http://w3c.github.io/data-shapes/shacl/#property-shapes) |  :heavy_check_mark: | |
| [Path constraints](http://w3c.github.io/data-shapes/shacl/#path-syntax) | | This feature is not easy to map between ShEx and SHACL |

# Constraint components

| Feature | Supported | Pending | Comments |
| --- | --- | --- | --- |
| [sh:class](http://w3c.github.io/data-shapes/shacl/#ClassConstraintComponent) |  |  |  |
| [sh:datatype](http://w3c.github.io/data-shapes/shacl/#DatatypeConstraintComponent) | :heavy_check_mark: |  |  |
| [sh:nodeKind](http://w3c.github.io/data-shapes/shacl/#NodeKindConstraintComponent) | :heavy_check_mark: |  |  |
| [sh:minCount](http://w3c.github.io/data-shapes/shacl/#MinCountConstraintComponent) | :heavy_check_mark: |  |  |
| [sh:maxCount](http://w3c.github.io/data-shapes/shacl/#MaxCountConstraintComponent) | :heavy_check_mark: |  |  |
| [sh:minInclusive, sh:maxInclusive, sh:minExclusive, sh:maxExclusive](http://w3c.github.io/data-shapes/shacl/#range-property-constraints) |  |  |  |
| [sh:minLength](http://w3c.github.io/data-shapes/shacl/#MinLengthConstraintComponent) |  |  |  |
| [sh:maxLength](http://w3c.github.io/data-shapes/shacl/#MaxLengthConstraintComponent) |  |  |  |
| [sh:pattern](http://w3c.github.io/data-shapes/shacl/#PatternConstraintComponent) |  |  |  |
| [sh:flags](http://w3c.github.io/data-shapes/shacl/#PatternConstraintComponent) |    | |  |
| [sh:languageIn](http://w3c.github.io/data-shapes/shacl/#LanguageInConstraintComponent) |   |  |  |
| [sh:uniqueLang](http://w3c.github.io/data-shapes/shacl/#UniqueLangConstraintComponent) |   | |  |
| [sh:equals](http://w3c.github.io/data-shapes/shacl/#EqualsConstraintComponent) |  |  |  |
| [sh:disjoint](http://w3c.github.io/data-shapes/shacl/#DisjointConstraintComponent) |  |  |  |
| [sh:lessThan](http://w3c.github.io/data-shapes/shacl/#LessThanConstraintComponent) |  |  |  This feature is not easy in ShEx |
| [sh:lessThanOrEquals](http://w3c.github.io/data-shapes/shacl/#LessThanOrEqualsConstraintComponent) |  |  | This feature is not easy in ShEx  |
| [sh:not](http://w3c.github.io/data-shapes/shacl/#NotConstraintComponent) |  |  |  |
| [sh:and](http://w3c.github.io/data-shapes/shacl/#AndConstraintComponent) |  |  |  |
| [sh:or](http://w3c.github.io/data-shapes/shacl/#OrConstraintComponent) |  |  |  |
| [sh:xone](https://www.w3.org/TR/shacl/#XoneConstraintComponent) |   |   |  |
| [sh:node](https://www.w3.org/TR/shacl/#NodeConstraintComponent) |  |  |  |
| [sh:qualifiedValueshape, qualifiedMinCount, qualifiedMaxCount](http://w3c.github.io/data-shapes/shacl/#QualifiedValueShapeConstraintComponent) |   |   |  |
| [sh:qualifiedValueshapesDisjoint](http://w3c.github.io/data-shapes/shacl/#QualifiedValueShapeConstraintComponent) |  |  |  |
| [sh:closed](http://w3c.github.io/data-shapes/shacl/#ClosedConstraintComponent) | |  |  |
| [sh:ignoredProperties](http://w3c.github.io/data-shapes/shacl/#ClosedConstraintComponent) |  |  |  |
| [sh:hasValue](http://w3c.github.io/data-shapes/shacl/#HasValueConstraintComponent) |  |  |  |
| [sh:in](http://w3c.github.io/data-shapes/shacl/#InConstraintComponent) |  |  |  |

# SPARQL based constraints

(:x:) Non-supported 




Navigation Menu

Uh oh!

Convert SHACL to ShEx #113

Target selection

Shapes

Validation report

Constraints

Constraint components

SPARQL based constraints

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Feature	Supported	Comments
`sh:name`		Could be done with annotations
`sh:description`		Could be done with annotations
`sh:group`		Could be done with annotations
`sh:order`		Could be done with annotations
`owl:imports`
`sh:entailment`
`sh:shapesGraph`

Feature	Supported	Pending
Node constraints	✔️
Property shapes (`sh:path`)	✔️
Path constraints		This feature is not easy to map between ShEx and SHACL

Feature	Supported	Comments
sh:class
sh:datatype	✔️
sh:nodeKind	✔️
sh:minCount	✔️
sh:maxCount	✔️
sh:minInclusive, sh:maxInclusive, sh:minExclusive, sh:maxExclusive
sh:minLength
sh:maxLength
sh:pattern
sh:flags
sh:languageIn
sh:uniqueLang
sh:equals
sh:disjoint
sh:lessThan		This feature is not easy in ShEx
sh:lessThanOrEquals		This feature is not easy in ShEx
sh:not
sh:and
sh:or
sh:xone
sh:node
sh:qualifiedValueshape, qualifiedMinCount, qualifiedMaxCount
sh:qualifiedValueshapesDisjoint
sh:closed
sh:ignoredProperties
sh:hasValue
sh:in

Feature	Supported	Pending
`sh:deactivated`
`sh:message`
`sh:severity`

Uh oh!

Convert SHACL to ShEx #113

Description

Target selection

Shapes

Validation report

Constraints

Constraint components

SPARQL based constraints

Activity

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions