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