L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology
L0.HasResourceClass "org.simantics.layer0.Layer0"
+L0.SCLMain : L0.SCLModule
+ L0.SCLModule.definition """ include "Simantics/Layer0" """
+
// Types
L0.Entity : L0.Type
L0.HasDescription "All types are inherited from this type."
>-- 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.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.Property
+ L0.HasValueType "StructuredProperty"
+
+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.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.PropertyOf
L0.HasRange L0.Value
+L0.HasMethod <R L0.DependsOn
+ L0.InverseOf L0.MethodOf
+ L0.HasRange L0.Value
// Libraries
L0.IndexRootType <T L0.Type