Linked.Archi UML 2.5.1 SHACL Shapes

SHACL Shapes

https://meta.linked.archi/uml/shapes#

v0.1.0 draft umlsh: Kalin Maldzhanski Linked.Archi Modified: 2026-02-01 License

SHACL shapes for validating UML model data in the Linked.Archi knowledge graph. Covers relationship domain/range constraints, required properties, and structural integrity rules derived from the UML 2.5.1 specification.

Contents

AggregationShape
AssociationShape
ClassifierShape
CompositionShape
DependencyShape
DeploymentShape
ExtendShape
GeneralizationShape
IncludeShape
InterfaceRealizationShape
NamedElementShape
PortShape
PropertyShape
RealizationShape

AggregationShape — target: Aggregation

Property	Constraint	Value	Severity	Message
`source`	class	Classifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Classifier	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

AssociationShape — target: Association

Property	Constraint	Value	Severity	Message
`source`	class	Classifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Classifier	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

ClassifierShape — target: Classifier

Property	Constraint	Value	Severity	Message
`isAbstract`	datatype	boolean	Violation
`isAbstract`	maxCount	`1`	Violation

CompositionShape — target: Composition

Property	Constraint	Value	Severity	Message
`source`	class	Classifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Classifier	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

DependencyShape — target: Dependency

Property	Constraint	Value	Severity	Message
`source`	class	NamedElement	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	NamedElement	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

DeploymentShape — target: Deployment

Property	Constraint	Value	Severity	Message
`source`	class	Artifact	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	DeploymentTarget	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

ExtendShape — target: Extend

Property	Constraint	Value	Severity	Message
`source`	class	UseCase	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	UseCase	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

GeneralizationShape — target: Generalization

Property	Constraint	Value	Severity	Message
`source`	class	Classifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Classifier	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

IncludeShape — target: Include

Property	Constraint	Value	Severity	Message
`source`	class	UseCase	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	UseCase	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

InterfaceRealizationShape — target: InterfaceRealization

Property	Constraint	Value	Severity	Message
`source`	class	BehavioredClassifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Interface	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation

NamedElementShape — target: NamedElement

Property	Constraint	Value	Severity	Message
`prefLabel`	minCount	`1`	Violation

PortShape — target: Port

Property	Constraint	Value	Severity	Message
`isBehavior`	datatype	boolean	Violation
`isBehavior`	maxCount	`1`	Violation
`isConjugated`	datatype	boolean	Violation
`isConjugated`	maxCount	`1`	Violation
`isService`	datatype	boolean	Violation
`isService`	maxCount	`1`	Violation

PropertyShape — target: Property

Property	Constraint	Value	Severity	Message
`lower`	datatype	integer	Violation
`lower`	maxCount	`1`	Violation
`upper`	datatype	integer	Violation
`upper`	maxCount	`1`	Violation

RealizationShape — target: Realization

Property	Constraint	Value	Severity	Message
`source`	class	Classifier	Violation
`source`	maxCount	`1`	Violation
`source`	minCount	`1`	Violation
`target`	class	Classifier	Violation
`target`	maxCount	`1`	Violation
`target`	minCount	`1`	Violation