Skip to content

MethodologicalApproachesMustBeSpecifiedShape -- Aim at completeness #3

@rlaemmel

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

    No fields configured for Task.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions