-L0 = <http://www.simantics.org/Layer0-1.1>\r
-\r
-// This ontology is moved from Layer0 and contains useful concepts\r
-// that were in the wrong place. Some of the concepts may be\r
-// deprecated.\r
-\r
-L0X = <http://www.simantics.org/Layer0X-1.1> : L0.Ontology\r
- @L0.new\r
- L0.HasResourceClass "org.simantics.operation.Layer0X"\r
-\r
-// Domains of the relations?\r
-L0X.HasType <R L0.DependsOn\r
- L0.HasDescription "A reference to a type."\r
- L0.HasRange L0.Type\r
-L0X.HasUnit <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasRange L0.String\r
-L0X.HasDisplayUnit <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasRange L0.String\r
-L0X.DisplayCategory <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasRange L0.Integer\r
-L0X.HasValidNumericalRange <R L0.HasProperty\r
- L0.HasRange L0.Double\r
- \r
-L0X.HasRelation <R L0.DependsOn\r
- L0.HasRange L0.Relation\r
-L0X.RelationView <T L0X.RelationApplication\r
-\r
-L0X.IsRealized <R L0.IsRelatedTo\r
-L0X.HasRealizationType <R L0.DependsOn\r
-L0X.HasGeneratedNamePrefix <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Generated Name Prefix" \r
- L0.HasDescription "Indicates the prefix used to be used for naming instances of the property owner." \r
- L0.HasRange L0.String\r
-\r
-L0X.Index <T L0.Entity\r
-L0X.HasIndex <R L0.IsRelatedTo\r
- L0.HasRange L0X.Index\r
-L0X.DependenciesRelation : L0X.GenericRelation\r
- L0.HasDescription "A relation used for performing model dependency indexing."\r
-L0X.Dependencies : L0.Function \r
-L0X.DependencyResources : L0.Function \r
-\r
-L0X.ValidationRule <T L0.Entity\r
-L0X.HasValidationRule <R L0.IsRelatedTo\r
- L0.HasRange L0X.ValidationRule\r
-L0X.Layer0ValidationRule : L0X.ValidationRule\r
-L0X.SubgraphAdvisor <T L0.Entity\r
-L0X.SubgraphExtent <T L0.Entity\r
-L0X.EntitySubgraphExtent : L0X.SubgraphExtent\r
-\r
-L0X.Represents <R L0.IsWeaklyRelatedTo\r
- // Used in variables\r
-\r
-L0X.HasRepresentation <R L0.IsWeaklyRelatedTo\r
- // Used in DefaultCopyHandler\r
-L0X.Representation <T L0.Entity\r
- // Adapted in DefaultCopyHandler, where the adapter implementations are?\r
-\r
-//L0.Procedure <T L0.Entity\r
-\r
-L0X.HasChildVariables <R L0.DependsOn\r
- // Used in ExtendedGraphChildVariable\r
- \r
-L0X.Trigger <T L0.Entity\r
- @L0.tag L0.Deprecated\r
- @L0.property L0X.IsTriggerOf\r
-L0X.HasTrigger <R L0.IsRelatedTo\r
- @L0.tag L0.Deprecated\r
- L0.HasRange L0X.Trigger\r
- L0.InverseOf L0X.IsTriggerOf <R L0.IsWeaklyRelatedTo\r
-\r
-L0X.PropertyType <T L0.Type\r
-\r
-L0X.Activation <T L0.Entity\r
- @L0.tag L0.Deprecated\r
-L0X.HasActivation <R L0.IsRelatedTo\r
- @L0.tag L0.Deprecated\r
- L0.HasRange L0X.Activation\r
- \r
-L0X.StatementAdapter <T L0.Entity\r
-\r
-L0X.StringAdapter <T L0X.StatementAdapter\r
-\r
-L0X.Realization <T L0.Entity\r
-L0X.HasRealization <R L0.DependsOn\r
- L0.InverseOf L0X.IsRealizationOf\r
-L0X.HasBaseRealization <R L0X.HasRealization : L0.FunctionalRelation\r
- L0.InverseOf L0X.IsBaseRealizationOf \r
-\r
-// Obtains\r
-\r
-L0X.DefinesObtainedStatement --> L0X.ObtainedStatement <R L0.IsComposedOf\r
-L0X.ObtainedStatement <T L0.Entity\r
- L0.HasDescription "The modelled statement can be obtained."\r
- >-- L0X.ObtainedStatement.predicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction\r
- >-- L0X.ObtainedStatement.object --> L0.Entity <R L0.IsRelatedTo : L0.TotalFunction\r
- @L0.singleProperty L0.HasPredicate\r
- @L0.singleProperty L0.HasObject\r
-\r
-L0X.NaturalNumberOrderRelation <R L0.IsRelatedTo\r
- L0.HasRange L0.Integer\r
-\r
-L0X.ObtainsProperty <R L0.DependsOn\r
- @L0.tag L0.Abstract\r
-\r
-L0X.ObtainsProperty1 <R L0X.ObtainsProperty : L0.FunctionalRelation\r
- L0X.NaturalNumberOrderRelation 1\r
-L0X.ObtainsProperty2 <R L0X.ObtainsProperty : L0.FunctionalRelation\r
- L0X.NaturalNumberOrderRelation 2\r
-L0X.ObtainsProperty3 <R L0X.ObtainsProperty : L0.FunctionalRelation\r
- L0X.NaturalNumberOrderRelation 3\r
-L0X.ObtainsProperty4 <R L0X.ObtainsProperty : L0.FunctionalRelation\r
- L0X.NaturalNumberOrderRelation 4\r
-L0X.ObtainsProperty5 <R L0X.ObtainsProperty : L0.FunctionalRelation\r
- L0X.NaturalNumberOrderRelation 5\r
-\r
-// Functions\r
-\r
-L0X.GenericRelation <T L0.Entity\r
-// @L0.singleProperty L0.HasSignature\r
- @L0.singleProperty L0.HasName\r
-//L0.IsOperation\r
-// @L0.defTag\r
-// L0.HasDomain L0.Function\r
-L0X.RelationApplication <T L0.Function\r
- @L0.singleProperty L0X.HasBindingPattern\r
- @L0.singleProperty L0X.AppliesRelation\r
-L0X.HasBindingPattern <R L0.HasProperty\r
- L0.HasRange L0.String\r
-L0X.AppliesRelation <R L0.IsRelatedTo\r
- L0.HasRange L0X.GenericRelation \r
- \r
-L0X.PropertySet <T L0.Entity \r
-\r
-// This is used for multiple different purposes and should be splitted\r
-L0X.HasExpression <R L0.DependsOn : L0.FunctionalRelation\r
-\r
-L0X.HasDefaultValue <R L0.DependsOn \r
-\r
-L0X.RequiresDataType <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasDomain L0.Relation\r
- L0.HasRange L0.DataType\r
- \r
-L0X.Activates <R L0.IsRelatedTo\r
- L0.InverseOf L0X.IsActivatedBy <R L0.IsWeaklyRelatedTo \r
- \r
-L0X.HasTemplate --> L0.Template <R L0.DependsOn\r
-\r
-L0X.ResourcePropertyRelation <T L0.FunctionalRelation\r
- L0.HasDescription "This relation type defines a Resource-valued property variable adapter"\r
-\r
-L0X.Identifier <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasLabel "Identifier"\r
- --> L0.GUID\r
-\r
-//L0X.SharedOntology <T L0.Ontology \r
-\r
-L0X.HasChildReferenceFormatter <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasDescription "Used as a Variable property to define a custom formatter implementation for e.g. property relations. The property is assumed to always produce a value that is an instance of java.text.Format."\r
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+// This ontology is moved from Layer0 and contains useful concepts
+// that were in the wrong place. Some of the concepts may be
+// deprecated.
+
+L0X = <http://www.simantics.org/Layer0X-1.1> : L0.Ontology
+ @L0.new
+ L0.HasResourceClass "org.simantics.operation.Layer0X"
+
+// Domains of the relations?
+L0X.HasType <R L0.DependsOn
+ L0.HasDescription "A reference to a type."
+ L0.HasRange L0.Type
+L0X.HasUnit <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasRange L0.String
+L0X.HasDisplayUnit <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasRange L0.String
+L0X.DisplayCategory <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasRange L0.Integer
+L0X.HasValidNumericalRange <R L0.HasProperty
+ L0.HasRange L0.Double
+
+L0X.HasRelation <R L0.DependsOn
+ L0.HasRange L0.Relation
+L0X.RelationView <T L0X.RelationApplication
+
+L0X.IsRealized <R L0.IsRelatedTo
+L0X.HasRealizationType <R L0.DependsOn
+L0X.HasGeneratedNamePrefix <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasLabel "Generated Name Prefix"
+ L0.HasDescription "Indicates the prefix used to be used for naming instances of the property owner."
+ L0.HasRange L0.String
+
+L0X.Index <T L0.Entity
+L0X.HasIndex <R L0.IsRelatedTo
+ L0.HasRange L0X.Index
+L0X.DependenciesRelation : L0X.GenericRelation
+ L0.HasDescription "A relation used for performing model dependency indexing."
+L0X.Dependencies : L0.Function
+L0X.DependencyResources : L0.Function
+
+L0X.ValidationRule <T L0.Entity
+L0X.HasValidationRule <R L0.IsRelatedTo
+ L0.HasRange L0X.ValidationRule
+L0X.Layer0ValidationRule : L0X.ValidationRule
+L0X.SubgraphAdvisor <T L0.Entity
+L0X.SubgraphExtent <T L0.Entity
+L0X.EntitySubgraphExtent : L0X.SubgraphExtent
+
+L0X.Represents <R L0.IsWeaklyRelatedTo
+ // Used in variables
+
+L0X.HasRepresentation <R L0.IsWeaklyRelatedTo
+ // Used in DefaultCopyHandler
+L0X.Representation <T L0.Entity
+ // Adapted in DefaultCopyHandler, where the adapter implementations are?
+
+//L0.Procedure <T L0.Entity
+
+L0X.HasChildVariables <R L0.DependsOn
+ // Used in ExtendedGraphChildVariable
+
+L0X.Trigger <T L0.Entity
+ @L0.tag L0.Deprecated
+ @L0.property L0X.IsTriggerOf
+L0X.HasTrigger <R L0.IsRelatedTo
+ @L0.tag L0.Deprecated
+ L0.HasRange L0X.Trigger
+ L0.InverseOf L0X.IsTriggerOf <R L0.IsWeaklyRelatedTo
+
+L0X.PropertyType <T L0.Type
+
+L0X.Activation <T L0.Entity
+ @L0.tag L0.Deprecated
+L0X.HasActivation <R L0.IsRelatedTo
+ @L0.tag L0.Deprecated
+ L0.HasRange L0X.Activation
+
+L0X.StatementAdapter <T L0.Entity
+
+L0X.StringAdapter <T L0X.StatementAdapter
+
+L0X.Realization <T L0.Entity
+L0X.HasRealization <R L0.DependsOn
+ L0.InverseOf L0X.IsRealizationOf
+L0X.HasBaseRealization <R L0X.HasRealization : L0.FunctionalRelation
+ L0.InverseOf L0X.IsBaseRealizationOf
+
+// Obtains
+
+L0X.DefinesObtainedStatement --> L0X.ObtainedStatement <R L0.IsComposedOf
+L0X.ObtainedStatement <T L0.Entity
+ L0.HasDescription "The modelled statement can be obtained."
+ >-- L0X.ObtainedStatement.predicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
+ >-- L0X.ObtainedStatement.object --> L0.Entity <R L0.IsRelatedTo : L0.TotalFunction
+ @L0.singleProperty L0.HasPredicate
+ @L0.singleProperty L0.HasObject
+
+L0X.NaturalNumberOrderRelation <R L0.IsRelatedTo
+ L0.HasRange L0.Integer
+
+L0X.ObtainsProperty <R L0.DependsOn
+ @L0.tag L0.Abstract
+
+L0X.ObtainsProperty1 <R L0X.ObtainsProperty : L0.FunctionalRelation
+ L0X.NaturalNumberOrderRelation 1
+L0X.ObtainsProperty2 <R L0X.ObtainsProperty : L0.FunctionalRelation
+ L0X.NaturalNumberOrderRelation 2
+L0X.ObtainsProperty3 <R L0X.ObtainsProperty : L0.FunctionalRelation
+ L0X.NaturalNumberOrderRelation 3
+L0X.ObtainsProperty4 <R L0X.ObtainsProperty : L0.FunctionalRelation
+ L0X.NaturalNumberOrderRelation 4
+L0X.ObtainsProperty5 <R L0X.ObtainsProperty : L0.FunctionalRelation
+ L0X.NaturalNumberOrderRelation 5
+
+// Functions
+
+L0X.GenericRelation <T L0.Entity
+// @L0.singleProperty L0.HasSignature
+ @L0.singleProperty L0.HasName
+//L0.IsOperation
+// @L0.defTag
+// L0.HasDomain L0.Function
+L0X.RelationApplication <T L0.Function
+ @L0.singleProperty L0X.HasBindingPattern
+ @L0.singleProperty L0X.AppliesRelation
+L0X.HasBindingPattern <R L0.HasProperty
+ L0.HasRange L0.String
+L0X.AppliesRelation <R L0.IsRelatedTo
+ L0.HasRange L0X.GenericRelation
+
+L0X.PropertySet <T L0.Entity
+
+// This is used for multiple different purposes and should be splitted
+L0X.HasExpression <R L0.DependsOn : L0.FunctionalRelation
+
+L0X.HasDefaultValue <R L0.DependsOn
+
+L0X.RequiresDataType <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasDomain L0.Relation
+ L0.HasRange L0.DataType
+
+L0X.Activates <R L0.IsRelatedTo
+ L0.InverseOf L0X.IsActivatedBy <R L0.IsWeaklyRelatedTo
+
+L0X.HasTemplate --> L0.Template <R L0.DependsOn
+
+L0X.ResourcePropertyRelation <T L0.FunctionalRelation
+ L0.HasDescription "This relation type defines a Resource-valued property variable adapter"
+
+L0X.Identifier <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasLabel "Identifier"
+ --> L0.GUID
+
+//L0X.SharedOntology <T L0.Ontology
+
+L0X.HasChildReferenceFormatter <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasDescription "Used as a Variable property to define a custom formatter implementation for e.g. property relations. The property is assumed to always produce a value that is an instance of java.text.Format."
Code Review / simantics / platform.git / blobdiff