Owl.fromSourcemethod allValuesFrom : Rdf.Term.term listmethod allValuesFrom_opt : Rdf.Term.term optionmethod allValuesFrom_iris : Iri.t listmethod allValuesFrom_opt_iri : Iri.t optionmethod annotatedProperty : Rdf.Term.term listmethod annotatedProperty_opt : Rdf.Term.term optionmethod annotatedProperty_iris : Iri.t listmethod annotatedProperty_opt_iri : Iri.t optionmethod annotatedSource : Rdf.Term.term listmethod annotatedSource_opt : Rdf.Term.term optionmethod annotatedSource_iris : Iri.t listmethod annotatedSource_opt_iri : Iri.t optionmethod annotatedTarget : Rdf.Term.term listmethod annotatedTarget_opt : Rdf.Term.term optionmethod annotatedTarget_iris : Iri.t listmethod annotatedTarget_opt_iri : Iri.t optionmethod assertionProperty : Rdf.Term.term listmethod assertionProperty_opt : Rdf.Term.term optionmethod assertionProperty_iris : Iri.t listmethod assertionProperty_opt_iri : Iri.t optionmethod backwardCompatibleWith : Rdf.Term.term listmethod backwardCompatibleWith_opt : Rdf.Term.term optionmethod backwardCompatibleWith_iris : Iri.t listmethod backwardCompatibleWith_opt_iri : Iri.t optionmethod bottomDataProperty : Rdf.Term.literal listmethod bottomDataProperty_opt : Rdf.Term.literal optionmethod bottomObjectProperty : Rdf.Term.term listmethod bottomObjectProperty_opt : Rdf.Term.term optionmethod bottomObjectProperty_iris : Iri.t listmethod bottomObjectProperty_opt_iri : Iri.t optionmethod cardinality : Rdf.Term.term listmethod cardinality_opt : Rdf.Term.term optionmethod cardinality_iris : Iri.t listmethod cardinality_opt_iri : Iri.t optionmethod complementOf : Rdf.Term.term listmethod complementOf_opt : Rdf.Term.term optionmethod complementOf_iris : Iri.t listmethod complementOf_opt_iri : Iri.t optionmethod datatypeComplementOf : Rdf.Term.literal listmethod datatypeComplementOf_opt : Rdf.Term.literal optionmethod deprecated : Rdf.Term.term listmethod deprecated_opt : Rdf.Term.term optionmethod deprecated_iris : Iri.t listmethod deprecated_opt_iri : Iri.t optionmethod differentFrom : Rdf.Term.term listmethod differentFrom_opt : Rdf.Term.term optionmethod differentFrom_iris : Iri.t listmethod differentFrom_opt_iri : Iri.t optionmethod disjointUnionOf : Rdf.Term.term listmethod disjointUnionOf_opt : Rdf.Term.term optionmethod disjointUnionOf_iris : Iri.t listmethod disjointUnionOf_opt_iri : Iri.t optionmethod disjointWith : Rdf.Term.term listmethod disjointWith_opt : Rdf.Term.term optionmethod disjointWith_iris : Iri.t listmethod disjointWith_opt_iri : Iri.t optionmethod distinctMembers : Rdf.Term.term listmethod distinctMembers_opt : Rdf.Term.term optionmethod distinctMembers_iris : Iri.t listmethod distinctMembers_opt_iri : Iri.t optionmethod equivalentClass : Rdf.Term.term listmethod equivalentClass_opt : Rdf.Term.term optionmethod equivalentClass_iris : Iri.t listmethod equivalentClass_opt_iri : Iri.t optionmethod equivalentProperty : Rdf.Term.term listmethod equivalentProperty_opt : Rdf.Term.term optionmethod equivalentProperty_iris : Iri.t listmethod equivalentProperty_opt_iri : Iri.t optionmethod hasKey : Rdf.Term.term listmethod hasKey_opt : Rdf.Term.term optionmethod hasKey_iris : Iri.t listmethod hasKey_opt_iri : Iri.t optionmethod hasSelf : Rdf.Term.term listmethod hasSelf_opt : Rdf.Term.term optionmethod hasSelf_iris : Iri.t listmethod hasSelf_opt_iri : Iri.t optionmethod hasValue : Rdf.Term.term listmethod hasValue_opt : Rdf.Term.term optionmethod hasValue_iris : Iri.t listmethod hasValue_opt_iri : Iri.t optionmethod incompatibleWith : Rdf.Term.term listmethod incompatibleWith_opt : Rdf.Term.term optionmethod incompatibleWith_iris : Iri.t listmethod incompatibleWith_opt_iri : Iri.t optionmethod intersectionOf : Rdf.Term.term listmethod intersectionOf_opt : Rdf.Term.term optionmethod intersectionOf_iris : Iri.t listmethod intersectionOf_opt_iri : Iri.t optionmethod inverseOf : Rdf.Term.term listmethod inverseOf_opt : Rdf.Term.term optionmethod inverseOf_iris : Iri.t listmethod inverseOf_opt_iri : Iri.t optionmethod maxCardinality : Rdf.Term.term listmethod maxCardinality_opt : Rdf.Term.term optionmethod maxCardinality_iris : Iri.t listmethod maxCardinality_opt_iri : Iri.t optionmethod maxQualifiedCardinality : Rdf.Term.term listmethod maxQualifiedCardinality_opt : Rdf.Term.term optionmethod maxQualifiedCardinality_iris : Iri.t listmethod maxQualifiedCardinality_opt_iri : Iri.t optionmethod members : Rdf.Term.term listmethod members_opt : Rdf.Term.term optionmethod members_iris : Iri.t listmethod members_opt_iri : Iri.t optionmethod minCardinality : Rdf.Term.term listmethod minCardinality_opt : Rdf.Term.term optionmethod minCardinality_iris : Iri.t listmethod minCardinality_opt_iri : Iri.t optionmethod minQualifiedCardinality : Rdf.Term.term listmethod minQualifiedCardinality_opt : Rdf.Term.term optionmethod minQualifiedCardinality_iris : Iri.t listmethod minQualifiedCardinality_opt_iri : Iri.t optionmethod onClass : Rdf.Term.term listmethod onClass_opt : Rdf.Term.term optionmethod onClass_iris : Iri.t listmethod onClass_opt_iri : Iri.t optionmethod onDataRange : Rdf.Term.literal listmethod onDataRange_opt : Rdf.Term.literal optionmethod onDatatype : Rdf.Term.literal listmethod onDatatype_opt : Rdf.Term.literal optionmethod onProperties : Rdf.Term.term listmethod onProperties_opt : Rdf.Term.term optionmethod onProperties_iris : Iri.t listmethod onProperties_opt_iri : Iri.t optionmethod onProperty : Rdf.Term.term listmethod onProperty_opt : Rdf.Term.term optionmethod onProperty_iris : Iri.t listmethod onProperty_opt_iri : Iri.t optionmethod oneOf : Rdf.Term.term listmethod oneOf_opt : Rdf.Term.term optionmethod oneOf_iris : Iri.t listmethod oneOf_opt_iri : Iri.t optionmethod priorVersion : Rdf.Term.term listmethod priorVersion_opt : Rdf.Term.term optionmethod priorVersion_iris : Iri.t listmethod priorVersion_opt_iri : Iri.t optionmethod propertyChainAxiom : Rdf.Term.term listmethod propertyChainAxiom_opt : Rdf.Term.term optionmethod propertyChainAxiom_iris : Iri.t listmethod propertyChainAxiom_opt_iri : Iri.t optionmethod propertyDisjointWith : Rdf.Term.term listmethod propertyDisjointWith_opt : Rdf.Term.term optionmethod propertyDisjointWith_iris : Iri.t listmethod propertyDisjointWith_opt_iri : Iri.t optionmethod qualifiedCardinality : Rdf.Term.term listmethod qualifiedCardinality_opt : Rdf.Term.term optionmethod qualifiedCardinality_iris : Iri.t listmethod qualifiedCardinality_opt_iri : Iri.t optionmethod sameAs : Rdf.Term.term listmethod sameAs_opt : Rdf.Term.term optionmethod sameAs_iris : Iri.t listmethod sameAs_opt_iri : Iri.t optionmethod someValuesFrom : Rdf.Term.term listmethod someValuesFrom_opt : Rdf.Term.term optionmethod someValuesFrom_iris : Iri.t listmethod someValuesFrom_opt_iri : Iri.t optionmethod sourceIndividual : Rdf.Term.term listmethod sourceIndividual_opt : Rdf.Term.term optionmethod sourceIndividual_iris : Iri.t listmethod sourceIndividual_opt_iri : Iri.t optionmethod targetIndividual : Rdf.Term.term listmethod targetIndividual_opt : Rdf.Term.term optionmethod targetIndividual_iris : Iri.t listmethod targetIndividual_opt_iri : Iri.t optionmethod targetValue : Rdf.Term.literal listmethod targetValue_opt : Rdf.Term.literal optionmethod topDataProperty : Rdf.Term.literal listmethod topDataProperty_opt : Rdf.Term.literal optionmethod topObjectProperty : Rdf.Term.term listmethod topObjectProperty_opt : Rdf.Term.term optionmethod topObjectProperty_iris : Iri.t listmethod topObjectProperty_opt_iri : Iri.t optionmethod unionOf : Rdf.Term.term listmethod unionOf_opt : Rdf.Term.term optionmethod unionOf_iris : Iri.t listmethod unionOf_opt_iri : Iri.t optionmethod versionInfo : Rdf.Term.term listmethod versionInfo_opt : Rdf.Term.term optionmethod versionInfo_iris : Iri.t listmethod versionInfo_opt_iri : Iri.t optionmethod withRestrictions : Rdf.Term.term listmethod withRestrictions_opt : Rdf.Term.term optionmethod withRestrictions_iris : Iri.t listmethod withRestrictions_opt_iri : Iri.t option