1 <http:/> : L0.Library
\r
3 <http://www.simantics.org> : L0.Library
\r
4 L0 = <http://www.simantics.org/Layer0-1.1> : L0.Ontology
\r
5 L0.HasResourceClass "org.simantics.layer0.Layer0"
\r
9 L0.HasDescription "All types are inherited from this type."
\r
10 >-- L0.InstanceOf --> L0.Type <R L0.IsRelatedTo
\r
12 >-- L0.HasName --> L0.String <R L0.HasProperty : L0.FunctionalRelation
\r
14 L0.InverseOf L0.NameOf
\r
16 >-- L0.HasLabel --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
\r
18 L0.RequiresValueType "String"
\r
19 >-- L0.HasDescription --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
\r
20 L0.HasLabel "Description"
\r
21 L0.RequiresValueType "String"
\r
22 >-- L0.identifier <R L0.HasProperty : L0.FunctionalRelation
\r
23 L0.HasLabel "Identifier"
\r
25 >-- L0.typeURI <R L0.HasProperty : L0.FunctionalRelation
\r
26 L0.HasLabel "Type URI"
\r
28 >-- L0.HasComment --> L0.String <R L0.HasProperty
\r
29 >-- L0.ConsistsOf --> L0.Entity <R L0.IsComposedOf
\r
30 L0.InverseOf L0.PartOf : L0.FunctionalRelation
\r
32 >-- L0.IsLinkedTo --> L0.Entity <R L0.DependsOn
\r
33 @L0.property L0.InstanceOf
\r
34 @L0.property L0.HasProperty
\r
35 @L0.property L0.HasNext
\r
36 >-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
\r
38 L0.Type <T L0.Entity
\r
39 L0.HasDescription "All types are instances of this type."
\r
40 >-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
\r
41 L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
\r
43 >-- L0.Inherits --> L0.Type <R L0.DependsOn
\r
44 L0.InverseOf L0.SupertypeOf
\r
46 @L0.property L0.HasPropertyDefinition
\r
47 @L0.property L0.Asserts
\r
48 @L0.property L0.Inherits
\r
49 L0.Assertion <T L0.Entity
\r
50 L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
\r
51 >-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
\r
52 L0.InverseOf L0.HasPredicateInverse <R L0.IsWeaklyRelatedTo
\r
53 >-- L0.HasObject --> L0.Entity <R L0.IsRelatedTo : L0.TotalFunction
\r
54 L0.InverseOf L0.HasObjectInverse <R L0.IsWeaklyRelatedTo
\r
55 @L0.singleProperty L0.HasPredicate
\r
56 @L0.singleProperty L0.HasObject
\r
59 L0.Relation <T L0.Entity //<T L0.BinaryPredicate
\r
60 L0.HasDescription "All relations are instances of this type."
\r
61 >-- L0.SubrelationOf --> L0.Relation <R L0.DependsOn
\r
62 L0.InverseOf L0.SuperrelationOf
\r
64 >-- L0.InverseOf --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
\r
65 L0.HasDescription "States that subject and object (relations) are inverses."
\r
68 >-- L0.HasDomain --> L0.Type <R L0.DependsOn
\r
69 L0.InverseOf L0.DomainOf <R L0.IsRelatedTo
\r
70 >-- L0.HasRange --> L0.Type <R L0.DependsOn
\r
71 @L0.property L0.SubrelationOf
\r
72 @L0.property L0.InverseOf
\r
73 @L0.property L0.SuperrelationOf
\r
74 L0.FunctionalRelation <T L0.Relation
\r
75 L0.HasDescription "The cardinality of this relation for any subject is at most one."
\r
76 L0.TotalFunction <T L0.FunctionalRelation
\r
77 L0.HasDescription "The cardinality of this relation for any subject is exactly one."
\r
78 L0.Tag <T L0.Relation
\r
79 L0.HasDescription "A relation for which subject = object, used to model simple boolean statements."
\r
80 L0.PropertyRelation <T L0.Relation
\r
81 L0.HasDescription "Base type for all property relations."
\r
84 L0.IsWeaklyRelatedTo : L0.Relation
\r
85 L0.HasDescription "A basis for all relations. Makes as weak as possible connection between its subject and object."
\r
86 L0.IsRelatedTo <R L0.IsWeaklyRelatedTo
\r
87 L0.HasDescription "A typical relation, does not imply dependency."
\r
88 L0.DependsOn <R L0.IsRelatedTo
\r
89 L0.HasDescription "States that subject depends on the object."
\r
90 L0.InverseOf L0.IsDependencyOf <R L0.IsWeaklyRelatedTo
\r
91 L0.IsComposedOf <R L0.DependsOn
\r
92 L0.HasDescription "States that subject owns the object."
\r
93 L0.InverseOf L0.IsOwnedBy
\r
94 L0.HasProperty <R L0.IsComposedOf : L0.PropertyRelation
\r
95 L0.InverseOf L0.PropertyOf
\r
96 L0.HasRange L0.Value
\r
100 L0.IndexRootType <T L0.Type
\r
101 L0.IndexRoot <T L0.Entity : L0.IndexRootType
\r
102 @L0.tag L0.Abstract
\r
103 L0.Library <T L0.Entity
\r
104 @L0.singleProperty L0.HasName
\r
105 @L0.property L0.ConsistsOf
\r
106 L0.Ontology <T L0.Library <T L0.IndexRoot
\r
107 >-- L0.Ontology.global <R L0.HasProperty : L0.FunctionalRelation
\r
108 L0.HasLabel "Global?"
\r
111 L0.SharedOntology <T L0.Ontology
\r
112 >-- L0.SharedOntology.treatAsSystemOntology --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
\r
113 @L0.assert L0.SharedOntology.treatAsSystemOntology false
\r
114 @L0.tag L0.Abstract
\r
115 >-- L0.SharedOntology.tg <R L0.HasProperty : L0.FunctionalRelation
\r
117 >-- L0.SharedOntology.tgResources <R L0.HasProperty : L0.FunctionalRelation
\r
118 --> L0.ResourceIdArray
\r
120 L0.ResourceIdArray <T L0.Literal
\r
121 @L0.assert L0.HasDataType $(Long(unit="resource")[])
\r
123 L0.PGraph <T L0.Entity
\r
124 >-- L0.PGraph.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
\r
125 @L0.assert L0.PGraph.definition ""
\r