X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0.pgraph;h=225a4f17ee79c075da4c75164749dec77de459dc;hp=2a8a24b775211f1789e7d3ea957dab3ae1b2bf22;hb=ec70c03d4ce3f68b71de5eeadce3d008620c5521;hpb=969bd23cab98a79ca9101af33334000879fb60c5

diff --git a/bundles/org.simantics.layer0/graph/Layer0.pgraph b/bundles/org.simantics.layer0/graph/Layer0.pgraph
index 2a8a24b77..225a4f17e 100644
--- a/bundles/org.simantics.layer0/graph/Layer0.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0.pgraph
@@ -1,126 +1,147 @@
-<http:/> : L0.Library
-    @L0.new
-<http://www.simantics.org> : L0.Library
-L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology
-    L0.HasResourceClass "org.simantics.layer0.Layer0"
-
-// Types
-L0.Entity : L0.Type
-    L0.HasDescription "All types are inherited from this type."
-    >-- L0.InstanceOf --> L0.Type <R L0.IsRelatedTo
-        @L0.tag L0.Final 
-    >-- L0.HasName --> L0.String  <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Name" 
-        L0.InverseOf L0.NameOf
-        @L0.tag L0.Final
-    >-- L0.HasLabel --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Label"
-        L0.RequiresValueType "String"
-    >-- L0.HasDescription --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Description"
-        L0.RequiresValueType "String"
-    >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Identifier"
-        --> L0.GUID
-    >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Type URI"
-        --> L0.String
-    >-- L0.HasComment --> L0.String <R L0.HasProperty
-    >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf
-        L0.InverseOf L0.PartOf : L0.FunctionalRelation
-        @L0.tag L0.Final
-    >-- L0.IsLinkedTo --> L0.Entity       <R L0.DependsOn        
-    @L0.property L0.InstanceOf
-    @L0.property L0.HasProperty
-    @L0.property L0.HasNext
-    >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
-      L0.readOnly true
-L0.Type <T L0.Entity
-    L0.HasDescription "All types are instances of this type."
-    >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
-        L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
-        @L0.tag L0.Final
-    >-- L0.Inherits --> L0.Type     <R L0.DependsOn
-        L0.InverseOf L0.SupertypeOf
-        @L0.tag L0.Final
-    @L0.property L0.HasPropertyDefinition        
-    @L0.property L0.Asserts
-    @L0.property L0.Inherits
-L0.Assertion <T L0.Entity
-    L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
-    >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
-        L0.InverseOf L0.HasPredicateInverse <R L0.IsWeaklyRelatedTo
-    >-- L0.HasObject --> L0.Entity      <R L0.IsRelatedTo : L0.TotalFunction
-        L0.InverseOf L0.HasObjectInverse <R L0.IsWeaklyRelatedTo
-    @L0.singleProperty L0.HasPredicate
-    @L0.singleProperty L0.HasObject
-    
-// Relations    
-L0.Relation <T L0.Entity //<T L0.BinaryPredicate
-    L0.HasDescription "All relations are instances of this type."
-    >-- L0.SubrelationOf --> L0.Relation <R L0.DependsOn    
-        L0.InverseOf L0.SuperrelationOf
-        @L0.tag L0.Final
-    >-- L0.InverseOf --> L0.Relation     <R L0.DependsOn : L0.FunctionalRelation
-        L0.HasDescription "States that subject and object (relations) are inverses."
-        @L0.symmetric
-        @L0.tag L0.Final
-    >-- L0.HasDomain --> L0.Type         <R L0.DependsOn
-        L0.InverseOf L0.DomainOf         <R L0.IsRelatedTo
-    >-- L0.HasRange --> L0.Type          <R L0.DependsOn
-    @L0.property L0.SubrelationOf
-    @L0.property L0.InverseOf
-    @L0.property L0.SuperrelationOf
-L0.FunctionalRelation <T L0.Relation
-    L0.HasDescription "The cardinality of this relation for any subject is at most one."
-L0.TotalFunction <T L0.FunctionalRelation
-    L0.HasDescription "The cardinality of this relation for any subject is exactly one."         
-L0.Tag <T L0.Relation
-    L0.HasDescription "A relation for which subject = object, used to model simple boolean statements."
-L0.PropertyRelation <T L0.Relation
-    L0.HasDescription "Base type for all property relations."
-   
-// Base relations
-L0.IsWeaklyRelatedTo : L0.Relation
-    L0.HasDescription "A basis for all relations. Makes as weak as possible connection between its subject and object."
-L0.IsRelatedTo <R L0.IsWeaklyRelatedTo
-    L0.HasDescription "A typical relation, does not imply dependency." 
-L0.DependsOn <R L0.IsRelatedTo
-    L0.HasDescription "States that subject depends on the object."
-    L0.InverseOf L0.IsDependencyOf <R L0.IsWeaklyRelatedTo 
-L0.IsComposedOf <R L0.DependsOn
-    L0.HasDescription "States that subject owns the object."
-    L0.InverseOf L0.IsOwnedBy
-L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation
-    L0.InverseOf L0.PropertyOf
-    L0.HasRange L0.Value
-    
-    
-// Libraries
-L0.IndexRootType <T L0.Type
-L0.IndexRoot <T L0.Entity : L0.IndexRootType
-    @L0.tag L0.Abstract
-L0.Library <T L0.Entity
-    @L0.singleProperty L0.HasName
-    @L0.property L0.ConsistsOf    
-L0.Ontology <T L0.Library <T L0.IndexRoot
-    >-- L0.Ontology.global <R L0.HasProperty : L0.FunctionalRelation
-        L0.HasLabel "Global?"
-        --> L0.Boolean
-        
-L0.SharedOntology <T L0.Ontology
-    >-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
-    @L0.assert L0.SharedOntology.treatAsSystemOntology false
-    @L0.tag L0.Abstract
-    >-- L0.SharedOntology.tg <R L0.HasProperty : L0.FunctionalRelation
-        --> L0.Graph
-    >-- L0.SharedOntology.tgResources <R L0.HasProperty : L0.FunctionalRelation
-        --> L0.ResourceIdArray
-        
-L0.ResourceIdArray <T L0.Literal        
-    @L0.assert L0.HasDataType $(Long(unit="resource")[])
- 
-L0.PGraph <T L0.Entity
-    >-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
-    @L0.assert L0.PGraph.definition ""
+<http:/> : L0.Library
+    @L0.new
+<http://www.simantics.org> : L0.Library
+L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology
+    L0.HasResourceClass "org.simantics.layer0.Layer0"
+
+// Types
+L0.Entity : L0.Type
+    L0.HasDescription "All types are inherited from this type."
+    >-- L0.InstanceOf --> L0.Type <R L0.IsRelatedTo
+        @L0.tag L0.Final 
+    >-- L0.HasName --> L0.String  <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Name" 
+        L0.InverseOf L0.NameOf
+        @L0.tag L0.Final
+    >-- L0.HasLabel --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Label"
+        L0.RequiresValueType "String"
+    >-- L0.HasDescription --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Description"
+        L0.RequiresValueType "String"
+    >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Identifier"
+        --> L0.GUID
+        ==> "GUID"
+    >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Type URI"
+        --> L0.String
+    >-- L0.typeResource <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Type Resource"
+        ==> "Variable -> Resource -> <ReadGraph> Resource"
+    >-- L0.HasComment --> L0.String <R L0.HasProperty
+    >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf
+        L0.InverseOf L0.PartOf : L0.FunctionalRelation
+        @L0.tag L0.Final
+    >-- L0.IsLinkedTo --> L0.Entity       <R L0.DependsOn        
+    @L0.property L0.InstanceOf
+    @L0.property L0.HasProperty
+    @L0.property L0.HasNext
+    >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
+      L0.readOnly true
+    >-- L0.Entity.methods
+    @L0.assert L0.Entity.methods
+      _ : L0.Value
+    
+L0.Entity.methods ==> "StructuredProperty" <R L0.HasProperty : L0.FunctionalRelation
+  L0.domainProperties L0.Functions.methodsPropertyDomainProperties
+  
+L0.Entity.method <R L0.HasProperty : L0.FunctionalRelation
+    
+L0.Type <T L0.Entity
+    L0.HasDescription "All types are instances of this type."
+    >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
+        L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
+        @L0.tag L0.Final
+    >-- L0.Inherits --> L0.Type     <R L0.DependsOn
+        L0.InverseOf L0.SupertypeOf
+        @L0.tag L0.Final
+    @L0.property L0.HasPropertyDefinition        
+    @L0.property L0.Asserts
+    @L0.property L0.Inherits
+    >-- L0.Type.instantiateUnder ==> "Resource -> Resource -> <WriteGraph> Resource" <R L0.HasMethod : L0.FunctionalRelation
+    @L0.assert L0.Type.instantiateUnder L0.Functions.defaultInstantiateUnder
+L0.Assertion <T L0.Entity
+    L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
+    >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
+        L0.InverseOf L0.HasPredicateInverse <R L0.IsWeaklyRelatedTo
+    >-- L0.HasObject --> L0.Entity      <R L0.IsRelatedTo : L0.TotalFunction
+        L0.InverseOf L0.HasObjectInverse <R L0.IsWeaklyRelatedTo
+    @L0.singleProperty L0.HasPredicate
+    @L0.singleProperty L0.HasObject
+    
+// Relations    
+L0.Relation <T L0.Entity //<T L0.BinaryPredicate
+    L0.HasDescription "All relations are instances of this type."
+    >-- L0.SubrelationOf --> L0.Relation <R L0.DependsOn    
+        L0.InverseOf L0.SuperrelationOf
+        @L0.tag L0.Final
+    >-- L0.InverseOf --> L0.Relation     <R L0.DependsOn : L0.FunctionalRelation
+        L0.HasDescription "States that subject and object (relations) are inverses."
+        @L0.symmetric
+        @L0.tag L0.Final
+    >-- L0.HasDomain --> L0.Type         <R L0.DependsOn
+        L0.InverseOf L0.DomainOf         <R L0.IsRelatedTo
+    >-- L0.HasRange --> L0.Type          <R L0.DependsOn
+    @L0.property L0.SubrelationOf
+    @L0.property L0.InverseOf
+    @L0.property L0.SuperrelationOf
+L0.FunctionalRelation <T L0.Relation
+    L0.HasDescription "The cardinality of this relation for any subject is at most one."
+L0.TotalFunction <T L0.FunctionalRelation
+    L0.HasDescription "The cardinality of this relation for any subject is exactly one."         
+L0.Tag <T L0.Relation
+    L0.HasDescription "A relation for which subject = object, used to model simple boolean statements."
+L0.PropertyRelation <T L0.Relation
+    L0.HasDescription "Base type for all property relations."
+   
+// Base relations
+L0.IsWeaklyRelatedTo : L0.Relation
+    L0.HasDescription "A basis for all relations. Makes as weak as possible connection between its subject and object."
+L0.IsRelatedTo <R L0.IsWeaklyRelatedTo
+    L0.HasDescription "A typical relation, does not imply dependency." 
+L0.DependsOn <R L0.IsRelatedTo
+    L0.HasDescription "States that subject depends on the object."
+    L0.InverseOf L0.IsDependencyOf <R L0.IsWeaklyRelatedTo 
+L0.IsComposedOf <R L0.DependsOn
+    L0.HasDescription "States that subject owns the object."
+    L0.InverseOf L0.IsOwnedBy
+L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation
+    L0.InverseOf L0.PropertyOf
+    L0.HasRange L0.Value
+    
+L0.HasMethod <R L0.DependsOn
+    L0.InverseOf L0.MethodOf
+    L0.HasRange L0.Value
+    
+// Libraries
+L0.IndexRootType <T L0.Type
+L0.IndexRoot <T L0.Entity : L0.IndexRootType
+    @L0.tag L0.Abstract
+L0.Library <T L0.Entity
+    @L0.singleProperty L0.HasName
+    @L0.property L0.ConsistsOf    
+L0.Ontology <T L0.Library <T L0.IndexRoot
+    >-- L0.Ontology.global <R L0.HasProperty : L0.FunctionalRelation
+        L0.HasLabel "Global?"
+        --> L0.Boolean
+    >-- L0.Ontology.download --> L0.String <R L0.HasProperty : L0.FunctionalRelation
+            
+L0.SharedOntology <T L0.Ontology
+    >-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
+    @L0.assert L0.SharedOntology.treatAsSystemOntology false
+    @L0.tag L0.Abstract
+    >-- L0.SharedOntology.tg <R L0.HasProperty : L0.FunctionalRelation
+        --> L0.Graph
+    >-- L0.SharedOntology.tgResources <R L0.HasProperty : L0.FunctionalRelation
+        --> L0.ResourceIdArray
+        
+L0.ResourceIdArray <T L0.Literal        
+    @L0.assert L0.HasDataType $(Long(unit="resource")[])
+ 
+L0.PGraph <T L0.Entity
+    >-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
+    @L0.assert L0.PGraph.definition ""
+    
+L0.ExternalEntity <T L0.Entity    
  
\ No newline at end of file