3 <http://www.simantics.org> : L0.Library
4 L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology
5 L0.HasResourceClass "org.simantics.layer0.Layer0"
7 L0.SCLMain : L0.SCLModule
8 L0.SCLModule.definition """ include "Simantics/Layer0" """
12 L0.HasDescription "All types are inherited from this type."
13 >-- L0.InstanceOf --> L0.Type <R L0.IsRelatedTo
15 >-- L0.HasName --> L0.String <R L0.HasProperty : L0.FunctionalRelation
17 L0.InverseOf L0.NameOf
19 >-- L0.HasLabel --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
21 L0.RequiresValueType "String"
22 >-- L0.HasDescription --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
23 L0.HasLabel "Description"
24 L0.RequiresValueType "String"
25 >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
26 L0.HasLabel "Identifier"
29 >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation
30 L0.HasLabel "Type URI"
32 >-- L0.typeResource <R L0.HasProperty : L0.FunctionalRelation
33 L0.HasLabel "Type Resource"
34 ==> "Variable -> Resource -> <ReadGraph> Resource"
35 >-- L0.HasComment --> L0.String <R L0.HasProperty
36 >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf
37 L0.InverseOf L0.PartOf : L0.FunctionalRelation
39 >-- L0.IsLinkedTo --> L0.Entity <R L0.DependsOn
40 @L0.property L0.InstanceOf
41 @L0.property L0.HasProperty
42 @L0.property L0.HasNext
43 >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
46 @L0.assert L0.Entity.methods
48 L0.HasValueType "StructuredProperty"
50 L0.Entity.methods ==> "StructuredProperty" <R L0.HasProperty : L0.FunctionalRelation
51 L0.domainProperties L0.Functions.methodsPropertyDomainProperties
53 L0.Entity.method <R L0.HasProperty : L0.FunctionalRelation
56 L0.HasDescription "All types are instances of this type."
57 >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
58 L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
60 >-- L0.Inherits --> L0.Type <R L0.DependsOn
61 L0.InverseOf L0.SupertypeOf
63 @L0.property L0.HasPropertyDefinition
64 @L0.property L0.Asserts
65 @L0.property L0.Inherits
66 >-- L0.Type.instantiateUnder ==> "Resource -> Resource -> <WriteGraph> Resource" <R L0.HasMethod : L0.FunctionalRelation
67 @L0.assert L0.Type.instantiateUnder L0.Functions.defaultInstantiateUnder
68 L0.Assertion <T L0.Entity
69 L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
70 >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
71 L0.InverseOf L0.HasPredicateInverse <R L0.IsWeaklyRelatedTo
72 >-- L0.HasObject --> L0.Entity <R L0.IsRelatedTo : L0.TotalFunction
73 L0.InverseOf L0.HasObjectInverse <R L0.IsWeaklyRelatedTo
74 @L0.singleProperty L0.HasPredicate
75 @L0.singleProperty L0.HasObject
78 L0.Relation <T L0.Entity //<T L0.BinaryPredicate
79 L0.HasDescription "All relations are instances of this type."
80 >-- L0.SubrelationOf --> L0.Relation <R L0.DependsOn
81 L0.InverseOf L0.SuperrelationOf
83 >-- L0.InverseOf --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
84 L0.HasDescription "States that subject and object (relations) are inverses."
87 >-- L0.HasDomain --> L0.Type <R L0.DependsOn
88 L0.InverseOf L0.DomainOf <R L0.IsRelatedTo
89 >-- L0.HasRange --> L0.Type <R L0.DependsOn
90 @L0.property L0.SubrelationOf
91 @L0.property L0.InverseOf
92 @L0.property L0.SuperrelationOf
93 L0.FunctionalRelation <T L0.Relation
94 L0.HasDescription "The cardinality of this relation for any subject is at most one."
95 L0.TotalFunction <T L0.FunctionalRelation
96 L0.HasDescription "The cardinality of this relation for any subject is exactly one."
98 L0.HasDescription "A relation for which subject = object, used to model simple boolean statements."
99 L0.PropertyRelation <T L0.Relation
100 L0.HasDescription "Base type for all property relations."
103 L0.IsWeaklyRelatedTo : L0.Relation
104 L0.HasDescription "A basis for all relations. Makes as weak as possible connection between its subject and object."
105 L0.IsRelatedTo <R L0.IsWeaklyRelatedTo
106 L0.HasDescription "A typical relation, does not imply dependency."
107 L0.DependsOn <R L0.IsRelatedTo
108 L0.HasDescription "States that subject depends on the object."
109 L0.InverseOf L0.IsDependencyOf <R L0.IsWeaklyRelatedTo
110 L0.IsComposedOf <R L0.DependsOn
111 L0.HasDescription "States that subject owns the object."
112 L0.InverseOf L0.IsOwnedBy
113 L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation
114 L0.InverseOf L0.PropertyOf
117 L0.HasMethod <R L0.DependsOn
118 L0.InverseOf L0.MethodOf
122 L0.IndexRootType <T L0.Type
123 L0.IndexRoot <T L0.Entity : L0.IndexRootType
125 L0.Library <T L0.Entity
126 @L0.singleProperty L0.HasName
127 @L0.property L0.ConsistsOf
128 L0.Ontology <T L0.Library <T L0.IndexRoot
129 >-- L0.Ontology.global <R L0.HasProperty : L0.FunctionalRelation
130 L0.HasLabel "Global?"
132 >-- L0.Ontology.download --> L0.String <R L0.HasProperty : L0.FunctionalRelation
134 L0.SharedOntology <T L0.Ontology
135 >-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
136 @L0.assert L0.SharedOntology.treatAsSystemOntology false
138 >-- L0.SharedOntology.tg <R L0.HasProperty : L0.FunctionalRelation
140 >-- L0.SharedOntology.tgResources <R L0.HasProperty : L0.FunctionalRelation
141 --> L0.ResourceIdArray
143 L0.ResourceIdArray <T L0.Literal
144 @L0.assert L0.HasDataType $(Long(unit="resource")[])
146 L0.PGraph <T L0.Entity
147 >-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
148 @L0.assert L0.PGraph.definition ""
150 L0.ExternalEntity <T L0.Entity