1 L0 = <http://www.simantics.org/Layer0-1.1>
\r
2 L0X = <http://www.simantics.org/Layer0X-1.1>
\r
4 // This ontology is moved from Layer0 and is deprecated but still used
\r
6 REQ = L0X.Requirement : L0.Library
\r
7 L0.HasResourceClass "org.simantics.layer0.RequirementResource"
\r
9 REQ.Requires <R L0.IsRelatedTo
\r
10 REQ.Requirement <T L0.Entity
\r
11 @L0.property REQ.Ignore
\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
50 REQ.Ignore <R L0.IsWeaklyRelatedTo
\r