]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.layer0x.ontology/graph/Requirements.pgraph
Migrated source code from Simantics SVN
[simantics/platform.git] / bundles / org.simantics.layer0x.ontology / graph / Requirements.pgraph
1 L0 = <http://www.simantics.org/Layer0-1.1>\r
2 L0X = <http://www.simantics.org/Layer0X-1.1>\r
3 \r
4 // This ontology is moved from Layer0 and is deprecated but still used\r
5 \r
6 REQ = L0X.Requirement : L0.Library\r
7     L0.HasResourceClass "org.simantics.layer0.RequirementResource"\r
8     \r
9 REQ.Requires <R L0.IsRelatedTo    \r
10 REQ.Requirement <T L0.Entity\r
11     @L0.property REQ.Ignore\r
12     @L0.tag L0.Abstract\r
13 REQ.HasRequirement <R L0.DependsOn\r
14     L0.HasRange REQ.Requirement\r
15 REQ.RequirementDisjunction <T REQ.Requirement\r
16     @L0.property REQ.HasRequirement\r
17 REQ.RequirementConjunction <T REQ.Requirement\r
18     @L0.property REQ.HasRequirement\r
19 REQ.RequirementNegation <T REQ.Requirement\r
20     @L0.singleProperty REQ.HasRequirement\r
21 REQ.EqualityRequirement <T REQ.Requirement\r
22     @L0.singleProperty REQ.HasEntity\r
23 REQ.TypeRequirement <T REQ.Requirement\r
24     @L0.singleProperty REQ.HasType\r
25 REQ.HasType <T L0.IsRelatedTo\r
26     L0.HasDomain REQ.TypeRequirement\r
27     L0.HasRange L0.Type  \r
28 REQ.RelationRequirement <T REQ.Requirement\r
29     @L0.singleProperty L0.ConcernsRelation\r
30 //  [HasCardinality card "0..1"]\r
31     @L0.property REQ.AllValuesSatisfy\r
32     @L0.property REQ.SomeValuesSatisfy\r
33 REQ.ValueRequirement <T REQ.Requirement\r
34 //  [HasType card "1" all ValueType]\r
35     @L0.singleProperty REQ.HasMultiplicity\r
36 //  [HasValidNumericalRange card "0..1"]\r
37 REQ.HasValueRequirement <R L0.HasProperty\r
38     L0.HasRange REQ.ValueRequirement\r
39 REQ.HasEntity <R L0.IsRelatedTo    \r
40 REQ.AllValuesSatisfy <R L0.DependsOn\r
41     L0.HasRange REQ.Requirement\r
42 REQ.SomeValuesSatisfy <R L0.DependsOn\r
43     L0.HasRange REQ.Requirement\r
44 REQ.IntegerRangeUnion <T L0.String\r
45 REQ.HasMultiplicity <R L0.HasProperty\r
46     L0.HasRange L0.CardinalityRange\r
47 REQ.ValueType <T L0.Type\r
48     @L0.property REQ.HasMultiplicity \r
49     \r
50 REQ.Ignore <R L0.IsWeaklyRelatedTo\r
51     L0.HasRange L0.Tag