bundles/org.simantics.layer0x.ontology/graph/Layer0X.pgraph

   1 L0 = <http://www.simantics.org/Layer0-1.1>
   2
   3 // This ontology is moved from Layer0 and contains useful concepts
   4 // that were in the wrong place. Some of the concepts may be
   5 // deprecated.
   6
   7 L0X = <http://www.simantics.org/Layer0X-1.1> : L0.Ontology
   8     @L0.new
   9     L0.HasResourceClass "org.simantics.operation.Layer0X"
  10
  11 // Domains of the relations?
  12 L0X.HasType <R L0.DependsOn
  13     L0.HasDescription "A reference to a type."
  14     L0.HasRange L0.Type
  15 L0X.HasUnit <R L0.HasProperty : L0.FunctionalRelation
  16     L0.HasRange L0.String
  17 L0X.HasDisplayUnit <R L0.HasProperty : L0.FunctionalRelation
  18     L0.HasRange L0.String
  19 L0X.DisplayCategory <R L0.HasProperty : L0.FunctionalRelation
  20     L0.HasRange L0.Integer
  21 L0X.HasValidNumericalRange <R L0.HasProperty
  22     L0.HasRange L0.Double
  23
  24 L0X.HasRelation <R L0.DependsOn
  25     L0.HasRange L0.Relation
  26 L0X.RelationView <T L0X.RelationApplication
  27
  28 L0X.IsRealized <R L0.IsRelatedTo
  29 L0X.HasRealizationType <R L0.DependsOn
  30 L0X.HasGeneratedNamePrefix <R L0.HasProperty : L0.FunctionalRelation
  31     L0.HasLabel "Generated Name Prefix"
  32     L0.HasDescription "Indicates the prefix used to be used for naming instances of the property owner."
  33     L0.HasRange L0.String
  34
  35 L0X.Index <T L0.Entity
  36 L0X.HasIndex <R L0.IsRelatedTo
  37     L0.HasRange L0X.Index
  38 L0X.DependenciesRelation : L0X.GenericRelation
  39     L0.HasDescription "A relation used for performing model dependency indexing."
  40 L0X.Dependencies : L0.Function
  41 L0X.DependencyResources : L0.Function
  42
  43 L0X.ValidationRule <T L0.Entity
  44 L0X.HasValidationRule <R L0.IsRelatedTo
  45     L0.HasRange L0X.ValidationRule
  46 L0X.Layer0ValidationRule : L0X.ValidationRule
  47 L0X.SubgraphAdvisor <T L0.Entity
  48 L0X.SubgraphExtent <T L0.Entity
  49 L0X.EntitySubgraphExtent : L0X.SubgraphExtent
  50
  51 L0X.Represents <R L0.IsWeaklyRelatedTo
  52     // Used in variables
  53
  54 L0X.HasRepresentation <R L0.IsWeaklyRelatedTo
  55     // Used in DefaultCopyHandler
  56 L0X.Representation <T L0.Entity
  57     // Adapted in DefaultCopyHandler, where the adapter implementations are?
  58
  59 //L0.Procedure <T L0.Entity
  60
  61 L0X.HasChildVariables <R L0.DependsOn
  62     // Used in ExtendedGraphChildVariable
  63
  64 L0X.Trigger <T L0.Entity
  65     @L0.tag L0.Deprecated
  66     @L0.property L0X.IsTriggerOf
  67 L0X.HasTrigger <R L0.IsRelatedTo
  68     @L0.tag L0.Deprecated
  69     L0.HasRange L0X.Trigger
  70     L0.InverseOf L0X.IsTriggerOf <R L0.IsWeaklyRelatedTo
  71
  72 L0X.PropertyType <T L0.Type
  73
  74 L0X.Activation <T L0.Entity
  75     @L0.tag L0.Deprecated
  76 L0X.HasActivation <R L0.IsRelatedTo
  77     @L0.tag L0.Deprecated
  78     L0.HasRange L0X.Activation
  79
  80 L0X.StatementAdapter <T L0.Entity
  81
  82 L0X.StringAdapter <T L0X.StatementAdapter
  83
  84 L0X.Realization <T L0.Entity
  85 L0X.HasRealization <R L0.DependsOn
  86     L0.InverseOf L0X.IsRealizationOf
  87 L0X.HasBaseRealization <R L0X.HasRealization : L0.FunctionalRelation
  88     L0.InverseOf L0X.IsBaseRealizationOf
  89
  90 // Obtains
  91
  92 L0X.DefinesObtainedStatement --> L0X.ObtainedStatement <R L0.IsComposedOf
  93 L0X.ObtainedStatement <T L0.Entity
  94     L0.HasDescription "The modelled statement can be obtained."
  95     >-- L0X.ObtainedStatement.predicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
  96     >-- L0X.ObtainedStatement.object --> L0.Entity      <R L0.IsRelatedTo : L0.TotalFunction
  97     @L0.singleProperty L0.HasPredicate
  98     @L0.singleProperty L0.HasObject
  99
 100 L0X.NaturalNumberOrderRelation <R L0.IsRelatedTo
 101     L0.HasRange L0.Integer
 102
 103 L0X.ObtainsProperty <R L0.DependsOn
 104    @L0.tag L0.Abstract
 105
 106 L0X.ObtainsProperty1 <R L0X.ObtainsProperty : L0.FunctionalRelation
 107    L0X.NaturalNumberOrderRelation 1
 108 L0X.ObtainsProperty2 <R L0X.ObtainsProperty : L0.FunctionalRelation
 109    L0X.NaturalNumberOrderRelation 2
 110 L0X.ObtainsProperty3 <R L0X.ObtainsProperty : L0.FunctionalRelation
 111    L0X.NaturalNumberOrderRelation 3
 112 L0X.ObtainsProperty4 <R L0X.ObtainsProperty : L0.FunctionalRelation
 113    L0X.NaturalNumberOrderRelation 4
 114 L0X.ObtainsProperty5 <R L0X.ObtainsProperty : L0.FunctionalRelation
 115    L0X.NaturalNumberOrderRelation 5
 116
 117 // Functions
 118
 119 L0X.GenericRelation <T L0.Entity
 120 //    @L0.singleProperty L0.HasSignature
 121     @L0.singleProperty L0.HasName
 122 //L0.IsOperation
 123 //    @L0.defTag
 124 //    L0.HasDomain L0.Function
 125 L0X.RelationApplication <T L0.Function
 126     @L0.singleProperty L0X.HasBindingPattern
 127     @L0.singleProperty L0X.AppliesRelation
 128 L0X.HasBindingPattern <R L0.HasProperty
 129     L0.HasRange L0.String
 130 L0X.AppliesRelation <R L0.IsRelatedTo
 131     L0.HasRange L0X.GenericRelation
 132
 133 L0X.PropertySet <T L0.Entity
 134
 135 // This is used for multiple different purposes and should be splitted
 136 L0X.HasExpression <R L0.DependsOn : L0.FunctionalRelation
 137
 138 L0X.HasDefaultValue <R L0.DependsOn
 139
 140 L0X.RequiresDataType <R L0.HasProperty : L0.FunctionalRelation
 141     L0.HasDomain L0.Relation
 142     L0.HasRange L0.DataType
 143
 144 L0X.Activates <R L0.IsRelatedTo
 145     L0.InverseOf L0X.IsActivatedBy <R L0.IsWeaklyRelatedTo
 146
 147 L0X.HasTemplate --> L0.Template <R L0.DependsOn
 148
 149 L0X.ResourcePropertyRelation <T L0.FunctionalRelation
 150     L0.HasDescription "This relation type defines a Resource-valued property variable adapter"
 151
 152 L0X.Identifier <R L0.HasProperty : L0.FunctionalRelation
 153     L0.HasLabel "Identifier"
 154     --> L0.GUID
 155
 156 //L0X.SharedOntology <T L0.Ontology
 157
 158 L0X.HasChildReferenceFormatter <R L0.HasProperty : L0.FunctionalRelation
 159     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."