1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
namespace! {
"owl",
"http://www.w3.org/2002/07/owl#",
{
thing, "Thing",
nothing, "Nothing",
intersection_of, "intersectionOf",
union_of, "unionOf",
complement_of, "complementOf",
one_of, "oneOf",
restriction, "Restriction",
on_property, "onProperty",
on_class, "onClass",
on_datatype, "onDatatype",
all_values_from, "allValuesFrom",
some_values_from, "someValuesFrom",
has_value, "hasValue",
has_self, "hasSelf",
cardinality, "cardinality",
qualified_cardinality, "qualifiedCardinality",
max_cardinality, "maxCardinality",
max_qualified_cardinality, "maxQualifiedCardinality",
min_cardinality, "minCardinality",
min_qualified_cardinality, "minQualifiedCardinality",
datatype_complement_of, "datatypeComplementOf",
with_restrictions, "withRestrictions",
equivalent_class, "equivalentClass",
disjoint_with, "disjointWith",
all_disjoint_classes, "AllDisjointClasses",
members, "members",
disjoint_union_of, "disjointUnionOf",
property_chain_axiom, "propertyChainAxiom",
equivalent_property, "equivalentProperty",
property_disjoint_with, "propertyDisjointWith",
all_disjoint_properties, "AllDisjointProperties",
inverse_of, "inverseOf",
functional_property, "FunctionalProperty",
inverse_functional_property, "InverseFunctionalProperty",
reflexive_property, "ReflexiveProperty",
irreflexive_property, "IrreflexiveProperty",
symmetric_property, "SymmetricProperty",
asymmetric_property, "AsymmetricProperty",
transitive_property, "TransitiveProperty",
same_as, "sameAs",
different_from, "differentFrom",
all_different, "AllDifferent",
negative_property_assertion, "NegativePropertyAssertion",
source_individual, "sourceIndividual",
assertion_property, "assertionProperty",
target_individual, "targetIndividual",
target_value, "targetValue",
has_key, "hasKey",
class, "Class",
object_property, "ObjectProperty",
datatype_property, "DatatypeProperty",
annotation_property, "AnnotationProperty",
named_individual, "NamedIndividual",
axiom, "Axiom",
annotated_source, "annotatedSource",
annotated_property, "annotatedProperty",
annotated_target, "annotatedTarget",
version_info, "versionInfo",
deprecated, "deprecated",
backward_compatible_with, "backwardCompatibleWith",
incompatible_with, "incompatible_with",
prior_version, "priorVersion",
ontology, "Ontology",
version, "version",
imports, "imports",
rational, "rational",
real, "real",
distinct_members, "distinctMembers",
ontology_property, "OntologyProperty",
deprecated_class, "DeprecatedClass",
deprecated_property, "DeprecatedProperty"
}
}