├── .github └── workflows │ └── run-precommit.yaml ├── .gitignore ├── .pre-commit-config.yaml ├── .travis.yml ├── COPYING ├── COPYING.lesser ├── Cargo.toml ├── Makefile ├── README.md ├── benches ├── horned.rs ├── io.rs ├── model.rs └── ont │ ├── food.owl │ ├── o10.owx │ ├── o100.owl │ ├── o100.owx │ ├── o100.xml │ ├── o1000.owx │ ├── o10000.owx │ ├── o2500.owx │ ├── o5000.owx │ └── pizza.owl ├── bikepath.md ├── contribute.md ├── dev ├── go-short.owl └── untracked-files.sh ├── doc └── roadmap.org ├── horned-bin ├── Cargo.toml ├── README.md ├── src │ ├── bin │ │ ├── horned.rs │ │ ├── horned_big.rs │ │ ├── horned_compare.rs │ │ ├── horned_dump.rs │ │ ├── horned_materialize.rs │ │ ├── horned_parse.rs │ │ ├── horned_round.rs │ │ ├── horned_summary.rs │ │ ├── horned_triples.rs │ │ ├── horned_unparsed.rs │ │ └── horned_validate.rs │ └── lib.rs └── tests │ ├── test_horned_materialize.rs │ ├── test_horned_parse.rs │ ├── test_horned_round.rs │ └── test_horned_validate.rs ├── profile └── profile-go ├── releases.md ├── roadmap.md └── src ├── adaptor.rs ├── curie.rs ├── error.rs ├── grammars ├── bcp47.pest ├── ofn.pest ├── rfc3987.pest └── sparql.pest ├── io ├── mod.rs ├── ofn │ ├── mod.rs │ ├── reader │ │ ├── from_pair.rs │ │ ├── lexer.rs │ │ └── mod.rs │ └── writer │ │ ├── as_functional.rs │ │ └── mod.rs ├── owx │ ├── mod.rs │ ├── reader.rs │ └── writer.rs └── rdf │ ├── closure_reader.rs │ ├── mod.rs │ ├── reader.rs │ └── writer.rs ├── lib.rs ├── model.rs ├── normalize.rs ├── ont ├── Makefile ├── README ├── bubo │ ├── Makefile │ ├── ambiguous │ │ ├── annotation-with-anonymous.clj │ │ ├── multi-same-individual.clj │ │ └── nonround-test.clj │ ├── and-complex.clj │ ├── and.clj │ ├── annotation-domain.clj │ ├── annotation-on-complex-subclass.clj │ ├── annotation-on-equivalent-classes.clj │ ├── annotation-on-subclass.clj │ ├── annotation-on-transitive.clj │ ├── annotation-property.clj │ ├── annotation-range.clj │ ├── annotation-with-annotation.clj │ ├── annotation-with-non-builtin-annotation.clj │ ├── annotation.clj │ ├── annotation_assertion.clj │ ├── anon-subobjectproperty.clj │ ├── class-assertion.clj │ ├── class.clj │ ├── class_with_two_annotations.clj │ ├── comment.clj │ ├── complex-equivalent-classes.clj │ ├── data-exact-cardinality.clj │ ├── data-has-key.clj │ ├── data-has-value.clj │ ├── data-max-cardinality.clj │ ├── data-min-cardinality.clj │ ├── data-only.clj │ ├── data-property-assertion.clj │ ├── data-property-disjoint.clj │ ├── data-property-domain.clj │ ├── data-property-equivalent.clj │ ├── data-property-functional.clj │ ├── data-property-range.clj │ ├── data-property-sub.clj │ ├── data-property.clj │ ├── data-some.clj │ ├── data-unqualified-exact.clj │ ├── datatype-alias.clj │ ├── datatype-complement.clj │ ├── datatype-intersection.clj │ ├── datatype-oneof.clj │ ├── datatype-union.clj │ ├── datatype.clj │ ├── declaration-with-annotation.clj │ ├── declaration-with-two-annotation.clj │ ├── different-individual.clj │ ├── disjoint-class.clj │ ├── disjoint-object-properties.clj │ ├── disjoint-union.clj │ ├── equivalent-class.clj │ ├── equivalent-object-properties.clj │ ├── equivalent_classes.clj │ ├── facet-restriction-complex.clj │ ├── facet-restriction.clj │ ├── gci_and_other_class_relations.clj │ ├── happy_person.clj │ ├── import.clj │ ├── intersection.clj │ ├── inverse-properties.clj │ ├── inverse-transitive.clj │ ├── label.clj │ ├── literal-escaped.clj │ ├── multi-different-individual.clj │ ├── multi-has-key.clj │ ├── multiple-ontology-annotation.clj │ ├── named-individual.clj │ ├── negative-data-property-assertion.clj │ ├── negative-object-property-assertion.clj │ ├── not.clj │ ├── o10.clj │ ├── object-exact-cardinality.clj │ ├── object-has-key.clj │ ├── object-has-self.clj │ ├── object-has-value.clj │ ├── object-max-cardinality.clj │ ├── object-min-cardinality.clj │ ├── object-one-of.clj │ ├── object-property-assertion.clj │ ├── object-property-asymmetric.clj │ ├── object-property-domain.clj │ ├── object-property-functional.clj │ ├── object-property-inverse-functional.clj │ ├── object-property-irreflexive.clj │ ├── object-property-range.clj │ ├── object-property-reflexive.clj │ ├── object-property-symmetric.clj │ ├── object-unqualified-exact.clj │ ├── object-unqualified-max-cardinality.clj │ ├── only.clj │ ├── ont-with-bfo.clj │ ├── ont.clj │ ├── ontology-annotation.clj │ ├── ontology.clj │ ├── oproperty.clj │ ├── or.clj │ ├── other-iri.clj │ ├── other.clj │ ├── recursing_class.clj │ ├── same-individual.clj │ ├── save.clj │ ├── some-inverse.clj │ ├── some-not.clj │ ├── some-not.omn │ ├── some.clj │ ├── some.omn │ ├── sub-annotation.clj │ ├── subclass.clj │ ├── suboproperty-inverse.clj │ ├── suboproperty-top.clj │ ├── suboproperty.clj │ ├── subproperty-chain-with-inverse.clj │ ├── subproperty-chain.clj │ ├── swrl_basic.clj │ ├── swrl_built_in.clj │ ├── swrl_class_expression.clj │ ├── swrl_data_range.clj │ ├── swrl_different_individuals.clj │ ├── swrl_individual.clj │ ├── swrl_literal.clj │ ├── swrl_object_property_atom.clj │ ├── swrl_rule_support.clj │ ├── swrl_same_individual.clj │ ├── swrl_two_variables.clj │ ├── transitive-properties.clj │ ├── two-annotation-on-transitive.clj │ ├── type-complex.clj │ ├── type-individual-datatype-unqualified.clj │ ├── type-individual-datatype.clj │ ├── typed-individual-datatype-unqualified.clj │ └── withimport │ │ ├── import-property.clj │ │ └── other-property.clj ├── owl-functional │ ├── ambiguous │ │ ├── annotation-with-anonymous.ofn │ │ ├── multi-same-individual.ofn │ │ └── nonround-test.ofn │ ├── and-complex.ofn │ ├── and.ofn │ ├── annotation-domain.ofn │ ├── annotation-on-complex-subclass.ofn │ ├── annotation-on-equivalent-classes.ofn │ ├── annotation-on-subclass.ofn │ ├── annotation-on-transitive.ofn │ ├── annotation-property.ofn │ ├── annotation-range.ofn │ ├── annotation-with-annotation.ofn │ ├── annotation-with-non-builtin-annotation.ofn │ ├── annotation.ofn │ ├── annotation_assertion.ofn │ ├── anon-subobjectproperty.ofn │ ├── class-assertion.ofn │ ├── class.ofn │ ├── class_with_two_annotations.ofn │ ├── comment.ofn │ ├── complex-equivalent-classes.ofn │ ├── data-exact-cardinality.ofn │ ├── data-has-key.ofn │ ├── data-has-value.ofn │ ├── data-max-cardinality.ofn │ ├── data-min-cardinality.ofn │ ├── data-only.ofn │ ├── data-property-assertion.ofn │ ├── data-property-disjoint.ofn │ ├── data-property-domain.ofn │ ├── data-property-equivalent.ofn │ ├── data-property-functional.ofn │ ├── data-property-range.ofn │ ├── data-property-sub.ofn │ ├── data-property.ofn │ ├── data-some.ofn │ ├── data-unqualified-exact.ofn │ ├── datatype-alias.ofn │ ├── datatype-complement.ofn │ ├── datatype-intersection.ofn │ ├── datatype-oneof.ofn │ ├── datatype-union.ofn │ ├── datatype.ofn │ ├── declaration-with-annotation.ofn │ ├── declaration-with-two-annotation.ofn │ ├── different-individual.ofn │ ├── disjoint-class.ofn │ ├── disjoint-object-properties.ofn │ ├── disjoint-union.ofn │ ├── equivalent-class.ofn │ ├── equivalent-object-properties.ofn │ ├── equivalent_classes.ofn │ ├── facet-restriction-complex.ofn │ ├── facet-restriction.ofn │ ├── gci_and_other_class_relations.ofn │ ├── happy_person.ofn │ ├── import.ofn │ ├── intersection.ofn │ ├── inverse-properties.ofn │ ├── inverse-transitive.ofn │ ├── label.ofn │ ├── literal-escaped.ofn │ ├── manual │ │ ├── family-other.ofn │ │ ├── family.ofn │ │ └── one-class-fully-qualified.ofn │ ├── multi-different-individual.ofn │ ├── multi-has-key.ofn │ ├── multiple-ontology-annotation.ofn │ ├── named-individual.ofn │ ├── negative-data-property-assertion.ofn │ ├── negative-object-property-assertion.ofn │ ├── not.ofn │ ├── o10.ofn │ ├── object-exact-cardinality.ofn │ ├── object-has-key.ofn │ ├── object-has-self.ofn │ ├── object-has-value.ofn │ ├── object-max-cardinality.ofn │ ├── object-min-cardinality.ofn │ ├── object-one-of.ofn │ ├── object-property-assertion.ofn │ ├── object-property-asymmetric.ofn │ ├── object-property-domain.ofn │ ├── object-property-functional.ofn │ ├── object-property-inverse-functional.ofn │ ├── object-property-irreflexive.ofn │ ├── object-property-range.ofn │ ├── object-property-reflexive.ofn │ ├── object-property-symmetric.ofn │ ├── object-unqualified-exact.ofn │ ├── object-unqualified-max-cardinality.ofn │ ├── only.ofn │ ├── ont-with-bfo.ofn │ ├── ont.ofn │ ├── ontology-annotation.ofn │ ├── oproperty.ofn │ ├── or.ofn │ ├── other-iri.ofn │ ├── recursing_class.ofn │ ├── same-individual.ofn │ ├── some-inverse.ofn │ ├── some-not.ofn │ ├── some.ofn │ ├── sub-annotation.ofn │ ├── subclass.ofn │ ├── suboproperty-inverse.ofn │ ├── suboproperty-top.ofn │ ├── suboproperty.ofn │ ├── subproperty-chain-with-inverse.ofn │ ├── subproperty-chain.ofn │ ├── swrl_basic.ofn │ ├── swrl_built_in.ofn │ ├── swrl_class_expression.ofn │ ├── swrl_data_range.ofn │ ├── swrl_different_individuals.ofn │ ├── swrl_individual.ofn │ ├── swrl_literal.ofn │ ├── swrl_object_property_atom.ofn │ ├── swrl_same_individual.ofn │ ├── swrl_two_variables.ofn │ ├── transitive-properties.ofn │ ├── two-annotation-on-transitive.ofn │ ├── type-complex.ofn │ ├── type-individual-datatype-unqualified.ofn │ ├── type-individual-datatype.ofn │ ├── typed-individual-datatype-unqualified.ofn │ └── withimport │ │ ├── import-property.ofn │ │ └── other-property.ofn ├── owl-rdf │ ├── ambiguous │ │ ├── annotation-with-anonymous.owl │ │ ├── multi-same-individual.owl │ │ └── nonround-test.owl │ ├── and-complex.owl │ ├── and.owl │ ├── annotation-domain.owl │ ├── annotation-on-complex-subclass.owl │ ├── annotation-on-equivalent-classes.owl │ ├── annotation-on-subclass.owl │ ├── annotation-on-transitive.owl │ ├── annotation-property.owl │ ├── annotation-range.owl │ ├── annotation-with-annotation.owl │ ├── annotation-with-non-builtin-annotation.owl │ ├── annotation.owl │ ├── annotation_assertion.owl │ ├── anon-subobjectproperty.owl │ ├── class-assertion.owl │ ├── class.owl │ ├── class_with_two_annotations.owl │ ├── comment.owl │ ├── complex-equivalent-classes.owl │ ├── data-exact-cardinality.owl │ ├── data-has-key.owl │ ├── data-has-value.owl │ ├── data-max-cardinality.owl │ ├── data-min-cardinality.owl │ ├── data-only.owl │ ├── data-property-assertion.owl │ ├── data-property-disjoint.owl │ ├── data-property-domain.owl │ ├── data-property-equivalent.owl │ ├── data-property-functional.owl │ ├── data-property-range.owl │ ├── data-property-sub.owl │ ├── data-property.owl │ ├── data-some.owl │ ├── data-unqualified-exact.owl │ ├── datatype-alias.owl │ ├── datatype-complement.owl │ ├── datatype-intersection.owl │ ├── datatype-oneof.owl │ ├── datatype-union.owl │ ├── datatype.owl │ ├── declaration-with-annotation.owl │ ├── declaration-with-two-annotation.owl │ ├── different-individual.owl │ ├── disjoint-class.owl │ ├── disjoint-object-properties.owl │ ├── disjoint-union.owl │ ├── equivalent-class.owl │ ├── equivalent-object-properties.owl │ ├── equivalent_classes.owl │ ├── facet-restriction-complex.owl │ ├── facet-restriction.owl │ ├── gci_and_other_class_relations.owl │ ├── happy_person.owl │ ├── import.owl │ ├── intersection.owl │ ├── inverse-properties.owl │ ├── inverse-transitive.owl │ ├── label.owl │ ├── literal-escaped.owl │ ├── manual │ │ ├── annotation_no_declaration.owl │ │ ├── broken-ontology-annotation.owl │ │ ├── family-other.owl │ │ ├── family.owl │ │ ├── oeo-snippet.owl │ │ ├── one-class-fully-qualified.owl │ │ ├── one-some-property-filler-reversed.owl │ │ └── one-some-reversed-triples.owl │ ├── multi-different-individual.owl │ ├── multi-has-key.owl │ ├── multiple-ontology-annotation.owl │ ├── named-individual.owl │ ├── negative-data-property-assertion.owl │ ├── negative-object-property-assertion.owl │ ├── not.owl │ ├── o10.owl │ ├── object-exact-cardinality.owl │ ├── object-has-key.owl │ ├── object-has-self.owl │ ├── object-has-value.owl │ ├── object-max-cardinality.owl │ ├── object-min-cardinality.owl │ ├── object-one-of.owl │ ├── object-property-assertion.owl │ ├── object-property-asymmetric.owl │ ├── object-property-domain.owl │ ├── object-property-functional.owl │ ├── object-property-inverse-functional.owl │ ├── object-property-irreflexive.owl │ ├── object-property-range.owl │ ├── object-property-reflexive.owl │ ├── object-property-symmetric.owl │ ├── object-unqualified-exact.owl │ ├── object-unqualified-max-cardinality.owl │ ├── only.owl │ ├── ont-with-bfo.owl │ ├── ont.owl │ ├── ontology-annotation.owl │ ├── oproperty.owl │ ├── or.owl │ ├── other-iri.owl │ ├── recursing_class.owl │ ├── same-individual.owl │ ├── some-inverse.owl │ ├── some-not.owl │ ├── some.owl │ ├── sub-annotation.owl │ ├── subclass.owl │ ├── suboproperty-inverse.owl │ ├── suboproperty-top.owl │ ├── suboproperty.owl │ ├── subproperty-chain-with-inverse.owl │ ├── subproperty-chain.owl │ ├── swrl_basic.owl │ ├── swrl_built_in.owl │ ├── swrl_class_expression.owl │ ├── swrl_data_range.owl │ ├── swrl_different_individuals.owl │ ├── swrl_individual.owl │ ├── swrl_literal.owl │ ├── swrl_object_property_atom.owl │ ├── swrl_same_individual.owl │ ├── swrl_two_variables.owl │ ├── transitive-properties.owl │ ├── two-annotation-on-transitive.owl │ ├── type-complex.owl │ ├── type-individual-datatype-unqualified.owl │ ├── type-individual-datatype.owl │ ├── typed-individual-datatype-unqualified.owl │ └── withimport │ │ ├── import-property.owl │ │ └── other-property.owl ├── owl-ttl │ ├── ambiguous │ │ ├── annotation-with-anonymous.ttl │ │ ├── multi-same-individual.ttl │ │ └── nonround-test.ttl │ ├── and-complex.ttl │ ├── and.ttl │ ├── annotation-domain.ttl │ ├── annotation-on-complex-subclass.ttl │ ├── annotation-on-equivalent-classes.ttl │ ├── annotation-on-subclass.ttl │ ├── annotation-on-transitive.ttl │ ├── annotation-property.ttl │ ├── annotation-range.ttl │ ├── annotation-with-annotation.ttl │ ├── annotation-with-non-builtin-annotation.ttl │ ├── annotation.ttl │ ├── annotation_assertion.ttl │ ├── anon-subobjectproperty.ttl │ ├── class-assertion.ttl │ ├── class.ttl │ ├── class_with_two_annotations.ttl │ ├── comment.ttl │ ├── complex-equivalent-classes.ttl │ ├── data-exact-cardinality.ttl │ ├── data-has-key.ttl │ ├── data-has-value.ttl │ ├── data-max-cardinality.ttl │ ├── data-min-cardinality.ttl │ ├── data-only.ttl │ ├── data-property-assertion.ttl │ ├── data-property-disjoint.ttl │ ├── data-property-domain.ttl │ ├── data-property-equivalent.ttl │ ├── data-property-functional.ttl │ ├── data-property-range.ttl │ ├── data-property-sub.ttl │ ├── data-property.ttl │ ├── data-some.ttl │ ├── data-unqualified-exact.ttl │ ├── datatype-alias.ttl │ ├── datatype-complement.ttl │ ├── datatype-intersection.ttl │ ├── datatype-oneof.ttl │ ├── datatype-union.ttl │ ├── datatype.ttl │ ├── declaration-with-annotation.ttl │ ├── declaration-with-two-annotation.ttl │ ├── different-individual.ttl │ ├── disjoint-class.ttl │ ├── disjoint-object-properties.ttl │ ├── disjoint-union.ttl │ ├── equivalent-class.ttl │ ├── equivalent-object-properties.ttl │ ├── equivalent_classes.ttl │ ├── facet-restriction-complex.ttl │ ├── facet-restriction.ttl │ ├── gci_and_other_class_relations.ttl │ ├── happy_person.ttl │ ├── import.ttl │ ├── intersection.ttl │ ├── inverse-properties.ttl │ ├── inverse-transitive.ttl │ ├── label.ttl │ ├── literal-escaped.ttl │ ├── manual │ │ ├── family-other.ttl │ │ ├── family.ttl │ │ └── one-class-fully-qualified.ttl │ ├── multi-different-individual.ttl │ ├── multi-has-key.ttl │ ├── multiple-ontology-annotation.ttl │ ├── named-individual.ttl │ ├── negative-data-property-assertion.ttl │ ├── negative-object-property-assertion.ttl │ ├── not.ttl │ ├── o10.ttl │ ├── object-exact-cardinality.ttl │ ├── object-has-key.ttl │ ├── object-has-self.ttl │ ├── object-has-value.ttl │ ├── object-max-cardinality.ttl │ ├── object-min-cardinality.ttl │ ├── object-one-of.ttl │ ├── object-property-assertion.ttl │ ├── object-property-asymmetric.ttl │ ├── object-property-domain.ttl │ ├── object-property-functional.ttl │ ├── object-property-inverse-functional.ttl │ ├── object-property-irreflexive.ttl │ ├── object-property-range.ttl │ ├── object-property-reflexive.ttl │ ├── object-property-symmetric.ttl │ ├── object-unqualified-exact.ttl │ ├── object-unqualified-max-cardinality.ttl │ ├── only.ttl │ ├── ont-with-bfo.ttl │ ├── ont.ttl │ ├── ontology-annotation.ttl │ ├── oproperty.ttl │ ├── or.ttl │ ├── other-iri.ttl │ ├── recursing_class.ttl │ ├── same-individual.ttl │ ├── some-inverse.ttl │ ├── some-not.ttl │ ├── some.ttl │ ├── sub-annotation.ttl │ ├── subclass.ttl │ ├── suboproperty-inverse.ttl │ ├── suboproperty-top.ttl │ ├── suboproperty.ttl │ ├── subproperty-chain-with-inverse.ttl │ ├── subproperty-chain.ttl │ ├── swrl_basic.ttl │ ├── swrl_built_in.ttl │ ├── swrl_class_expression.ttl │ ├── swrl_data_range.ttl │ ├── swrl_different_individuals.ttl │ ├── swrl_individual.ttl │ ├── swrl_literal.ttl │ ├── swrl_object_property_atom.ttl │ ├── swrl_same_individual.ttl │ ├── swrl_two_variables.ttl │ ├── transitive-properties.ttl │ ├── two-annotation-on-transitive.ttl │ ├── type-complex.ttl │ ├── type-individual-datatype-unqualified.ttl │ ├── type-individual-datatype.ttl │ ├── typed-individual-datatype-unqualified.ttl │ └── withimport │ │ ├── import-property.ttl │ │ └── other-property.ttl └── owl-xml │ ├── ambiguous │ ├── annotation-with-anonymous.owx │ ├── multi-same-individual.owx │ └── nonround-test.owx │ ├── and-complex.owx │ ├── and.owx │ ├── annotation-domain.owx │ ├── annotation-on-complex-subclass.owx │ ├── annotation-on-equivalent-classes.owx │ ├── annotation-on-subclass.owx │ ├── annotation-on-transitive.owx │ ├── annotation-property.owx │ ├── annotation-range.owx │ ├── annotation-with-annotation.owx │ ├── annotation-with-non-builtin-annotation.owx │ ├── annotation.owx │ ├── annotation_assertion.owx │ ├── anon-subobjectproperty.owx │ ├── class-assertion.owx │ ├── class.owx │ ├── class_with_two_annotations.owx │ ├── comment.owx │ ├── complex-equivalent-classes.owx │ ├── data-exact-cardinality.owx │ ├── data-has-key.owx │ ├── data-has-value.owx │ ├── data-max-cardinality.owx │ ├── data-min-cardinality.owx │ ├── data-only.owx │ ├── data-property-assertion.owx │ ├── data-property-disjoint.owx │ ├── data-property-domain.owx │ ├── data-property-equivalent.owx │ ├── data-property-functional.owx │ ├── data-property-range.owx │ ├── data-property-sub.owx │ ├── data-property.owx │ ├── data-some.owx │ ├── data-unqualified-exact.owx │ ├── datatype-alias.owx │ ├── datatype-complement.owx │ ├── datatype-intersection.owx │ ├── datatype-oneof.owx │ ├── datatype-union.owx │ ├── datatype.owx │ ├── declaration-with-annotation.owx │ ├── declaration-with-two-annotation.owx │ ├── different-individual.owx │ ├── disjoint-class.owx │ ├── disjoint-object-properties.owx │ ├── disjoint-union.owx │ ├── equivalent-class.owx │ ├── equivalent-object-properties.owx │ ├── equivalent_classes.owx │ ├── facet-restriction-complex.owx │ ├── facet-restriction.owx │ ├── gci_and_other_class_relations.owx │ ├── happy_person.owx │ ├── import.owx │ ├── intersection.owx │ ├── inverse-properties.owx │ ├── inverse-transitive.owx │ ├── label.owx │ ├── literal-escaped.owx │ ├── manual │ ├── family-other.owx │ ├── family.owx │ ├── one-class-fully-qualified.owx │ └── one-label-non-abbreviated-iri.owx │ ├── multi-different-individual.owx │ ├── multi-has-key.owx │ ├── multiple-ontology-annotation.owx │ ├── named-individual.owx │ ├── negative-data-property-assertion.owx │ ├── negative-object-property-assertion.owx │ ├── not.owx │ ├── o10.owx │ ├── object-exact-cardinality.owx │ ├── object-has-key.owx │ ├── object-has-self.owx │ ├── object-has-value.owx │ ├── object-max-cardinality.owx │ ├── object-min-cardinality.owx │ ├── object-one-of.owx │ ├── object-property-assertion.owx │ ├── object-property-asymmetric.owx │ ├── object-property-domain.owx │ ├── object-property-functional.owx │ ├── object-property-inverse-functional.owx │ ├── object-property-irreflexive.owx │ ├── object-property-range.owx │ ├── object-property-reflexive.owx │ ├── object-property-symmetric.owx │ ├── object-unqualified-exact.owx │ ├── object-unqualified-max-cardinality.owx │ ├── only.owx │ ├── ont-with-bfo.owx │ ├── ont.owx │ ├── ontology-annotation.owx │ ├── oproperty.owx │ ├── or.owx │ ├── other-iri.owx │ ├── recursing_class.owx │ ├── same-individual.owx │ ├── some-inverse.owx │ ├── some-not.owx │ ├── some.owx │ ├── sub-annotation.owx │ ├── subclass.owx │ ├── suboproperty-inverse.owx │ ├── suboproperty-top.owx │ ├── suboproperty.owx │ ├── subproperty-chain-with-inverse.owx │ ├── subproperty-chain.owx │ ├── swrl_basic.owx │ ├── swrl_built_in.owx │ ├── swrl_class_expression.owx │ ├── swrl_data_range.owx │ ├── swrl_different_individuals.owx │ ├── swrl_individual.owx │ ├── swrl_literal.owx │ ├── swrl_object_property_atom.owx │ ├── swrl_same_individual.owx │ ├── swrl_two_variables.owx │ ├── transitive-properties.owx │ ├── two-annotation-on-transitive.owx │ ├── type-complex.owx │ ├── type-individual-datatype-unqualified.owx │ ├── type-individual-datatype.owx │ ├── typed-individual-datatype-unqualified.owx │ └── withimport │ ├── import-property.owx │ └── other-property.owx ├── ontology ├── component_mapped.rs ├── declaration_mapped.rs ├── indexed.rs ├── iri_mapped.rs ├── logically_equal.rs ├── mod.rs └── set.rs ├── resolve.rs ├── visitor ├── immutable.rs ├── mod.rs └── mutable.rs └── vocab.rs /.github/workflows/run-precommit.yaml: -------------------------------------------------------------------------------- 1 | name: run-pre-commit 2 | 3 | on: 4 | pull_request: 5 | push: 6 | branches: [main] 7 | 8 | 9 | jobs: 10 | pre-commit: 11 | runs-on: ubuntu-latest 12 | steps: 13 | - uses: actions/checkout@v4 14 | - uses: actions/setup-python@v5 15 | - run: python -m pip install pre-commit 16 | shell: bash 17 | - uses: actions/cache@v4 18 | with: 19 | path: ~/.cache/pre-commit 20 | key: pre-commit-3|${{ env.pythonLocation }}|${{ hashFiles('.pre-commit-config.yaml') }} 21 | - run: pre-commit run --all-files --show-diff-on-failure --color=always ${{ inputs.extra_args }} 22 | shell: bash 23 | 24 | 25 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | **/*.rs.bk 3 | Cargo.lock 4 | /benches/ont/o1000*.owl 5 | /benches/ont/o5000*.owl 6 | /notes.org 7 | /src/bin/horned_temp.rs 8 | /tmp/ 9 | /big-owl 10 | /makefile-local 11 | 12 | # IDEs 13 | .vscode/ 14 | 15 | # Mac OS X 16 | .DS_Store 17 | /flamegraph.svg 18 | /perf.data 19 | /perf.data.old 20 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | language: rust 2 | script: 3 | - cargo build --verbose 4 | - cargo test --verbose 5 | - ##cargo bench --verbose -------------------------------------------------------------------------------- /benches/horned.rs: -------------------------------------------------------------------------------- 1 | use criterion::criterion_main; 2 | 3 | mod io; 4 | mod model; 5 | 6 | use crate::io::io; 7 | use crate::model::model; 8 | 9 | criterion_main!(model, io); 10 | -------------------------------------------------------------------------------- /benches/ont/o100.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/phillord/horned-owl/577e9c703d961ef70f0c007a0e62d2a1083b9d73/benches/ont/o100.xml -------------------------------------------------------------------------------- /contribute.md: -------------------------------------------------------------------------------- 1 | Contributions 2 | ============= 3 | 4 | Horned-OWL is open to contributions. 5 | 6 | 7 | Git Hooks 8 | --------- 9 | 10 | Horned-OWL uses https://pre-commit.com/ to manage pre-commit and pre-push hooks 11 | 12 | Simple installation is: 13 | 14 | ``` 15 | pip install pre-commit 16 | pre-commit install 17 | pre-commit install -t pre-push 18 | ``` 19 | 20 | Please see https://pre-commit.com for other options 21 | -------------------------------------------------------------------------------- /dev/untracked-files.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | set -eu 3 | 4 | files=$(git ls-files --other --directory --exclude-standard) 5 | if [ "$files" ]; then 6 | echo There are untracked files: $files 7 | exit 1 8 | fi 9 | -------------------------------------------------------------------------------- /doc/roadmap.org: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /horned-bin/tests/test_horned_materialize.rs: -------------------------------------------------------------------------------- 1 | use assert_cmd::prelude::*; // Add methods on commands 2 | use predicates::prelude::*; // Used for writing assertions 3 | use std::{path::Path, process::Command}; // Run programs 4 | 5 | #[test] 6 | fn integration_run() -> Result<(), Box> { 7 | let mut cmd = Command::cargo_bin("horned-materialize")?; 8 | 9 | cmd.assert().failure().stderr(predicate::str::contains( 10 | "The following required arguments were not provided", 11 | )); 12 | 13 | Ok(()) 14 | } 15 | 16 | // ignore by default because it is requires network access 17 | 18 | #[test] 19 | #[ignore] 20 | fn integration_ont_with_bfo() -> Result<(), Box> { 21 | let mut cmd = Command::cargo_bin("horned-materialize")?; 22 | 23 | let predicate_fn = predicate::path::exists(); 24 | assert!(!predicate_fn.eval(Path::new("../tmp/bfo.owl"))); 25 | 26 | cmd.arg("../tmp/ont-with-bfo.owl"); 27 | cmd.assert().success(); 28 | 29 | assert!(predicate_fn.eval(Path::new("../tmp/bfo.owl"))); 30 | 31 | Ok(()) 32 | } 33 | -------------------------------------------------------------------------------- /horned-bin/tests/test_horned_round.rs: -------------------------------------------------------------------------------- 1 | use assert_cmd::prelude::*; // Add methods on commands 2 | use std::process::Command; // Run programs 3 | 4 | #[test] 5 | fn integration_round_ontology_xml() -> Result<(), Box> { 6 | let mut cmd = Command::cargo_bin("horned-round")?; 7 | 8 | // and.owx is the output from bubo so will not be the 9 | // syntactically comparible 10 | cmd.arg("../src/ont/owl-xml/and.owx"); 11 | cmd.assert().success(); 12 | 13 | Ok(()) 14 | } 15 | 16 | #[test] 17 | fn integration_round_ontology_rdf() -> Result<(), Box> { 18 | let mut cmd = Command::cargo_bin("horned-round")?; 19 | // and.owx is the output from bubo so will not be the 20 | // syntactically comparible 21 | cmd.arg("../src/ont/owl-rdf/and.owl"); 22 | cmd.assert().success(); 23 | 24 | Ok(()) 25 | } 26 | -------------------------------------------------------------------------------- /horned-bin/tests/test_horned_validate.rs: -------------------------------------------------------------------------------- 1 | use assert_cmd::prelude::*; // Add methods on commands 2 | use std::process::Command; // Run programs 3 | 4 | #[test] 5 | fn integration_validate_ontology_rdf() -> Result<(), Box> { 6 | let mut cmd = Command::cargo_bin("horned-validate")?; 7 | 8 | cmd.arg("../src/ont/owl-rdf/and.owl"); 9 | cmd.assert().success(); 10 | 11 | Ok(()) 12 | } 13 | 14 | #[test] 15 | fn integration_validate_ontology_xml() -> Result<(), Box> { 16 | let mut cmd = Command::cargo_bin("horned-validate")?; 17 | 18 | cmd.arg("../src/ont/owl-xml/and.owx"); 19 | cmd.assert().success(); 20 | 21 | Ok(()) 22 | } 23 | -------------------------------------------------------------------------------- /profile/profile-go: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | perf record --call-graph dwarf,16384 -e cpu-clock -F 997 target/release/horned-parse ~/src/large/gene-ontology/go.owl 3 | 4 | PATH=$PATH:~/subversion-checkout/FlameGraph/ 5 | perf script | stackcollapse-perf.pl | stackcollapse-recursive.pl | c++filt | flamegraph.pl > flame.svg 6 | -------------------------------------------------------------------------------- /roadmap.md: -------------------------------------------------------------------------------- 1 | See bike path for an more environmentally friendly option 2 | -------------------------------------------------------------------------------- /src/curie.rs: -------------------------------------------------------------------------------- 1 | pub use curie::*; 2 | -------------------------------------------------------------------------------- /src/io/ofn/mod.rs: -------------------------------------------------------------------------------- 1 | //! [Functional-style](https://www.w3.org/TR/owl2-syntax/) 2 | //! syntax for OWL. 3 | pub mod reader; 4 | pub mod writer; 5 | -------------------------------------------------------------------------------- /src/io/owx/mod.rs: -------------------------------------------------------------------------------- 1 | //! [OWL/XML](https://www.w3.org/TR/2012/REC-owl2-xml-serialization-20121211/) 2 | //! syntax for OWL. 3 | pub mod reader; 4 | pub mod writer; 5 | -------------------------------------------------------------------------------- /src/io/rdf/mod.rs: -------------------------------------------------------------------------------- 1 | //! [RDF/XML](https://www.w3.org/TR/rdf-syntax-grammar/) syntax for OWL. 2 | pub mod closure_reader; 3 | pub mod reader; 4 | pub mod writer; 5 | -------------------------------------------------------------------------------- /src/ont/Makefile: -------------------------------------------------------------------------------- 1 | all: 2 | $(MAKE) -C bubo 3 | 4 | all-and-test: 5 | $(MAKE) -C bubo 6 | cargo test 7 | 8 | clean: 9 | $(MAKE) -C bubo clean 10 | 11 | force-clean: 12 | -rm owl-xml/*owx 13 | -rm owl-rdf/*owl 14 | -rm owl-ttl/*ttl 15 | -rm owl-functional/*ofn 16 | -------------------------------------------------------------------------------- /src/ont/README: -------------------------------------------------------------------------------- 1 | These are a series of test files in various OWL syntaxes. 2 | 3 | The files in all the owl-* directories are auto-generated from the 4 | bubo directory using the Tawny Bubo 5 | (https://github.com/phillord/tawny-bubo) with associated .clj files 6 | defining the ontology. 7 | 8 | To regenerate all files use "make" in either this directory or the 9 | bubo directory. 10 | 11 | Autogenerated files are added to the git repository for simplicity. 12 | 13 | File in "ambiguous" are also generated by Bubo but produce OWL which 14 | cannot be easily compared between XML and RDF because of ambiguity in 15 | the RDF parsing. 16 | 17 | There are a number of additional files in the directory `manual` which have been 18 | generated in other ways. Most of these are by hand, when a test needs 19 | to be broken or where the OWL API will not generate the file. 20 | 21 | Finally, `family` and `family-other` are generated by 22 | https://github.com/phillord/owl-primer. -------------------------------------------------------------------------------- /src/ont/bubo/ambiguous/annotation-with-anonymous.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | ;; There is no nice syntax for this in tawny. 4 | (add-axiom 5 | o 6 | (.getOWLAnnotationAssertionAxiom 7 | (owl-data-factory) 8 | (anonymous-individual) 9 | (owl-comment "fred") 10 | )) 11 | 12 | 13 | ;; 14 | ;; 15 | ;; 16 | ;; http://purl.obolibrary.org/obo/uberon.owl 17 | ;; 18 | ;; 19 | ;; 20 | ;; 21 | ;; 2 22 | ;; 23 | 24 | (save-all) 25 | -------------------------------------------------------------------------------- /src/ont/bubo/ambiguous/multi-same-individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defindividual p) 4 | (defindividual q) 5 | (defindividual r) 6 | 7 | (defindividual s :same [p q r]) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/ambiguous/nonround-test.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (save-all) 4 | -------------------------------------------------------------------------------- /src/ont/bubo/and-complex.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (declare-classes B C D) 4 | (defoproperty r) 5 | (defclass A :super 6 | (and 7 | (owl-some r B) 8 | (owl-only r C) 9 | D 10 | )) 11 | 12 | (save-all) 13 | -------------------------------------------------------------------------------- /src/ont/bubo/and.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (declare-classes B C D) 4 | (defclass A :super (and B C D)) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-domain.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty a) 4 | 5 | (add-axiom 6 | o 7 | (.getOWLAnnotationPropertyDomainAxiom 8 | (owl-data-factory) 9 | a (iri "http://www.example.com/d"))) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-on-complex-subclass.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | (defclass B 6 | :super (annotate (some r A) (comment "Annotation on subclass axiom"))) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-on-equivalent-classes.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | ;; This test is not designed to check handling of equivalent classes 4 | ;; per se, but the handling of axioms with an arbitrary number of 5 | ;; elements. These are handled differently in RDF and previously 6 | ;; annotations were not being rendered but just ignored. 7 | 8 | (declare-classes A B C) 9 | 10 | (defclass D :equivalent 11 | (annotate 12 | [A B C] 13 | (comment "This is an annotation on an axiom"))) 14 | 15 | (save-all) 16 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-on-subclass.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defclass B 5 | :super (annotate A (comment "Annotation on subclass axiom"))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-on-transitive.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty t 4 | :characteristic [(annotate :transitive (label "Annotation on transitive"))]) 5 | 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-property.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty a) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-range.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty a) 4 | 5 | (add-axiom 6 | o 7 | (.getOWLAnnotationPropertyRangeAxiom 8 | (owl-data-factory) 9 | a (iri "http://www.example.com/d"))) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-with-annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A 4 | :annotation 5 | (annotate 6 | (comment "Comment on Class") 7 | (comment "Comment on Comment"))) 8 | 9 | 10 | (save-all) 11 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation-with-non-builtin-annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty ann) 4 | 5 | (defclass A 6 | :annotation 7 | (annotate 8 | (comment "Comment on Class") 9 | (annotation ann "Comment on Comment"))) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty a) 4 | (defclass A 5 | :annotation (annotation a (literal "annotation"))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/annotation_assertion.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (add-axiom o 4 | (.getOWLAnnotationAssertionAxiom 5 | (owl-data-factory) 6 | (iri "http://www.example.com/i") 7 | (comment "non-anonymous individual"))) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/anon-subobjectproperty.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (defoproperty s) 6 | 7 | (add-subproperty o (inverse r) (inverse s)) 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/class-assertion.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | 4 | (defclass A) 5 | (defindividual I :type A) 6 | 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/class.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass C) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/class_with_two_annotations.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass C 4 | :annotation 5 | (owl-comment "Comment on Declaration" "en") 6 | (label "Label on C")) 7 | 8 | (save-all) 9 | ;;(save :owl) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/comment.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass A 4 | :comment "A comment") 5 | 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/complex-equivalent-classes.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (declare-classes B C D) 6 | 7 | (defclass A 8 | :equivalent 9 | (some r B C D)) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/data-exact-cardinality.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super 6 | (.getOWLDataExactCardinality 7 | (owl-data-factory) 8 | 1 9 | (#'tawny.owl/ensure-data-property d) 10 | (#'tawny.owl/ensure-data-range (iri "http://www.w3.org/2001/XMLSchema#integer")))) 11 | 12 | (save-all) 13 | -------------------------------------------------------------------------------- /src/ont/bubo/data-has-key.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | 5 | 6 | (defclass C 7 | :haskey dp) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/data-has-value.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super (has-value d "A Literal")) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/data-max-cardinality.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super 6 | (.getOWLDataMaxCardinality 7 | (owl-data-factory) 8 | 1 9 | (#'tawny.owl/ensure-data-property d) 10 | (#'tawny.owl/ensure-data-range (iri "http://www.w3.org/2001/XMLSchema#integer")))) 11 | 12 | (save-all) 13 | -------------------------------------------------------------------------------- /src/ont/bubo/data-min-cardinality.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super 6 | (.getOWLDataMinCardinality 7 | (owl-data-factory) 8 | 1 9 | (#'tawny.owl/ensure-data-property d) 10 | (#'tawny.owl/ensure-data-range (iri "http://www.w3.org/2001/XMLSchema#integer")))) 11 | 12 | (save-all) 13 | -------------------------------------------------------------------------------- /src/ont/bubo/data-only.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super (only d (iri "http://www.w3.org/2001/XMLSchema#integer"))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-assertion.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | 5 | (defindividual I 6 | :fact (fact dp "A literal")) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-disjoint.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | (defdproperty dp1 :disjoint dp) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-domain.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass C) 4 | (defdproperty dp 5 | :domain C) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-equivalent.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | (defdproperty dp1 :equivalent dp) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-functional.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp 4 | :characteristic :functional) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-range.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp 4 | :range (iri "http://www.w3.org/2001/XMLSchema#real")) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property-sub.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | (defdproperty dp1 :super dp) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/data-property.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty c) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/data-some.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super (some d (iri "http://www.w3.org/2001/XMLSchema#integer"))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/data-unqualified-exact.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty d) 4 | (defclass C 5 | :super (data-exactly 1 d)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype-alias.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype D 4 | :equivalent (iri "http://www.w3.org/2002/07/owl#real")) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype-complement.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype D 4 | :equivalent (data-not 5 | (iri "http://www.w3.org/2002/07/owl#rational"))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype-intersection.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype D 4 | :equivalent (data-and 5 | (iri "http://www.w3.org/2002/07/owl#rational") 6 | (iri "http://www.w3.org/2002/07/owl#real"))) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype-oneof.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype D 4 | :equivalent (data-oneof 10 20 30)) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype-union.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype D 4 | :equivalent (data-or 5 | (iri "http://www.w3.org/2002/07/owl#rational") 6 | (iri "http://www.w3.org/2002/07/owl#real"))) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/datatype.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdatatype C) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/declaration-with-annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (owl-class 4 | (annotate 5 | (iri-for-name o "C") 6 | (owl-comment "Comment on Declaration" "en"))) 7 | 8 | (save-all) 9 | ;;(save :owl) 10 | 11 | -------------------------------------------------------------------------------- /src/ont/bubo/declaration-with-two-annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (class 4 | (annotate 5 | (iri-for-name o "C") 6 | (label "Label on Declaration" "en") 7 | (comment "Comment on Declaration" "en"))) 8 | 9 | (save-all) 10 | ;;(save :owl) 11 | 12 | 13 | -------------------------------------------------------------------------------- /src/ont/bubo/different-individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defindividual I) 4 | (defindividual J :different I) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/disjoint-class.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (as-disjoint 4 | (defclass A) 5 | (defclass B)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/disjoint-object-properties.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defoproperty s :disjoint r) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/disjoint-union.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defclass A) 5 | (defclass B) 6 | (defclass C) 7 | 8 | (add-disjoint-union 9 | o A (cc/list B C)) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/equivalent-class.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (declare-classes B) 4 | (defclass A :equivalent B) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/equivalent-object-properties.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defoproperty s :equivalent r) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/equivalent_classes.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (declare-classes B C D) 4 | (defclass A :equivalent B C D) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/facet-restriction-complex.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defdproperty r) 4 | 5 | (defclass C 6 | :super 7 | (owl-some r (min-max 10 20))) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/facet-restriction.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defdproperty r) 4 | 5 | (defclass C 6 | :super 7 | (owl-some r (> 10))) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/gci_and_other_class_relations.clj: -------------------------------------------------------------------------------- 1 | ;; https://github.com/phillord/horned-owl/issues/43 2 | 3 | 4 | (clojure.core/load-file "ontology.clj") 5 | 6 | 7 | (defclass mononucleate) 8 | (defclass nucleus) 9 | 10 | (defoproperty bearer_of) 11 | (defoproperty has_part) 12 | 13 | ;; This is the original bug report 14 | (gci 15 | (owl-some bearer_of mononucleate) 16 | (owl-some has_part nucleus)) 17 | 18 | 19 | ;; These two should have an equivalent problem 20 | (add-equivalent 21 | o 22 | (owl-some bearer_of mononucleate) 23 | (owl-some has_part nucleus)) 24 | 25 | (add-disjoint 26 | o 27 | (owl-some bearer_of mononucleate) 28 | (owl-some has_part nucleus)) 29 | 30 | (save-all) 31 | -------------------------------------------------------------------------------- /src/ont/bubo/happy_person.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (owl-import "http://homepages.cs.ncl.ac.uk/phillip.lord/scratch/family-other.owl#") 4 | 5 | (defoproperty hasChild 6 | :characteristic :asymmetric) 7 | 8 | (defclass HappyPerson) 9 | (refine HappyPerson 10 | :equivalent (and (only hasChild HappyPerson) 11 | (some hasChild HappyPerson))) 12 | 13 | 14 | (save-all) 15 | -------------------------------------------------------------------------------- /src/ont/bubo/import.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (cc/load-file "other.clj") 4 | (owl-import other/other) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/intersection.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | 6 | (defclass X) 7 | (refine X 8 | :equivalent 9 | (and 10 | (some r X) 11 | (only r X))) 12 | 13 | (save-all) 14 | -------------------------------------------------------------------------------- /src/ont/bubo/inverse-properties.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defoproperty s :inverse r) 5 | 6 | (save-all) 7 | 8 | -------------------------------------------------------------------------------- /src/ont/bubo/inverse-transitive.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (add-axiom 5 | o (.getOWLTransitiveObjectPropertyAxiom (owl-data-factory) (inverse r))) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/label.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A :label "Some Label") 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/literal-escaped.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | (defclass C 3 | :comment "A --> B" 4 | ) 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/multi-different-individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defindividual I) 4 | (defindividual J) 5 | (defindividual K :different I J) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/multi-has-key.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defoproperty s) 5 | (defdproperty A) 6 | 7 | 8 | (defclass C 9 | :haskey r s) 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/multiple-ontology-annotation.clj: -------------------------------------------------------------------------------- 1 | (defontology o 2 | :iri "http://www.example.com/iri" 3 | :viri "http://www.example.com/viri" 4 | :comment "A comment" 5 | :annotation 6 | (annotation (iri "http://purl.org/dc/terms/created") "2021-12-09") 7 | (annotation (iri "http://purl.org/dc/terms/description") "Description annotation") 8 | :noname true) 9 | 10 | (cc/load-file "save.clj") 11 | 12 | (save-all) 13 | -------------------------------------------------------------------------------- /src/ont/bubo/named-individual.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defindividual C) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/negative-data-property-assertion.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defdproperty dp) 4 | 5 | (defindividual I 6 | :fact (not dp (literal "A literal"))) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/negative-object-property-assertion.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defindividual J) 5 | (defindividual I :fact (fact-not r J)) 6 | 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/not.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defclass A) 5 | (defclass B :super (not A)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/o10.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (cc/doseq [n (cc/range 1 11)] 4 | (owl-class (cc/str "n" n))) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/object-exact-cardinality.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass D) 5 | (defclass C :super (exactly 1 r D)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/object-has-key.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | 5 | 6 | (defclass C 7 | :haskey r) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/object-has-self.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty op) 4 | 5 | (defclass C 6 | :super (has-self op)) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/object-has-value.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty op) 5 | (defindividual I) 6 | (defclass C 7 | :subclass (has-value op I)) 8 | 9 | 10 | 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/object-max-cardinality.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass D) 5 | (defclass C :super (at-most 1 r D)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/object-min-cardinality.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass D) 5 | (defclass C :super (at-least 1 r D)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/object-one-of.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty o) 4 | (defindividual I) 5 | (defindividual J) 6 | 7 | (defclass C 8 | :super (oneof I J)) 9 | 10 | (save-all) 11 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-assertion.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defindividual J) 5 | (defindividual I :fact (fact r J)) 6 | 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-asymmetric.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :asymmetric) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-domain.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass C) 4 | (defoproperty r :domain C) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-functional.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :functional) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-inverse-functional.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :inversefunctional) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-irreflexive.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :irreflexive) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-range.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass C) 4 | (defoproperty r :range C) 5 | 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-reflexive.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :reflexive) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-property-symmetric.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :symmetric) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/object-unqualified-exact.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass C :subclass (exactly 1 r)) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/object-unqualified-max-cardinality.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass C :subclass (at-most 1 r)) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/only.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | (defclass B :super (only r A)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/ont-with-bfo.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (owl-import "http://purl.obolibrary.org/obo/bfo.owl") 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/ont.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (save-all) 4 | -------------------------------------------------------------------------------- /src/ont/bubo/ontology-annotation.clj: -------------------------------------------------------------------------------- 1 | (defontology o 2 | :iri "http://www.example.com/iri" 3 | :viri "http://www.example.com/viri" 4 | :annotation 5 | (annotation (iri "http://www.example.com/iri/propformat-version") "1.2") 6 | :noname true) 7 | 8 | (cc/load-file "save.clj") 9 | 10 | (save-all) 11 | -------------------------------------------------------------------------------- /src/ont/bubo/ontology.clj: -------------------------------------------------------------------------------- 1 | (defontology o 2 | :iri "http://www.example.com/iri" 3 | :viri "http://www.example.com/viri" 4 | :noname true) 5 | 6 | (cc/load-file "save.clj") 7 | -------------------------------------------------------------------------------- /src/ont/bubo/oproperty.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty z) 4 | 5 | (save-all) 6 | -------------------------------------------------------------------------------- /src/ont/bubo/or.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (declare-classes B C D) 4 | (defclass A :super (or B C D)) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/other-iri.clj: -------------------------------------------------------------------------------- 1 | (ns other 2 | (:use [tawny.owl])) 3 | 4 | (defontology other 5 | :iri "http://www.example.com/other-iri" 6 | :viri "http://www.example.com/other-iri-viri" 7 | :noname true) 8 | 9 | (defclass C) 10 | 11 | 12 | (alias 'cc 'clojure.core) 13 | (load-file "save.clj") 14 | (save-all) 15 | -------------------------------------------------------------------------------- /src/ont/bubo/other.clj: -------------------------------------------------------------------------------- 1 | (ns other 2 | (:use [tawny.owl])) 3 | 4 | (defontology other 5 | :iri "http://www.example.com/other-iri" 6 | :viri "http://www.example.com/other-viri" 7 | :noname true) 8 | 9 | (alias 'cc 'clojure.core) 10 | (load-file "save.clj") 11 | (save-all) 12 | -------------------------------------------------------------------------------- /src/ont/bubo/recursing_class.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r) 4 | (defclass X) 5 | (refine X 6 | :equivalent 7 | (some r X)) 8 | 9 | (save-all) 10 | 11 | -------------------------------------------------------------------------------- /src/ont/bubo/same-individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defindividual r) 4 | (defindividual s :same r) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/save.clj: -------------------------------------------------------------------------------- 1 | (cc/defn save-one [dir ext format] 2 | (cc/let 3 | [file 4 | (cc/str 5 | "../" dir "/" 6 | (cc/first 7 | (clojure.string/split 8 | (cc/first tawny.bubo.cli/cmd-args) 9 | #"[.]")) 10 | ext)] 11 | (cc/println "\tSaving:" file) 12 | (save-ontology file format))) 13 | 14 | (cc/import org.semanticweb.owlapi.formats.FunctionalSyntaxDocumentFormat) 15 | 16 | (cc/defn save-all [] 17 | (save-one "owl-rdf" ".owl" :rdf) 18 | (save-one "owl-xml" ".owx" :owl) 19 | (save-one "owl-ttl" ".ttl" :ttl) 20 | (save-one "owl-functional" ".ofn" (FunctionalSyntaxDocumentFormat.))) 21 | -------------------------------------------------------------------------------- /src/ont/bubo/some-inverse.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | 6 | (defclass B 7 | :super (some (inverse r) A)) 8 | 9 | (save-all) 10 | 11 | -------------------------------------------------------------------------------- /src/ont/bubo/some-not.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | 6 | (defclass B :super (some r (not A))) 7 | 8 | (save-all) 9 | (save :omn) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/some-not.omn: -------------------------------------------------------------------------------- 1 | ## This file was created by Tawny-OWL 2 | ## It should not be edited by hand 3 | Prefix: o: 4 | Prefix: owl: 5 | Prefix: rdf: 6 | Prefix: rdfs: 7 | Prefix: xml: 8 | Prefix: xsd: 9 | Prefix: : 10 | 11 | 12 | 13 | Ontology: 14 | 15 | 16 | ObjectProperty: o:r 17 | 18 | 19 | Class: o:A 20 | 21 | 22 | Class: o:B 23 | 24 | SubClassOf: 25 | o:r some (not (o:A)) 26 | 27 | 28 | -------------------------------------------------------------------------------- /src/ont/bubo/some.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defoproperty r) 5 | 6 | (defclass B :super (some r A)) 7 | 8 | (save-all) 9 | 10 | -------------------------------------------------------------------------------- /src/ont/bubo/some.omn: -------------------------------------------------------------------------------- 1 | ## This file was created by Tawny-OWL 2 | ## It should not be edited by hand 3 | Prefix: o: 4 | Prefix: owl: 5 | Prefix: rdf: 6 | Prefix: rdfs: 7 | Prefix: xml: 8 | Prefix: xsd: 9 | Prefix: : 10 | 11 | 12 | 13 | Ontology: 14 | 15 | 16 | ObjectProperty: o:r 17 | 18 | 19 | Class: o:A 20 | 21 | 22 | Class: o:B 23 | 24 | SubClassOf: 25 | o:r some o:A 26 | 27 | 28 | -------------------------------------------------------------------------------- /src/ont/bubo/sub-annotation.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defaproperty b) 4 | (defaproperty a :super b) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/subclass.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defclass A) 4 | (defclass B :super A) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/suboproperty-inverse.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (defoproperty s :super (inverse r)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/suboproperty-top.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty s :super (iri "http://www.w3.org/2002/07/owl#topObjectProperty")) 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/suboproperty.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (defoproperty s :super r) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/subproperty-chain-with-inverse.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (defoproperty s) 6 | (defoproperty t :subchain [r (inverse s)]) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/subproperty-chain.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | 4 | (defoproperty r) 5 | (defoproperty s) 6 | (defoproperty t :subchain r s) 7 | 8 | (save-all) 9 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_basic.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defclass B) 6 | 7 | (with-df 8 | #(clojure.core/let [ 9 | var (.getSWRLVariable 10 | % 11 | (iri-for-name o "x")) 12 | ] 13 | (swrl-rule 14 | (.getSWRLClassAtom % A var) 15 | (.getSWRLClassAtom % B var)))) 16 | 17 | (save-all) 18 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_built_in.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defclass B) 6 | 7 | (with-df 8 | #(clojure.core/let [ 9 | var (.getSWRLVariable 10 | % 11 | (iri-for-name o "x")) 12 | ] 13 | (swrl-rule 14 | (.getSWRLBuiltInAtom % 15 | (iri-for-name o "y") 16 | (clojure.core/list 17 | (.getSWRLLiteralArgument % (literal "literal1")) 18 | (.getSWRLLiteralArgument % (literal "literal2")))) 19 | (.getSWRLClassAtom % B var)))) 20 | 21 | (save-all) 22 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_class_expression.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defclass B) 6 | 7 | (with-df 8 | #(clojure.core/let [ 9 | var (.getSWRLVariable 10 | % 11 | (iri-for-name o "x")) 12 | ] 13 | (swrl-rule 14 | (.getSWRLClassAtom % A var) 15 | (.getSWRLClassAtom % (and A B) var)))) 16 | 17 | (save-all) 18 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_data_range.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | 5 | (with-df 6 | #(clojure.core/let [ 7 | var (.getSWRLVariable 8 | % 9 | (iri-for-name o "x")) 10 | ] 11 | (swrl-rule 12 | (.getSWRLDataRangeAtom % 13 | (#'tawny.owl/ensure-data-range (iri "http://www.w3.org/2001/XMLSchema#integer")) 14 | (.getSWRLLiteralArgument % (literal "literal1"))) 15 | (.getSWRLDataRangeAtom % 16 | (#'tawny.owl/ensure-data-range (iri "http://www.w3.org/2001/XMLSchema#real")) 17 | (.getSWRLLiteralArgument % (literal "literal2")))))) 18 | 19 | 20 | (save-all) 21 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_different_individuals.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defindividual I) 5 | (defindividual J) 6 | 7 | (with-df 8 | #(clojure.core/let [Iarg (.getSWRLIndividualArgument % I) 9 | Jarg (.getSWRLIndividualArgument % J)] 10 | (swrl-rule 11 | (.getSWRLDifferentIndividualsAtom % Iarg Jarg) 12 | (.getSWRLDifferentIndividualsAtom % Jarg Iarg)))) 13 | 14 | (save-all) 15 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defclass B) 6 | (defindividual I) 7 | 8 | (with-df 9 | #(clojure.core/let [ 10 | var (.getSWRLVariable 11 | % 12 | (iri-for-name o "x")) 13 | ] 14 | (swrl-rule 15 | (.getSWRLClassAtom % A 16 | (.getSWRLIndividualArgument % (anonymous-individual))) 17 | (.getSWRLClassAtom % B 18 | (.getSWRLIndividualArgument % I))))) 19 | 20 | (save-all) 21 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_literal.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defdproperty d) 6 | 7 | (with-df 8 | #(clojure.core/let [ 9 | var (.getSWRLVariable 10 | % 11 | (iri-for-name o "x")) 12 | ] 13 | (swrl-rule 14 | (.getSWRLClassAtom % A var) 15 | (.getSWRLDataPropertyAtom % d 16 | var 17 | (.getSWRLLiteralArgument % (literal "Literal String")))))) 18 | 19 | (save-all) 20 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_object_property_atom.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defoproperty r) 5 | (defoproperty s) 6 | 7 | (with-df 8 | #(clojure.core/let [ 9 | x (.getSWRLVariable 10 | % 11 | (iri-for-name o "x")) 12 | y (.getSWRLVariable 13 | % 14 | (iri-for-name o "y"))] 15 | (swrl-rule 16 | (.getSWRLObjectPropertyAtom % r x y) 17 | (.getSWRLObjectPropertyAtom % s x y)))) 18 | 19 | (save-all) 20 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_same_individual.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defindividual I) 5 | (defindividual J) 6 | 7 | (with-df 8 | #(clojure.core/let [Iarg (.getSWRLIndividualArgument % I) 9 | Jarg (.getSWRLIndividualArgument % J)] 10 | (swrl-rule 11 | (.getSWRLSameIndividualAtom % Iarg Jarg) 12 | (.getSWRLSameIndividualAtom % Jarg Iarg)))) 13 | 14 | (save-all) 15 | -------------------------------------------------------------------------------- /src/ont/bubo/swrl_two_variables.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | (clojure.core/load-file "swrl_rule_support.clj") 3 | 4 | (defclass A) 5 | (defclass A1) 6 | (defclass B) 7 | (defclass B1) 8 | 9 | (with-df 10 | #(clojure.core/let [ 11 | var (.getSWRLVariable 12 | % 13 | (iri-for-name o "x"))] 14 | (swrl-rule-set 15 | #{(.getSWRLClassAtom % A var)(.getSWRLClassAtom % A1 var)} 16 | #{(.getSWRLClassAtom % B var)(.getSWRLClassAtom % B1 var)}))) 17 | 18 | (save-all) 19 | -------------------------------------------------------------------------------- /src/ont/bubo/transitive-properties.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defoproperty r :characteristic :transitive) 4 | 5 | 6 | (save-all) 7 | -------------------------------------------------------------------------------- /src/ont/bubo/two-annotation-on-transitive.clj: -------------------------------------------------------------------------------- 1 | (cc/load-file "ontology.clj") 2 | 3 | (defoproperty t 4 | :characteristic [(annotate :transitive 5 | (label "Annotation on transitive") 6 | (label "Second Annotation") 7 | )]) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/type-complex.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass P) 4 | (defindividual J 5 | :type (not P)) 6 | 7 | (save-all) 8 | -------------------------------------------------------------------------------- /src/ont/bubo/type-individual-datatype-unqualified.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass P) 4 | (defoproperty r) 5 | (defindividual J 6 | :type 7 | (exactly 2 r)) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/type-individual-datatype.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass P) 4 | (defoproperty r) 5 | (defindividual J 6 | :type 7 | (at-least 2 r P)) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/typed-individual-datatype-unqualified.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (defclass P) 4 | (defoproperty r) 5 | (defindividual J 6 | :type 7 | (exactly 2 r)) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/withimport/import-property.clj: -------------------------------------------------------------------------------- 1 | (clojure.core/load-file "ontology.clj") 2 | 3 | (cc/load-file "withimport/other-property.clj") 4 | (owl-import other/other) 5 | 6 | (defclass A) 7 | (defclass B :super (some other/other-o A)) 8 | 9 | (save-all) 10 | -------------------------------------------------------------------------------- /src/ont/bubo/withimport/other-property.clj: -------------------------------------------------------------------------------- 1 | (ns other 2 | (:use [tawny.owl])) 3 | 4 | (defontology other 5 | :iri "http://www.example.com/other-property" 6 | :viri "http://www.example.com/other-property-viri" 7 | :noname true) 8 | 9 | (defoproperty other-o) 10 | 11 | 12 | (alias 'cc 'clojure.core) 13 | (load-file "save.clj") 14 | (save-all) 15 | -------------------------------------------------------------------------------- /src/ont/owl-functional/ambiguous/annotation-with-anonymous.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | 14 | 15 | AnnotationAssertion(rdfs:comment _:genid2147483648 "fred"@en) 16 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/ambiguous/multi-same-individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:p)) 14 | Declaration(NamedIndividual(o:q)) 15 | Declaration(NamedIndividual(o:r)) 16 | Declaration(NamedIndividual(o:s)) 17 | ############################ 18 | # Named Individuals 19 | ############################ 20 | 21 | # Individual: o:p (o:p) 22 | 23 | SameIndividual(o:p o:q o:r o:s) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/ambiguous/nonround-test.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/and-complex.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | Declaration(Class(o:D)) 17 | Declaration(ObjectProperty(o:r)) 18 | 19 | ############################ 20 | # Classes 21 | ############################ 22 | 23 | # Class: o:A (o:A) 24 | 25 | SubClassOf(o:A ObjectIntersectionOf(o:D ObjectSomeValuesFrom(o:r o:B) ObjectAllValuesFrom(o:r o:C))) 26 | 27 | 28 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/and.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | Declaration(Class(o:D)) 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:A (o:A) 22 | 23 | SubClassOf(o:A ObjectIntersectionOf(o:B o:C o:D)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-domain.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(AnnotationProperty(o:a)) 14 | ############################ 15 | # Annotation Properties 16 | ############################ 17 | 18 | # Annotation Property: o:a (o:a) 19 | 20 | AnnotationPropertyDomain(o:a ) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-on-complex-subclass.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | 18 | 19 | ############################ 20 | # Classes 21 | ############################ 22 | 23 | # Class: o:B (o:B) 24 | 25 | SubClassOf(Annotation(rdfs:comment "Annotation on subclass axiom"@en) o:B ObjectSomeValuesFrom(o:r o:A)) 26 | 27 | 28 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-on-subclass.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:B (o:B) 22 | 23 | SubClassOf(Annotation(rdfs:comment "Annotation on subclass axiom"@en) o:B o:A) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-on-transitive.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:t)) 14 | 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:t (o:t) 20 | 21 | TransitiveObjectProperty(Annotation(rdfs:label "Annotation on transitive"@en) o:t) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-property.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(AnnotationProperty(o:a)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-range.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(AnnotationProperty(o:a)) 14 | ############################ 15 | # Annotation Properties 16 | ############################ 17 | 18 | # Annotation Property: o:a (o:a) 19 | 20 | AnnotationPropertyRange(o:a ) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-with-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:A (o:A) 21 | 22 | AnnotationAssertion(Annotation(rdfs:comment "Comment on Comment"@en) rdfs:comment o:A "Comment on Class"@en) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation-with-non-builtin-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(AnnotationProperty(o:ann)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:A (o:A) 22 | 23 | AnnotationAssertion(Annotation(o:ann "Comment on Comment"@en) rdfs:comment o:A "Comment on Class"@en) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(AnnotationProperty(o:a)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:A (o:A) 22 | 23 | AnnotationAssertion(o:a o:A "annotation") 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/annotation_assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | 14 | 15 | AnnotationAssertion(rdfs:comment "non-anonymous individual"@en) 16 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/anon-subobjectproperty.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | 16 | SubObjectPropertyOf(ObjectInverseOf(o:s) ObjectInverseOf(o:r)) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/class-assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(NamedIndividual(o:I)) 15 | 16 | ############################ 17 | # Named Individuals 18 | ############################ 19 | 20 | # Individual: o:I (o:I) 21 | 22 | ClassAssertion(o:A o:I) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/class.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/class_with_two_annotations.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:C (Label on C) 21 | 22 | AnnotationAssertion(rdfs:comment o:C "Comment on Declaration"@en) 23 | AnnotationAssertion(rdfs:label o:C "Label on C"@en) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/comment.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:A (o:A) 21 | 22 | AnnotationAssertion(rdfs:comment o:A "A comment"@en) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/complex-equivalent-classes.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | Declaration(Class(o:D)) 17 | Declaration(ObjectProperty(o:r)) 18 | 19 | ############################ 20 | # Classes 21 | ############################ 22 | 23 | # Class: o:A (o:A) 24 | 25 | EquivalentClasses(o:A ObjectSomeValuesFrom(o:r o:B)) 26 | EquivalentClasses(o:A ObjectSomeValuesFrom(o:r o:C)) 27 | EquivalentClasses(o:A ObjectSomeValuesFrom(o:r o:D)) 28 | 29 | 30 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-exact-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataExactCardinality(1 o:d xsd:integer)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-has-key.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:dp)) 15 | 16 | 17 | HasKey(o:C () (o:dp)) 18 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-has-value.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataHasValue(o:d "A Literal")) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-max-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataMaxCardinality(1 o:d xsd:integer)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-min-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataMinCardinality(1 o:d xsd:integer)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-only.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataAllValuesFrom(o:d xsd:integer)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(NamedIndividual(o:I)) 15 | 16 | 17 | ############################ 18 | # Named Individuals 19 | ############################ 20 | 21 | # Individual: o:I (o:I) 22 | 23 | DataPropertyAssertion(o:dp o:I "A literal") 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-disjoint.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(DataProperty(o:dp1)) 15 | ############################ 16 | # Data Properties 17 | ############################ 18 | 19 | # Data Property: o:dp (o:dp) 20 | 21 | DisjointDataProperties(o:dp o:dp1) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-domain.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:dp)) 15 | ############################ 16 | # Data Properties 17 | ############################ 18 | 19 | # Data Property: o:dp (o:dp) 20 | 21 | DataPropertyDomain(o:dp o:C) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-equivalent.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(DataProperty(o:dp1)) 15 | ############################ 16 | # Data Properties 17 | ############################ 18 | 19 | # Data Property: o:dp (o:dp) 20 | 21 | EquivalentDataProperties(o:dp o:dp1) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-functional.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | ############################ 15 | # Data Properties 16 | ############################ 17 | 18 | # Data Property: o:dp (o:dp) 19 | 20 | FunctionalDataProperty(o:dp) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-range.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(Datatype(xsd:real)) 15 | ############################ 16 | # Data Properties 17 | ############################ 18 | 19 | # Data Property: o:dp (o:dp) 20 | 21 | DataPropertyRange(o:dp xsd:real) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property-sub.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(DataProperty(o:dp1)) 15 | ############################ 16 | # Data Properties 17 | ############################ 18 | 19 | # Data Property: o:dp1 (o:dp1) 20 | 21 | SubDataPropertyOf(o:dp1 o:dp) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-property.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:c)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-some.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataSomeValuesFrom(o:d xsd:integer)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/data-unqualified-exact.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataExactCardinality(1 o:d)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype-alias.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:D)) 14 | ############################ 15 | # Datatypes 16 | ############################ 17 | 18 | # Datatype: o:D (o:D) 19 | 20 | DatatypeDefinition(o:D owl:real) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype-complement.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:D)) 14 | ############################ 15 | # Datatypes 16 | ############################ 17 | 18 | # Datatype: o:D (o:D) 19 | 20 | DatatypeDefinition(o:D DataComplementOf(owl:rational)) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype-intersection.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:D)) 14 | ############################ 15 | # Datatypes 16 | ############################ 17 | 18 | # Datatype: o:D (o:D) 19 | 20 | DatatypeDefinition(o:D DataIntersectionOf(owl:rational owl:real)) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype-oneof.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:D)) 14 | ############################ 15 | # Datatypes 16 | ############################ 17 | 18 | # Datatype: o:D (o:D) 19 | 20 | DatatypeDefinition(o:D DataOneOf("10"^^xsd:integer "20"^^xsd:integer "30"^^xsd:integer)) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype-union.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:D)) 14 | ############################ 15 | # Datatypes 16 | ############################ 17 | 18 | # Datatype: o:D (o:D) 19 | 20 | DatatypeDefinition(o:D DataUnionOf(owl:rational owl:real)) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/datatype.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(o:C)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/declaration-with-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Annotation(rdfs:comment "Comment on Declaration"@en) Class(o:C)) 14 | 15 | 16 | 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/declaration-with-two-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Annotation(rdfs:comment "Comment on Declaration"@en) Annotation(rdfs:label "Label on Declaration"@en) Class(o:C)) 14 | 15 | 16 | 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/different-individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:I)) 14 | Declaration(NamedIndividual(o:J)) 15 | ############################ 16 | # Named Individuals 17 | ############################ 18 | 19 | # Individual: o:I (o:I) 20 | 21 | 22 | # Individual: o:J (o:J) 23 | 24 | 25 | 26 | DifferentIndividuals(o:I o:J) 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/disjoint-class.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | ############################ 16 | # Classes 17 | ############################ 18 | 19 | # Class: o:A (o:A) 20 | 21 | DisjointClasses(o:A o:B) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/disjoint-object-properties.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:r (o:r) 20 | 21 | DisjointObjectProperties(o:r o:s) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/disjoint-union.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:A (o:A) 21 | 22 | DisjointUnion(o:A o:B o:C) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/equivalent-class.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | ############################ 16 | # Classes 17 | ############################ 18 | 19 | # Class: o:A (o:A) 20 | 21 | EquivalentClasses(o:A o:B) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/equivalent-object-properties.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:r (o:r) 20 | 21 | EquivalentObjectProperties(o:r o:s) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/equivalent_classes.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | Declaration(Class(o:D)) 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:A (o:A) 22 | 23 | EquivalentClasses(o:A o:B) 24 | EquivalentClasses(o:A o:C) 25 | EquivalentClasses(o:A o:D) 26 | 27 | 28 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/facet-restriction-complex.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:r)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataSomeValuesFrom(o:r DatatypeRestriction(xsd:integer xsd:minExclusive "10"^^xsd:integer xsd:maxExclusive "20"^^xsd:integer))) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/facet-restriction.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(DataProperty(o:r)) 15 | 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C DataSomeValuesFrom(o:r DatatypeRestriction(xsd:integer xsd:minExclusive "10"^^xsd:integer))) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/gci_and_other_class_relations.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:mononucleate)) 14 | Declaration(Class(o:nucleus)) 15 | Declaration(ObjectProperty(o:bearer_of)) 16 | Declaration(ObjectProperty(o:has_part)) 17 | 18 | 19 | EquivalentClasses(ObjectSomeValuesFrom(o:bearer_of o:mononucleate) ObjectSomeValuesFrom(o:has_part o:nucleus)) 20 | SubClassOf(ObjectSomeValuesFrom(o:has_part o:nucleus) ObjectSomeValuesFrom(o:bearer_of o:mononucleate)) 21 | DisjointClasses(ObjectSomeValuesFrom(o:bearer_of o:mononucleate) ObjectSomeValuesFrom(o:has_part o:nucleus)) 22 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/import.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | Prefix(other:=) 9 | 10 | 11 | Ontology( 12 | 13 | Import() 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/intersection.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:X)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:X (o:X) 22 | 23 | EquivalentClasses(o:X ObjectIntersectionOf(ObjectSomeValuesFrom(o:r o:X) ObjectAllValuesFrom(o:r o:X))) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/inverse-properties.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:r (o:r) 20 | 21 | InverseObjectProperties(o:r o:s) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/inverse-transitive.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | 15 | TransitiveObjectProperty(ObjectInverseOf(o:r)) 16 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/label.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:A (Some Label) 21 | 22 | AnnotationAssertion(rdfs:label o:A "Some Label"@en) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/literal-escaped.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:C (o:C) 21 | 22 | AnnotationAssertion(rdfs:comment o:C "A --> B"@en) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/manual/family-other.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(owl:=) 3 | Prefix(rdf:=) 4 | Prefix(xml:=) 5 | Prefix(xsd:=) 6 | Prefix(rdfs:=) 7 | 8 | 9 | Ontology( 10 | 11 | Declaration(Class()) 12 | Declaration(ObjectProperty()) 13 | Declaration(DataProperty()) 14 | Declaration(NamedIndividual()) 15 | Declaration(NamedIndividual()) 16 | 17 | 18 | 19 | 20 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/manual/one-class-fully-qualified.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class()) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/multi-different-individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:I)) 14 | Declaration(NamedIndividual(o:J)) 15 | Declaration(NamedIndividual(o:K)) 16 | ############################ 17 | # Named Individuals 18 | ############################ 19 | 20 | # Individual: o:I (o:I) 21 | 22 | 23 | # Individual: o:J (o:J) 24 | 25 | 26 | # Individual: o:K (o:K) 27 | 28 | 29 | 30 | DifferentIndividuals(o:I o:J o:K) 31 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/multi-has-key.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | Declaration(ObjectProperty(o:s)) 16 | Declaration(DataProperty(o:A)) 17 | 18 | 19 | 20 | HasKey(o:C (o:r o:s) ()) 21 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/multiple-ontology-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | Annotation( "2021-12-09"@en) 13 | Annotation( "Description annotation"@en) 14 | Annotation(rdfs:comment "A comment"@en) 15 | 16 | Declaration(AnnotationProperty()) 17 | Declaration(AnnotationProperty()) 18 | 19 | 20 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/named-individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:C)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/negative-data-property-assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(DataProperty(o:dp)) 14 | Declaration(NamedIndividual(o:I)) 15 | 16 | 17 | ############################ 18 | # Named Individuals 19 | ############################ 20 | 21 | # Individual: o:I (o:I) 22 | 23 | NegativeDataPropertyAssertion(o:dp o:I "A literal") 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/negative-object-property-assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(NamedIndividual(o:I)) 15 | Declaration(NamedIndividual(o:J)) 16 | 17 | ############################ 18 | # Named Individuals 19 | ############################ 20 | 21 | # Individual: o:I (o:I) 22 | 23 | NegativeObjectPropertyAssertion(o:r o:I o:J) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/not.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | ############################ 16 | # Classes 17 | ############################ 18 | 19 | # Class: o:B (o:B) 20 | 21 | SubClassOf(o:B ObjectComplementOf(o:A)) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/o10.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:n1)) 14 | Declaration(Class(o:n10)) 15 | Declaration(Class(o:n2)) 16 | Declaration(Class(o:n3)) 17 | Declaration(Class(o:n4)) 18 | Declaration(Class(o:n5)) 19 | Declaration(Class(o:n6)) 20 | Declaration(Class(o:n7)) 21 | Declaration(Class(o:n8)) 22 | Declaration(Class(o:n9)) 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-exact-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(Class(o:D)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C ObjectExactCardinality(1 o:r o:D)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-has-key.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | 16 | 17 | HasKey(o:C (o:r) ()) 18 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-has-self.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:op)) 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:C (o:C) 21 | 22 | SubClassOf(o:C ObjectHasSelf(o:op)) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-has-value.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:op)) 15 | Declaration(NamedIndividual(o:I)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C ObjectHasValue(o:op o:I)) 24 | 25 | 26 | 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-max-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(Class(o:D)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C ObjectMaxCardinality(1 o:r o:D)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-min-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(Class(o:D)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:C (o:C) 22 | 23 | SubClassOf(o:C ObjectMinCardinality(1 o:r o:D)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-one-of.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:o)) 15 | Declaration(NamedIndividual(o:I)) 16 | Declaration(NamedIndividual(o:J)) 17 | 18 | ############################ 19 | # Classes 20 | ############################ 21 | 22 | # Class: o:C (o:C) 23 | 24 | SubClassOf(o:C ObjectOneOf(o:I o:J)) 25 | 26 | 27 | 28 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-assertion.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(NamedIndividual(o:I)) 15 | Declaration(NamedIndividual(o:J)) 16 | 17 | ############################ 18 | # Named Individuals 19 | ############################ 20 | 21 | # Individual: o:I (o:I) 22 | 23 | ObjectPropertyAssertion(o:r o:I o:J) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-asymmetric.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | AsymmetricObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-domain.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:r (o:r) 20 | 21 | ObjectPropertyDomain(o:r o:C) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-functional.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | FunctionalObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-inverse-functional.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | InverseFunctionalObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-irreflexive.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | IrreflexiveObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-range.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:r (o:r) 20 | 21 | ObjectPropertyRange(o:r o:C) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-reflexive.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | ReflexiveObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-property-symmetric.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | SymmetricObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-unqualified-exact.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:C (o:C) 21 | 22 | SubClassOf(o:C ObjectExactCardinality(1 o:r)) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/object-unqualified-max-cardinality.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:C)) 14 | Declaration(ObjectProperty(o:r)) 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:C (o:C) 21 | 22 | SubClassOf(o:C ObjectMaxCardinality(1 o:r)) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/only.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:B (o:B) 22 | 23 | SubClassOf(o:B ObjectAllValuesFrom(o:r o:A)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/ont-with-bfo.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | Import() 13 | 14 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/ont.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/ontology-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | Annotation( "1.2"@en) 13 | 14 | Declaration(AnnotationProperty()) 15 | 16 | 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/oproperty.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:z)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/or.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(Class(o:C)) 16 | Declaration(Class(o:D)) 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:A (o:A) 22 | 23 | SubClassOf(o:A ObjectUnionOf(o:B o:C o:D)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/other-iri.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(owl:=) 3 | Prefix(rdf:=) 4 | Prefix(xml:=) 5 | Prefix(xsd:=) 6 | Prefix(rdfs:=) 7 | Prefix(other:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(other:C)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/recursing_class.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:X)) 14 | Declaration(ObjectProperty(o:r)) 15 | 16 | ############################ 17 | # Classes 18 | ############################ 19 | 20 | # Class: o:X (o:X) 21 | 22 | EquivalentClasses(o:X ObjectSomeValuesFrom(o:r o:X)) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/same-individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:r)) 14 | Declaration(NamedIndividual(o:s)) 15 | ############################ 16 | # Named Individuals 17 | ############################ 18 | 19 | # Individual: o:r (o:r) 20 | 21 | SameIndividual(o:r o:s) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/some-inverse.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:B (o:B) 22 | 23 | SubClassOf(o:B ObjectSomeValuesFrom(ObjectInverseOf(o:r) o:A)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/some-not.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:B (o:B) 22 | 23 | SubClassOf(o:B ObjectSomeValuesFrom(o:r ObjectComplementOf(o:A))) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/some.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(ObjectProperty(o:r)) 16 | 17 | ############################ 18 | # Classes 19 | ############################ 20 | 21 | # Class: o:B (o:B) 22 | 23 | SubClassOf(o:B ObjectSomeValuesFrom(o:r o:A)) 24 | 25 | 26 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/sub-annotation.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(AnnotationProperty(o:a)) 14 | Declaration(AnnotationProperty(o:b)) 15 | ############################ 16 | # Annotation Properties 17 | ############################ 18 | 19 | # Annotation Property: o:a (o:a) 20 | 21 | SubAnnotationPropertyOf(o:a o:b) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/subclass.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | ############################ 16 | # Classes 17 | ############################ 18 | 19 | # Class: o:B (o:B) 20 | 21 | SubClassOf(o:B o:A) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/suboproperty-inverse.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:s (o:s) 20 | 21 | SubObjectPropertyOf(o:s ObjectInverseOf(o:r)) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/suboproperty-top.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:s)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:s (o:s) 19 | 20 | SubObjectPropertyOf(o:s owl:topObjectProperty) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/suboproperty.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:s (o:s) 20 | 21 | SubObjectPropertyOf(o:s o:r) 22 | 23 | 24 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/subproperty-chain-with-inverse.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | Declaration(ObjectProperty(o:t)) 16 | 17 | SubObjectPropertyOf(ObjectPropertyChain(o:r ObjectInverseOf(o:s)) o:t) 18 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/subproperty-chain.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | Declaration(ObjectProperty(o:t)) 16 | 17 | SubObjectPropertyOf(ObjectPropertyChain(o:r o:s) o:t) 18 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_basic.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | 16 | DLSafeRule(Body(ClassAtom(o:A Variable(o:x)))Head(ClassAtom(o:B Variable(o:x)))) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_built_in.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | 16 | 17 | DLSafeRule(Body(BuiltInAtom(o:y "literal1" "literal2"))Head(ClassAtom(o:B Variable(o:x)))) 18 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_class_expression.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | 16 | DLSafeRule(Body(ClassAtom(o:A Variable(o:x)))Head(ClassAtom(ObjectIntersectionOf(o:A o:B) Variable(o:x)))) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_data_range.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Datatype(xsd:real)) 14 | 15 | DLSafeRule(Body(DataRangeAtom(xsd:integer "literal1"))Head(DataRangeAtom(xsd:real "literal2"))) 16 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_different_individuals.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:I)) 14 | Declaration(NamedIndividual(o:J)) 15 | 16 | DLSafeRule(Body(DifferentIndividualsAtom(o:I o:J))Head(DifferentIndividualsAtom(o:J o:I))) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:B)) 15 | Declaration(NamedIndividual(o:I)) 16 | 17 | 18 | DLSafeRule(Body(ClassAtom(o:A _:genid2147483648))Head(ClassAtom(o:B o:I))) 19 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_literal.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(DataProperty(o:d)) 15 | 16 | 17 | 18 | DLSafeRule(Body(ClassAtom(o:A Variable(o:x)))Head(DataPropertyAtom(o:d Variable(o:x) "Literal String"))) 19 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_object_property_atom.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | Declaration(ObjectProperty(o:s)) 15 | 16 | DLSafeRule(Body(ObjectPropertyAtom(o:r Variable(o:x) Variable(o:y)))Head(ObjectPropertyAtom(o:s Variable(o:x) Variable(o:y)))) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_same_individual.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(NamedIndividual(o:I)) 14 | Declaration(NamedIndividual(o:J)) 15 | 16 | DLSafeRule(Body(SameIndividualAtom(o:I o:J))Head(SameIndividualAtom(o:J o:I))) 17 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/swrl_two_variables.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:A)) 14 | Declaration(Class(o:A1)) 15 | Declaration(Class(o:B)) 16 | Declaration(Class(o:B1)) 17 | 18 | DLSafeRule(Body(ClassAtom(o:A Variable(o:x)) ClassAtom(o:A1 Variable(o:x)))Head(ClassAtom(o:B Variable(o:x)) ClassAtom(o:B1 Variable(o:x)))) 19 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/transitive-properties.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:r)) 14 | ############################ 15 | # Object Properties 16 | ############################ 17 | 18 | # Object Property: o:r (o:r) 19 | 20 | TransitiveObjectProperty(o:r) 21 | 22 | 23 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/two-annotation-on-transitive.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(o:t)) 14 | 15 | ############################ 16 | # Object Properties 17 | ############################ 18 | 19 | # Object Property: o:t (o:t) 20 | 21 | TransitiveObjectProperty(Annotation(rdfs:label "Annotation on transitive"@en) Annotation(rdfs:label "Second Annotation"@en) o:t) 22 | 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/type-complex.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:P)) 14 | Declaration(NamedIndividual(o:J)) 15 | 16 | ############################ 17 | # Named Individuals 18 | ############################ 19 | 20 | # Individual: o:J (o:J) 21 | 22 | ClassAssertion(ObjectComplementOf(o:P) o:J) 23 | 24 | 25 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/type-individual-datatype-unqualified.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:P)) 14 | Declaration(ObjectProperty(o:r)) 15 | Declaration(NamedIndividual(o:J)) 16 | 17 | 18 | ############################ 19 | # Named Individuals 20 | ############################ 21 | 22 | # Individual: o:J (o:J) 23 | 24 | ClassAssertion(ObjectExactCardinality(2 o:r) o:J) 25 | 26 | 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/type-individual-datatype.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:P)) 14 | Declaration(ObjectProperty(o:r)) 15 | Declaration(NamedIndividual(o:J)) 16 | 17 | 18 | ############################ 19 | # Named Individuals 20 | ############################ 21 | 22 | # Individual: o:J (o:J) 23 | 24 | ClassAssertion(ObjectMinCardinality(2 o:r o:P) o:J) 25 | 26 | 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/typed-individual-datatype-unqualified.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(Class(o:P)) 14 | Declaration(ObjectProperty(o:r)) 15 | Declaration(NamedIndividual(o:J)) 16 | 17 | 18 | ############################ 19 | # Named Individuals 20 | ############################ 21 | 22 | # Individual: o:J (o:J) 23 | 24 | ClassAssertion(ObjectExactCardinality(2 o:r) o:J) 25 | 26 | 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/withimport/import-property.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(o:=) 3 | Prefix(owl:=) 4 | Prefix(rdf:=) 5 | Prefix(xml:=) 6 | Prefix(xsd:=) 7 | Prefix(rdfs:=) 8 | Prefix(other:=) 9 | 10 | 11 | Ontology( 12 | 13 | Import() 14 | 15 | Declaration(Class(o:A)) 16 | Declaration(Class(o:B)) 17 | 18 | ############################ 19 | # Classes 20 | ############################ 21 | 22 | # Class: o:B (o:B) 23 | 24 | SubClassOf(o:B ObjectSomeValuesFrom(other:other-o o:A)) 25 | 26 | 27 | ) -------------------------------------------------------------------------------- /src/ont/owl-functional/withimport/other-property.ofn: -------------------------------------------------------------------------------- 1 | Prefix(:=) 2 | Prefix(owl:=) 3 | Prefix(rdf:=) 4 | Prefix(xml:=) 5 | Prefix(xsd:=) 6 | Prefix(rdfs:=) 7 | Prefix(other:=) 8 | 9 | 10 | Ontology( 11 | 12 | 13 | Declaration(ObjectProperty(other:other-o)) 14 | 15 | ) -------------------------------------------------------------------------------- /src/ont/owl-rdf/ambiguous/annotation-with-anonymous.owl: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | fred 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | -------------------------------------------------------------------------------- /src/ont/owl-rdf/ambiguous/nonround-test.owl: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | -------------------------------------------------------------------------------- /src/ont/owl-rdf/import.owl: -------------------------------------------------------------------------------- 1 | 2 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | -------------------------------------------------------------------------------- /src/ont/owl-rdf/manual/broken-ontology-annotation.owl: -------------------------------------------------------------------------------- 1 | 2 | 11 | 12 | 13 | 1.2 14 | 15 | 16 | 22 | 23 | 24 | 25 | 26 | 27 | -------------------------------------------------------------------------------- /src/ont/owl-rdf/ont-with-bfo.owl: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | -------------------------------------------------------------------------------- /src/ont/owl-rdf/ont.owl: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/ambiguous/annotation-with-anonymous.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | [ rdfs:comment "fred"@en 14 | ] . 15 | 16 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 17 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/ambiguous/nonround-test.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 14 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/annotation-domain.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Annotation properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#a 18 | o:a rdf:type owl:AnnotationProperty ; 19 | rdfs:domain . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/annotation-property.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Annotation properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#a 18 | o:a rdf:type owl:AnnotationProperty . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/annotation-range.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Annotation properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#a 18 | o:a rdf:type owl:AnnotationProperty ; 19 | rdfs:range . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/annotation_assertion.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Annotations 15 | ################################################################# 16 | 17 | rdfs:comment "non-anonymous individual"@en . 18 | 19 | 20 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 21 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/class.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#C 18 | o:C rdf:type owl:Class . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/class_with_two_annotations.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#C 18 | o:C rdf:type owl:Class ; 19 | rdfs:comment "Comment on Declaration"@en ; 20 | rdfs:label "Label on C"@en . 21 | 22 | 23 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 24 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/comment.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#A 18 | o:A rdf:type owl:Class ; 19 | rdfs:comment "A comment"@en . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/data-property-disjoint.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Data properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#dp 18 | o:dp rdf:type owl:DatatypeProperty ; 19 | owl:propertyDisjointWith o:dp1 . 20 | 21 | 22 | ### http://www.example.com/iri#dp1 23 | o:dp1 rdf:type owl:DatatypeProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/data-property-equivalent.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Data properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#dp 18 | o:dp rdf:type owl:DatatypeProperty ; 19 | owl:equivalentProperty o:dp1 . 20 | 21 | 22 | ### http://www.example.com/iri#dp1 23 | o:dp1 rdf:type owl:DatatypeProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/data-property-functional.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Data properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#dp 18 | o:dp rdf:type owl:DatatypeProperty , 19 | owl:FunctionalProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/data-property-sub.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Data properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#dp 18 | o:dp rdf:type owl:DatatypeProperty . 19 | 20 | 21 | ### http://www.example.com/iri#dp1 22 | o:dp1 rdf:type owl:DatatypeProperty ; 23 | rdfs:subPropertyOf o:dp . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/data-property.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Data properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#c 18 | o:c rdf:type owl:DatatypeProperty . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/datatype-alias.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Datatypes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#D 18 | o:D rdf:type rdfs:Datatype ; 19 | owl:equivalentClass owl:real . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/datatype-complement.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Datatypes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#D 18 | o:D rdf:type rdfs:Datatype ; 19 | owl:equivalentClass [ rdf:type rdfs:Datatype ; 20 | owl:datatypeComplementOf owl:rational 21 | ] . 22 | 23 | 24 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 25 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/datatype.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Datatypes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#C 18 | o:C rdf:type rdfs:Datatype . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/different-individual.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Individuals 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#I 18 | o:I rdf:type owl:NamedIndividual ; 19 | owl:differentFrom o:J . 20 | 21 | 22 | ### http://www.example.com/iri#J 23 | o:J rdf:type owl:NamedIndividual . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/disjoint-class.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#A 18 | o:A rdf:type owl:Class ; 19 | owl:disjointWith o:B . 20 | 21 | 22 | ### http://www.example.com/iri#B 23 | o:B rdf:type owl:Class . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/disjoint-object-properties.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty ; 19 | owl:propertyDisjointWith o:s . 20 | 21 | 22 | ### http://www.example.com/iri#s 23 | o:s rdf:type owl:ObjectProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/equivalent-class.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#A 18 | o:A rdf:type owl:Class ; 19 | owl:equivalentClass o:B . 20 | 21 | 22 | ### http://www.example.com/iri#B 23 | o:B rdf:type owl:Class . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/equivalent-object-properties.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty ; 19 | owl:equivalentProperty o:s . 20 | 21 | 22 | ### http://www.example.com/iri#s 23 | o:s rdf:type owl:ObjectProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/import.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @prefix other: . 9 | @base . 10 | 11 | rdf:type owl:Ontology ; 12 | owl:versionIRI ; 13 | owl:imports . 14 | 15 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 16 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/inverse-properties.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty ; 19 | owl:inverseOf o:s . 20 | 21 | 22 | ### http://www.example.com/iri#s 23 | o:s rdf:type owl:ObjectProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/inverse-transitive.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty . 19 | 20 | [ owl:inverseOf o:r ; 21 | rdf:type owl:TransitiveProperty 22 | ] . 23 | 24 | 25 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 26 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/label.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#A 18 | o:A rdf:type owl:Class ; 19 | rdfs:label "Some Label"@en . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/literal-escaped.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#C 18 | o:C rdf:type owl:Class ; 19 | rdfs:comment "A --> B"@en . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/manual/one-class-fully-qualified.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix owl: . 3 | @prefix rdf: . 4 | @prefix rdfs: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | 8 | a owl:Ontology ; 9 | owl:versionIRI . 10 | 11 | a owl:Class . 12 | 13 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/named-individual.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Individuals 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#C 18 | o:C rdf:type owl:NamedIndividual . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-asymmetric.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:AsymmetricProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-functional.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:FunctionalProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-inverse-functional.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:InverseFunctionalProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-irreflexive.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:IrreflexiveProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-reflexive.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:ReflexiveProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/object-property-symmetric.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:SymmetricProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/ont-with-bfo.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI ; 12 | owl:imports . 13 | 14 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 15 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/ont.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 14 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/ontology-annotation.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI ; 12 | "1.2"@en . 13 | 14 | ################################################################# 15 | # Annotation properties 16 | ################################################################# 17 | 18 | ### http://www.example.com/iri/propformat-version 19 | rdf:type owl:AnnotationProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/oproperty.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#z 18 | o:z rdf:type owl:ObjectProperty . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/other-iri.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix owl: . 3 | @prefix rdf: . 4 | @prefix xml: . 5 | @prefix xsd: . 6 | @prefix rdfs: . 7 | @prefix other: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/other-iri#C 18 | other:C rdf:type owl:Class . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/same-individual.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Individuals 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:NamedIndividual ; 19 | owl:sameAs o:s . 20 | 21 | 22 | ### http://www.example.com/iri#s 23 | 24 | ### http://www.example.com/iri#s 25 | o:s rdf:type owl:NamedIndividual . 26 | 27 | 28 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 29 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/sub-annotation.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Annotation properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#a 18 | o:a rdf:type owl:AnnotationProperty ; 19 | rdfs:subPropertyOf o:b . 20 | 21 | 22 | ### http://www.example.com/iri#b 23 | o:b rdf:type owl:AnnotationProperty . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/subclass.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Classes 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#A 18 | o:A rdf:type owl:Class . 19 | 20 | 21 | ### http://www.example.com/iri#B 22 | o:B rdf:type owl:Class ; 23 | rdfs:subClassOf o:A . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/suboproperty-top.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#s 18 | o:s rdf:type owl:ObjectProperty ; 19 | rdfs:subPropertyOf owl:topObjectProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/suboproperty.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty . 19 | 20 | 21 | ### http://www.example.com/iri#s 22 | o:s rdf:type owl:ObjectProperty ; 23 | rdfs:subPropertyOf o:r . 24 | 25 | 26 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 27 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/transitive-properties.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix o: . 3 | @prefix owl: . 4 | @prefix rdf: . 5 | @prefix xml: . 6 | @prefix xsd: . 7 | @prefix rdfs: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/iri#r 18 | o:r rdf:type owl:ObjectProperty , 19 | owl:TransitiveProperty . 20 | 21 | 22 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 23 | -------------------------------------------------------------------------------- /src/ont/owl-ttl/withimport/other-property.ttl: -------------------------------------------------------------------------------- 1 | @prefix : . 2 | @prefix owl: . 3 | @prefix rdf: . 4 | @prefix xml: . 5 | @prefix xsd: . 6 | @prefix rdfs: . 7 | @prefix other: . 8 | @base . 9 | 10 | rdf:type owl:Ontology ; 11 | owl:versionIRI . 12 | 13 | ################################################################# 14 | # Object Properties 15 | ################################################################# 16 | 17 | ### http://www.example.com/other-property#other-o 18 | other:other-o rdf:type owl:ObjectProperty . 19 | 20 | 21 | ### Generated by the OWL API (version 4.5.26) https://github.com/owlcs/owlapi 22 | -------------------------------------------------------------------------------- /src/ont/owl-xml/ambiguous/nonround-test.owx: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | -------------------------------------------------------------------------------- /src/ont/owl-xml/ont-with-bfo.owx: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | http://purl.obolibrary.org/obo/bfo.owl 17 | 18 | 19 | 20 | 21 | 22 | 23 | -------------------------------------------------------------------------------- /src/ont/owl-xml/ont.owx: -------------------------------------------------------------------------------- 1 | 2 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | --------------------------------------------------------------------------------