L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>

SEL = <http://www.simantics.org/SelectionView-1.2> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.selectionview.SelectionViewResources"

SEL.Functions : L0.Library

SEL.TabContribution.Multi <R L0.HasProperty : L0.FunctionalRelation
  L0.RequiresValueType "Boolean"

SEL.TabContribution <T L0.Entity
  @L0.assert SEL.TabContribution.Multi false
  >-- SEL.TabContribution.HasTest --> L0.Value <R L0.DependsOn
  >-- SEL.TabContribution.HasPriority ==> "Integer" <R L0.DependsOn

SEL.TypedTabContribution <T SEL.TabContribution
  >-- SEL.TypedTabContribution.HasType --> L0.Type <R L0.DependsOn

SEL.SelectionTransformation <T L0.Function

SEL.Functions.getEnumerationValues : L0.Function
SEL.Functions.singleVariableTransformation : SEL.SelectionTransformation
SEL.Functions.singleResourceTransformation : SEL.SelectionTransformation
SEL.Functions.singleResourceToVariableTransformation : SEL.SelectionTransformation
SEL.Functions.standardSelectionInputTransformation : SEL.SelectionTransformation

SEL.AbstractVariableTabContribution <T SEL.TabContribution
  >-- SEL.AbstractVariableTabContribution.testFunction ==> "Variable -> <ReadGraph> Boolean" <R L0.HasProperty

SEL.AbstractResourceTabContribution <T SEL.TabContribution

SEL.AbstractTypedVariableTabContribution <T SEL.AbstractVariableTabContribution
  >-- SEL.AbstractTypedVariableTabContribution.HasType --> L0.Type <R L0.DependsOn

SEL.AbstractTypedResourceTabContribution <T SEL.AbstractResourceTabContribution

SEL.SCLTabContribution <T SEL.TabContribution
  >-- SEL.SCLTabContribution.instantiate ==> "() -> <Proc> TabContribution" <R L0.HasProperty

SEL.VariableTabContribution <T SEL.TabContribution
  >-- SEL.VariableTabContribution.transformation ==> "Variable -> <ReadGraph> Variable" <R L0.HasProperty
  >-- SEL.VariableTabContribution.HasView <R L0.DependsOn

SEL.MultiTypedVariableTabContribution <T SEL.TypedVariableTabContribution
  @L0.assert SEL.TabContribution.Multi true

SEL.TypedVariableTabContribution <T SEL.VariableTabContribution
  >-- SEL.TypedVariableTabContribution.HasType --> L0.Type <R L0.DependsOn

SEL.HasDisplayColumn <R L0.HasProperty : L0.FunctionalRelation

SEL.HasFormatter <R L0.HasProperty : L0X.ResourcePropertyRelation

SEL.HasDisplayProperty <R L0.HasProperty : L0.FunctionalRelation
  L0.RequiresValueType "String"
  SEL.HasDisplayColumn "HasDisplayProperty"
  
SEL.DisplayProperty <T L0.Value
  @L0.assert SEL.HasDisplayColumn "HasDisplayProperty"
  @L0.assert L0.HasValueType "String"  
  @L0.assert L0.valueAccessor
    SEL.Functions.displayPropertyValueAccessor : L0.ExternalValue
          L0.HasValueType "ValueAccessor"  

SEL.HasDisplayValue <R L0.HasProperty : L0.FunctionalRelation
  L0.RequiresValueType "String"
  SEL.HasDisplayColumn "HasDisplayValue"
  
SEL.IsShownUnder <R L0.IsRelatedTo
  L0.InverseOf SEL.UnderOf <R L0.IsRelatedTo

SEL.DisplayValue <T L0.Value
  @L0.assert SEL.HasDisplayColumn "HasDisplayValue"
  @L0.assert L0.HasValueType "String"
  @L0.assert L0.valueAccessor
    SEL.Functions.displayValueValueAccessor : L0.ExternalValue
          L0.HasValueType "ValueAccessor"  

SEL.HasDisplayUnit <R L0.HasProperty : L0.FunctionalRelation
  L0.RequiresValueType "String"
  SEL.HasDisplayColumn "HasDisplayUnit"
  
SEL.DisplayUnit <T L0.Value
  @L0.assert SEL.HasDisplayColumn "HasDisplayUnit"
  @L0.assert L0.HasValueType "String"
  @L0.assert L0.valueAccessor
    SEL.Functions.displayUnitValueAccessor : L0.ExternalValue
          L0.HasValueType "ValueAccessor"  

SEL.StandardPropertyInfo <T L0.Literal
    @L0.assert L0.HasDataType ${ categoryName : String, categorySortingName : String, isHidden : Boolean }
    @L0.assert SEL.StandardPropertyInfo.CategorySortingName ""
    @L0.assert SEL.StandardPropertyInfo.IsHidden false

SEL.HasStandardPropertyInfo <R L0.HasProperty : L0.FunctionalRelation
SEL.StandardPropertyInfo.CategoryName <R L0.HasProperty : L0.FunctionalRelation
SEL.StandardPropertyInfo.CategorySortingName <R L0.HasProperty : L0.FunctionalRelation
SEL.StandardPropertyInfo.IsHidden <R L0.HasProperty : L0.FunctionalRelation

SEL.HasEnumerationValues <R L0.HasProperty : L0.FunctionalRelation
SEL.HasCustomModifier <R L0.HasProperty : L0.FunctionalRelation
SEL.HasInputModifier <R L0.HasProperty : L0.FunctionalRelation

SEL.SortingName ==> "String" <R L0.HasProperty : L0.FunctionalRelation

SEL.canBeLifted ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation

SEL.hidden ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation

SEL.GenericParameterType <T L0.FunctionalRelation
  @L0.assert SEL.HasDisplayProperty
    _ : SEL.DisplayProperty
      L0.readOnly true
  @L0.assert SEL.HasDisplayValue
    _ : SEL.DisplayValue
      SEL.HasEnumerationValues _ : L0.Value
        L0.ConvertsToValueWith SEL.Functions.getEnumerationValues
  @L0.assert SEL.HasDisplayUnit
    _ : SEL.DisplayUnit
      L0.readOnly true
  @L0.assert SEL.HasStandardPropertyInfo
    SEL.CategoryHidden = ( "", "", true )
  @L0.assert SEL.HasInputModifier 
    SEL.Functions.inputModifier : L0.ExternalValue

SEL.GenericPropertyChild <T L0.Entity
  @L0.assert SEL.HasDisplayProperty
      _ : L0.Value
          L0.readOnly true
          L0.ConvertsToValueWith SEL.Functions.getPropertyChildName : L0.ExternalValue
  

SEL.CategoryHidden : SEL.StandardPropertyInfo
  SEL.StandardPropertyInfo.CategoryName ""
  SEL.StandardPropertyInfo.CategorySortingName ""
  SEL.StandardPropertyInfo.IsHidden true

SEL.getSpecialCategory ==> "Resource -> <ReadGraph> Resource" <R L0.HasProperty : L0.FunctionalRelation

SEL.ColorParameterType <T SEL.GenericParameterType
  @L0.assert SEL.HasDisplayValue
    _ : SEL.DisplayValue
      SEL.HasEnumerationValues SEL.Functions.getEnumerationValues
      SEL.HasCustomModifier SEL.Functions.colorModifier : L0.Function

SEL.FontParameterType <T SEL.GenericParameterType
  @L0.assert SEL.HasDisplayValue
    _ : SEL.DisplayValue
      SEL.HasEnumerationValues SEL.Functions.getEnumerationValues
      SEL.HasCustomModifier SEL.Functions.fontModifier : L0.Function

SEL.GenericCategory = ( "Properties", "", false ) : SEL.StandardPropertyInfo
  SEL.StandardPropertyInfo.CategoryName "Properties"
  SEL.StandardPropertyInfo.CategorySortingName "0"

L0.HasName
  SEL.canBeLifted false