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."