Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.layer0x.ontology / graph / Requirements.pgraph

diff --git a/bundles/org.simantics.layer0x.ontology/graph/Requirements.pgraph b/bundles/org.simantics.layer0x.ontology/graph/Requirements.pgraph
new file mode 100644 (file)
index 0000000..0263d4b
--- /dev/null
+++ b/bundles/org.simantics.layer0x.ontology/graph/Requirements.pgraph
@@ -0,0 +1,51 @@
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+L0X = <http://www.simantics.org/Layer0X-1.1>\r
+\r
+// This ontology is moved from Layer0 and is deprecated but still used\r
+\r
+REQ = L0X.Requirement : L0.Library\r
+    L0.HasResourceClass "org.simantics.layer0.RequirementResource"\r
+    \r
+REQ.Requires <R L0.IsRelatedTo    \r
+REQ.Requirement <T L0.Entity\r
+    @L0.property REQ.Ignore\r
+    @L0.tag L0.Abstract\r
+REQ.HasRequirement <R L0.DependsOn\r
+    L0.HasRange REQ.Requirement\r
+REQ.RequirementDisjunction <T REQ.Requirement\r
+    @L0.property REQ.HasRequirement\r
+REQ.RequirementConjunction <T REQ.Requirement\r
+    @L0.property REQ.HasRequirement\r
+REQ.RequirementNegation <T REQ.Requirement\r
+    @L0.singleProperty REQ.HasRequirement\r
+REQ.EqualityRequirement <T REQ.Requirement\r
+    @L0.singleProperty REQ.HasEntity\r
+REQ.TypeRequirement <T REQ.Requirement\r
+    @L0.singleProperty REQ.HasType\r
+REQ.HasType <T L0.IsRelatedTo\r
+    L0.HasDomain REQ.TypeRequirement\r
+    L0.HasRange L0.Type  \r
+REQ.RelationRequirement <T REQ.Requirement\r
+    @L0.singleProperty L0.ConcernsRelation\r
+//  [HasCardinality card "0..1"]\r
+    @L0.property REQ.AllValuesSatisfy\r
+    @L0.property REQ.SomeValuesSatisfy\r
+REQ.ValueRequirement <T REQ.Requirement\r
+//  [HasType card "1" all ValueType]\r
+    @L0.singleProperty REQ.HasMultiplicity\r
+//  [HasValidNumericalRange card "0..1"]\r
+REQ.HasValueRequirement <R L0.HasProperty\r
+    L0.HasRange REQ.ValueRequirement\r
+REQ.HasEntity <R L0.IsRelatedTo    \r
+REQ.AllValuesSatisfy <R L0.DependsOn\r
+    L0.HasRange REQ.Requirement\r
+REQ.SomeValuesSatisfy <R L0.DependsOn\r
+    L0.HasRange REQ.Requirement\r
+REQ.IntegerRangeUnion <T L0.String\r
+REQ.HasMultiplicity <R L0.HasProperty\r
+    L0.HasRange L0.CardinalityRange\r
+REQ.ValueType <T L0.Type\r
+    @L0.property REQ.HasMultiplicity \r
+    \r
+REQ.Ignore <R L0.IsWeaklyRelatedTo\r
+    L0.HasRange L0.Tag    
\ No newline at end of file