Skip to content

MethodologicalApproachesMustBeSpecifiedShape -- Aim at completeness #3

Description

@rlaemmel

This is about this SHACL resource.
The constraint of interest is this one:

      FILTER(?this NOT IN (
          fe:AbstractSyntaxDefinitionApproach,
      	  fe:AxiomaticSemantics,
          fe:DataValidation,
          fe:DesignByContract,
          fe:ModelTransformation,
          fe:RelationalModel
        )
      )

The idea is to fully work out methodological approaches so that they all pass without such a constraint.

Metadata

Metadata

Assignees

No one assigned

    Labels

    past V1Issues planned past V1 release; matching discussion in FSL paper as of May 2026

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions