functional-owl 0.1.0__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (13) hide show
  1. functional_owl/.DS_Store +0 -0
  2. functional_owl/__init__.py +189 -0
  3. functional_owl/dsl.py +2581 -0
  4. functional_owl/macros.py +426 -0
  5. functional_owl/ontology.py +271 -0
  6. functional_owl/py.typed +1 -0
  7. functional_owl/utils.py +127 -0
  8. functional_owl/version.py +39 -0
  9. functional_owl-0.1.0.dist-info/METADATA +373 -0
  10. functional_owl-0.1.0.dist-info/RECORD +13 -0
  11. functional_owl-0.1.0.dist-info/WHEEL +4 -0
  12. functional_owl-0.1.0.dist-info/entry_points.txt +2 -0
  13. functional_owl-0.1.0.dist-info/licenses/LICENSE +21 -0
functional_owl/.DS_Store ADDED
Binary file
functional_owl/__init__.py ADDED
@@ -0,0 +1,189 @@
1
+ """An implementation of the Functional OWL (OFN) object model."""
2
+
3
+ from .dsl import (
4
+ Annotation,
5
+ AnnotationAssertion,
6
+ AnnotationAxiom,
7
+ AnnotationProperty,
8
+ AnnotationPropertyDomain,
9
+ AnnotationPropertyRange,
10
+ AnnotationPropertyTypingAxiom,
11
+ Annotations,
12
+ Assertion,
13
+ AsymmetricObjectProperty,
14
+ Axiom,
15
+ Box,
16
+ ClassAssertion,
17
+ ClassAxiom,
18
+ ClassExpression,
19
+ DataAllValuesFrom,
20
+ DataComplementOf,
21
+ DataExactCardinality,
22
+ DataHasValue,
23
+ DataIntersectionOf,
24
+ DataMaxCardinality,
25
+ DataMinCardinality,
26
+ DataOneOf,
27
+ DataPropertyAssertion,
28
+ DataPropertyAxiom,
29
+ DataPropertyDomain,
30
+ DataPropertyExpression,
31
+ DataPropertyRange,
32
+ DataRange,
33
+ DataSomeValuesFrom,
34
+ DatatypeDefinition,
35
+ DatatypeRestriction,
36
+ DataUnionOf,
37
+ Declaration,
38
+ DeclarationType,
39
+ DifferentIndividuals,
40
+ DisjointClasses,
41
+ DisjointDataProperties,
42
+ DisjointObjectProperties,
43
+ DisjointUnion,
44
+ EquivalentClasses,
45
+ EquivalentDataProperties,
46
+ EquivalentObjectProperties,
47
+ FunctionalDataProperty,
48
+ FunctionalObjectProperty,
49
+ HasKey,
50
+ InverseFunctionalObjectProperty,
51
+ InverseObjectProperties,
52
+ IrreflexiveObjectProperty,
53
+ NegativeDataPropertyAssertion,
54
+ NegativeObjectPropertyAssertion,
55
+ ObjectAllValuesFrom,
56
+ ObjectComplementOf,
57
+ ObjectExactCardinality,
58
+ ObjectHasSelf,
59
+ ObjectHasValue,
60
+ ObjectIntersectionOf,
61
+ ObjectInverseOf,
62
+ ObjectMaxCardinality,
63
+ ObjectMinCardinality,
64
+ ObjectOneOf,
65
+ ObjectPropertyAssertion,
66
+ ObjectPropertyAxiom,
67
+ ObjectPropertyChain,
68
+ ObjectPropertyDomain,
69
+ ObjectPropertyExpression,
70
+ ObjectPropertyRange,
71
+ ObjectSomeValuesFrom,
72
+ ObjectUnionOf,
73
+ ReflexiveObjectProperty,
74
+ SameIndividual,
75
+ SubAnnotationPropertyOf,
76
+ SubClassOf,
77
+ SubDataPropertyOf,
78
+ SubObjectPropertyExpression,
79
+ SubObjectPropertyOf,
80
+ SymmetricObjectProperty,
81
+ TransitiveObjectProperty,
82
+ )
83
+ from .macros import (
84
+ AltMacro,
85
+ DescriptionMacro,
86
+ IsAnonymousMacro,
87
+ IsObsoleteMacro,
88
+ LabelMacro,
89
+ MappingMacro,
90
+ RelationshipMacro,
91
+ SynonymMacro,
92
+ XrefMacro,
93
+ )
94
+ from .ontology import Document, Import, Ontology, Prefix, write_ontology
95
+
96
+ __all__ = [
97
+ "AltMacro",
98
+ "Annotation",
99
+ "AnnotationAssertion",
100
+ "AnnotationAxiom",
101
+ "AnnotationProperty",
102
+ "AnnotationPropertyDomain",
103
+ "AnnotationPropertyRange",
104
+ "AnnotationPropertyTypingAxiom",
105
+ "Annotations",
106
+ "Assertion",
107
+ "AsymmetricObjectProperty",
108
+ "Axiom",
109
+ "Box",
110
+ "ClassAssertion",
111
+ "ClassAxiom",
112
+ "ClassExpression",
113
+ "DataAllValuesFrom",
114
+ "DataComplementOf",
115
+ "DataExactCardinality",
116
+ "DataHasValue",
117
+ "DataIntersectionOf",
118
+ "DataMaxCardinality",
119
+ "DataMinCardinality",
120
+ "DataOneOf",
121
+ "DataPropertyAssertion",
122
+ "DataPropertyAxiom",
123
+ "DataPropertyDomain",
124
+ "DataPropertyExpression",
125
+ "DataPropertyRange",
126
+ "DataRange",
127
+ "DataSomeValuesFrom",
128
+ "DataUnionOf",
129
+ "DatatypeDefinition",
130
+ "DatatypeRestriction",
131
+ "Declaration",
132
+ "DeclarationType",
133
+ "DescriptionMacro",
134
+ "DifferentIndividuals",
135
+ "DisjointClasses",
136
+ "DisjointDataProperties",
137
+ "DisjointObjectProperties",
138
+ "DisjointUnion",
139
+ "Document",
140
+ "EquivalentClasses",
141
+ "EquivalentDataProperties",
142
+ "EquivalentObjectProperties",
143
+ "FunctionalDataProperty",
144
+ "FunctionalObjectProperty",
145
+ "HasKey",
146
+ "Import",
147
+ "InverseFunctionalObjectProperty",
148
+ "InverseObjectProperties",
149
+ "IrreflexiveObjectProperty",
150
+ "IsAnonymousMacro",
151
+ "IsObsoleteMacro",
152
+ "LabelMacro",
153
+ "MappingMacro",
154
+ "NegativeDataPropertyAssertion",
155
+ "NegativeObjectPropertyAssertion",
156
+ "ObjectAllValuesFrom",
157
+ "ObjectComplementOf",
158
+ "ObjectExactCardinality",
159
+ "ObjectHasSelf",
160
+ "ObjectHasValue",
161
+ "ObjectIntersectionOf",
162
+ "ObjectInverseOf",
163
+ "ObjectMaxCardinality",
164
+ "ObjectMinCardinality",
165
+ "ObjectOneOf",
166
+ "ObjectPropertyAssertion",
167
+ "ObjectPropertyAxiom",
168
+ "ObjectPropertyChain",
169
+ "ObjectPropertyDomain",
170
+ "ObjectPropertyExpression",
171
+ "ObjectPropertyRange",
172
+ "ObjectSomeValuesFrom",
173
+ "ObjectUnionOf",
174
+ "Ontology",
175
+ "Prefix",
176
+ "ReflexiveObjectProperty",
177
+ "RelationshipMacro",
178
+ "SameIndividual",
179
+ "SubAnnotationPropertyOf",
180
+ "SubClassOf",
181
+ "SubDataPropertyOf",
182
+ "SubObjectPropertyExpression",
183
+ "SubObjectPropertyOf",
184
+ "SymmetricObjectProperty",
185
+ "SynonymMacro",
186
+ "TransitiveObjectProperty",
187
+ "XrefMacro",
188
+ "write_ontology",
189
+ ]