-<http:/> : L0.Library\r
- @L0.new\r
-<http://www.simantics.org> : L0.Library\r
-L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology\r
- L0.HasResourceClass "org.simantics.layer0.Layer0"\r
-\r
-// Types\r
-L0.Entity : L0.Type\r
- L0.HasDescription "All types are inherited from this type."\r
- >-- L0.InstanceOf --> L0.Type <R L0.IsRelatedTo\r
- @L0.tag L0.Final \r
- >-- L0.HasName --> L0.String <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Name" \r
- L0.InverseOf L0.NameOf\r
- @L0.tag L0.Final\r
- >-- L0.HasLabel --> L0.Value <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Label"\r
- L0.RequiresValueType "String"\r
- >-- L0.HasDescription --> L0.Value <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Description"\r
- L0.RequiresValueType "String"\r
- >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Identifier"\r
- --> L0.GUID\r
- >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Type URI"\r
- --> L0.String\r
- >-- L0.HasComment --> L0.String <R L0.HasProperty\r
- >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf\r
- L0.InverseOf L0.PartOf : L0.FunctionalRelation\r
- @L0.tag L0.Final\r
- >-- L0.IsLinkedTo --> L0.Entity <R L0.DependsOn \r
- @L0.property L0.InstanceOf\r
- @L0.property L0.HasProperty\r
- @L0.property L0.HasNext\r
- >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation\r
- L0.readOnly true\r
-L0.Type <T L0.Entity\r
- L0.HasDescription "All types are instances of this type."\r
- >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf\r
- L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."\r
- @L0.tag L0.Final\r
- >-- L0.Inherits --> L0.Type <R L0.DependsOn\r
- L0.InverseOf L0.SupertypeOf\r
- @L0.tag L0.Final\r
- @L0.property L0.HasPropertyDefinition \r
- @L0.property L0.Asserts\r
- @L0.property L0.Inherits\r
-L0.Assertion <T L0.Entity\r
- L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."\r
- >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction\r
- L0.InverseOf L0.HasPredicateInverse <R L0.IsWeaklyRelatedTo\r
- >-- L0.HasObject --> L0.Entity <R L0.IsRelatedTo : L0.TotalFunction\r
- L0.InverseOf L0.HasObjectInverse <R L0.IsWeaklyRelatedTo\r
- @L0.singleProperty L0.HasPredicate\r
- @L0.singleProperty L0.HasObject\r
- \r
-// Relations \r
-L0.Relation <T L0.Entity //<T L0.BinaryPredicate\r
- L0.HasDescription "All relations are instances of this type."\r
- >-- L0.SubrelationOf --> L0.Relation <R L0.DependsOn \r
- L0.InverseOf L0.SuperrelationOf\r
- @L0.tag L0.Final\r
- >-- L0.InverseOf --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation\r
- L0.HasDescription "States that subject and object (relations) are inverses."\r
- @L0.symmetric\r
- @L0.tag L0.Final\r
- >-- L0.HasDomain --> L0.Type <R L0.DependsOn\r
- L0.InverseOf L0.DomainOf <R L0.IsRelatedTo\r
- >-- L0.HasRange --> L0.Type <R L0.DependsOn\r
- @L0.property L0.SubrelationOf\r
- @L0.property L0.InverseOf\r
- @L0.property L0.SuperrelationOf\r
-L0.FunctionalRelation <T L0.Relation\r
- L0.HasDescription "The cardinality of this relation for any subject is at most one."\r
-L0.TotalFunction <T L0.FunctionalRelation\r
- L0.HasDescription "The cardinality of this relation for any subject is exactly one." \r
-L0.Tag <T L0.Relation\r
- L0.HasDescription "A relation for which subject = object, used to model simple boolean statements."\r
-L0.PropertyRelation <T L0.Relation\r
- L0.HasDescription "Base type for all property relations."\r
- \r
-// Base relations\r
-L0.IsWeaklyRelatedTo : L0.Relation\r
- L0.HasDescription "A basis for all relations. Makes as weak as possible connection between its subject and object."\r
-L0.IsRelatedTo <R L0.IsWeaklyRelatedTo\r
- L0.HasDescription "A typical relation, does not imply dependency." \r
-L0.DependsOn <R L0.IsRelatedTo\r
- L0.HasDescription "States that subject depends on the object."\r
- L0.InverseOf L0.IsDependencyOf <R L0.IsWeaklyRelatedTo \r
-L0.IsComposedOf <R L0.DependsOn\r
- L0.HasDescription "States that subject owns the object."\r
- L0.InverseOf L0.IsOwnedBy\r
-L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation\r
- L0.InverseOf L0.PropertyOf\r
- L0.HasRange L0.Value\r
- \r
- \r
-// Libraries\r
-L0.IndexRootType <T L0.Type\r
-L0.IndexRoot <T L0.Entity : L0.IndexRootType\r
- @L0.tag L0.Abstract\r
-L0.Library <T L0.Entity\r
- @L0.singleProperty L0.HasName\r
- @L0.property L0.ConsistsOf \r
-L0.Ontology <T L0.Library <T L0.IndexRoot\r
- >-- L0.Ontology.global <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Global?"\r
- --> L0.Boolean\r
- \r
-L0.SharedOntology <T L0.Ontology\r
- >-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation\r
- @L0.assert L0.SharedOntology.treatAsSystemOntology false\r
- @L0.tag L0.Abstract\r
- >-- L0.SharedOntology.tg <R L0.HasProperty : L0.FunctionalRelation\r
- --> L0.Graph\r
- >-- L0.SharedOntology.tgResources <R L0.HasProperty : L0.FunctionalRelation\r
- --> L0.ResourceIdArray\r
- \r
-L0.ResourceIdArray <T L0.Literal \r
- @L0.assert L0.HasDataType $(Long(unit="resource")[])\r
- \r
-L0.PGraph <T L0.Entity\r
- >-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction\r
- @L0.assert L0.PGraph.definition ""\r
+<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
Code Review / simantics / platform.git / blobdiff