search

Sveino / Inst4CIM-KG

Instance of CIM Knowledge Graph
Apache License 2.0
5 stars 1 forks source link

How do you do OCL2SHACL? #67

Closed VladimirAlexiev closed 2 months ago

VladimirAlexiev commented 2 months ago

@griddigit-ci @Sveino How do you convert OCL2SHACL? Please give link to documentation since I'll need it for my SHACL tasks

Have you considered this chain:

It's a long shot because SWRL is about Rules not Constraints, but who knows, something interesting may lie here. It goes through R2ML, which is a general metamodel that covers integrity, derivation, reaction, and production rules.

See https://scholar.google.com/citations?user=9DlmJqcAAAAJ&hl=en&oi=ao for a lot of papers

griddigit-ci commented 2 months ago

Do we need to do this? We are not maintaining OCL anymore as this was replaced by SHACL

VladimirAlexiev commented 2 months ago

If you won't be converting OCL2SHACL anymore, then close it. But this R2ML and the Atlas Transformation Language (ATL) is fascinating.

VladimirAlexiev commented 2 months ago

Svein wrote: OCL was primarily created to prevent a Norwegian and a French person arguing about the meaning of an English word. We wanted to make the rule machine understandable and non-ambiguous. That is still the main purpose of SHACL. It can therefore be good to have a simpler language like LinkML or SHACL Compact Syntax (SHACLC). There is a need to show in EA that there is constraints that is outside UML. However, I do not see EA to be the master of this information. It could be the original source.

So OCL is obsolete: closing