Functional OWL

pyobo.struct.functional.dsl Module

A DSL for functional OWL.

Functions

l(value)

Get a literal.

Classes

Annotation(annotation_property, value, *[, ...])	An element defined in 10.1 "Annotations of Ontologies, Axioms, and other Annotations".
AnnotationAssertion(annotation_property, ...)	An annotation axiom defined in 10.2.1 Annotation Assertion.
AnnotationAxiom([annotations])	A grouping class for annotation axioms defined in 10.2 "Axiom Annotations".
AnnotationProperty(identifier)	A wrapper around an identifier box with custom functionality.
AnnotationPropertyDomain(...[, annotations])	An annotation axiom defined in 10.2.3 Annotation Property Domain.
AnnotationPropertyRange(annotation_property, ...)	An annotation axiom defined in 10.2.4 Annotation Property Range.
Assertion([annotations])	Axioms for 9.6 "Assertions".
AsymmetricObjectProperty(...[, annotations])	An object property axiom defined in 9.2.12 "Asymmetric Object Properties".
Axiom([annotations])	A model for an axiom.
Box()	A model for objects that can be represented as nodes in RDF and Functional OWL.
ClassAssertion(class_expression, individual, *)	An axiom for 9.6.3 "Class Assertions".
ClassAxiom([annotations])	A model for a class axiom.
ClassExpression()	An abstract model representing class expressions.
DataAllValuesFrom(data_property_expressions, ...)	A class expression defined in 8.4.2 Universal Qualifications.
DataComplementOf(data_range)	A data range defined in 7.3 Complement of Data Ranges".
DataExactCardinality(cardinality, ...[, ...])	A class expression defined in 8.5.3 Exact Cardinality.
DataHasValue(data_property_expression, literal)	A class expression defined in 8.4.3 Literal Value Restriction.
DataIntersectionOf(data_ranges)	A data range defined in 7.1 "Intersection of Data Ranges".
DataMaxCardinality(cardinality, ...[, ...])	A class expression defined in 8.5.2 Maximum Cardinality.
DataMinCardinality(cardinality, ...[, ...])	A class expression defined in 8.5.1 Minimum Cardinality.
DataOneOf(literals)	A data range defined in 7.4 Enumeration of Literals".
DataPropertyAssertion(...[, annotations])	An axiom for 9.6.6 "Positive Data Property Assertions".
DataPropertyAxiom([annotations])	A model for 9.3 "Data Property Axioms".
DataPropertyDomain(data_property_expression, ...)	A data property axiom for 9.3.4 "Data Property Domain".
DataPropertyExpression()	A model representing 6.2 "Data Property Expressions".
DataPropertyRange(data_property_expression, ...)	A data property axiom for 9.3.5 "Data Property Range".
DataRange()	A model representing 7 "Data Ranges".
DataSomeValuesFrom(...)	A class expression defined in 8.4.1 Existential Qualifications.
DataUnionOf(data_ranges)	A data range defined in 7.2 "Union of Data Ranges".
DatatypeDefinition(datatype, data_range, *)	A model for 9.4 "Datatype Definitions".
DatatypeRestriction(datatype, pairs)	A data range defined in 7.5 Datatype Restrictions ".
Declaration(node, type)	Declarations.
DifferentIndividuals(individuals, *[, ...])	An axiom for 9.6.2 "Individual Inequality".
DisjointClasses(class_expressions, *[, ...])	A class axiom defined in 9.1.3 "Disjoint Classes".
DisjointDataProperties(...[, annotations])	A data property axiom for 9.3.3 "Disjoint Data Properties".
DisjointObjectProperties(...[, annotations])	An object property axiom defined in 9.2.3 "Disjoint Object Properties".
DisjointUnion(parent, class_expressions, *)	A class axiom defined in 9.1.4 "Disjoint Union of Class Expressions".
EquivalentClasses(class_expressions, *[, ...])	A class axiom defined in 9.1.2 "Subclass Axioms".
EquivalentDataProperties(...[, annotations])	A data property axiom for 9.3.2 "Equivalent Data Properties".
EquivalentObjectProperties(...[, annotations])	An object property axiom defined in 9.2.2 "Equivalent Object Subproperties".
FunctionalDataProperty(...[, annotations])	A data property axiom for 9.3.6 "Functional Data Properties".
FunctionalObjectProperty(...[, annotations])	An object property axiom defined in 9.2.7 "Functional Object Properties".
HasKey(class_expression, ...[, annotations])	An axiom for 9.5 "Keys".
InverseFunctionalObjectProperty(...[, ...])	An object property axiom defined in 9.2.8 "Inverse-Functional Object Properties".
InverseObjectProperties(left, right, *[, ...])	An object property axiom defined in 9.2.4 "Inverse Object Properties".
IrreflexiveObjectProperty(...[, annotations])	An object property axiom defined in 9.2.10 "Reflexive Object Properties".
NegativeDataPropertyAssertion(...[, annotations])	An axiom for 9.6.7 "Negative Data Property Assertions".
NegativeObjectPropertyAssertion(...[, ...])	An axiom for 9.6.5 "Negative Object Property Assertions".
ObjectAllValuesFrom(...)	A class expression defined in 8.2.2 Universal Quantification.
ObjectComplementOf(class_expression)	A class expression defined in 8.1.3 Complement of Class Expressions.
ObjectExactCardinality(cardinality, ...[, ...])	A class expression defined in 8.3.2 Exact Cardinality.
ObjectHasSelf(object_property_expression)	A class expression defined in 8.2.4 Self-Restriction.
ObjectHasValue(object_property_expression, ...)	A class expression defined in 8.2.3 Individual Value Restriction.
ObjectIntersectionOf(class_expressions)	A class expression defined in 8.1.1 Intersection of Class Expressions.
ObjectInverseOf(object_property)	A property expression defined in 6.1.1 "Inverse Object Properties".
ObjectMaxCardinality(cardinality, ...[, ...])	A class expression defined in 8.3.2 Maximum Cardinality.
ObjectMinCardinality(cardinality, ...[, ...])	A class expression defined in 8.3.1 Minimum Cardinality.
ObjectOneOf(individuals)	A class expression defined in 8.1.4 Enumeration of Individuals.
ObjectPropertyAssertion(...[, annotations])	An axiom for 9.6.4 "Positive Object Property Assertions".
ObjectPropertyAxiom([annotations])	A grouping class for 9.2 "Object Property Axioms".
ObjectPropertyChain(object_property_expressions)	Represents a list of object properties.
ObjectPropertyDomain(left, right, *[, ...])	An object property axiom defined in 9.2.5 "Object Property Domain".
ObjectPropertyExpression()	A model representing 6.1 "Object Property Expressions".
ObjectPropertyRange(left, right, *[, ...])	An object property axiom defined in 9.2.5 "Object Property Range".
ObjectSomeValuesFrom(...)	A class expression defined in 8.2.1 Existential Quantification.
ObjectUnionOf(class_expressions)	A class expression defined in 8.1.2 Union of Class Expressions.
ReflexiveObjectProperty(...[, annotations])	An object property axiom defined in 9.2.9 "Irreflexive Object Properties".
SameIndividual(individuals, *[, annotations])	An axiom for 9.6.1 "Individual Equality".
SubAnnotationPropertyOf(child, parent, *[, ...])	An annotation axiom defined in 10.2.2 Annotation Subproperties.
SubClassOf(child, parent, *[, annotations])	A class axiom defined in 9.1.1 "Subclass Axioms".
SubDataPropertyOf(child, parent, *[, ...])	A data property axiom for 9.3.1 "Data Subproperties".
SubObjectPropertyOf(child, parent, *[, ...])	An object property axiom defined in 9.2.1 "Object Subproperties".
SymmetricObjectProperty(...[, annotations])	An object property axiom defined in 9.2.11 "Symmetric Object Properties".
TransitiveObjectProperty(...[, annotations])	An object property axiom defined in 9.2.13 "Transitive Object Properties".

Class Inheritance Diagram

digraph inheritance0025db9694 { bgcolor=transparent; rankdir=LR; size="8.0, 12.0"; "ABC" [URL="https://docs.python.org/3/library/abc.html#abc.ABC",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="Helper class that provides a standard way to create an ABC using"]; "Annotation" [URL="api/pyobo.struct.functional.dsl.Annotation.html#pyobo.struct.functional.dsl.Annotation",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An element defined in `10.1 \"Annotations of Ontologies, Axioms, and other Annotations\" <https://www.w3.org/TR/owl2-syntax/#Annotations_of_Ontologies.2C_Axioms.2C_and_other_Annotations>`_."]; "Box" -> "Annotation" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationAssertion" [URL="api/pyobo.struct.functional.dsl.AnnotationAssertion.html#pyobo.struct.functional.dsl.AnnotationAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An annotation axiom defined in `10.2.1 Annotation Assertion <https://www.w3.org/TR/owl2-syntax/#Annotation_Assertion>`_."]; "AnnotationAxiom" -> "AnnotationAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationAxiom" [URL="api/pyobo.struct.functional.dsl.AnnotationAxiom.html#pyobo.struct.functional.dsl.AnnotationAxiom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A grouping class for annotation axioms defined in `10.2 \"Axiom Annotations\" <https://www.w3.org/TR/owl2-syntax/#Annotation_Axioms>`_."]; "Axiom" -> "AnnotationAxiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationProperty" [URL="api/pyobo.struct.functional.dsl.AnnotationProperty.html#pyobo.struct.functional.dsl.AnnotationProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A wrapper around an identifier box with custom functionality."]; "IdentifierBox" -> "AnnotationProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationPropertyDomain" [URL="api/pyobo.struct.functional.dsl.AnnotationPropertyDomain.html#pyobo.struct.functional.dsl.AnnotationPropertyDomain",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An annotation axiom defined in `10.2.3 Annotation Property Domain <https://www.w3.org/TR/owl2-syntax/#Annotation_Property_Domain>`_."]; "AnnotationPropertyTypingAxiom" -> "AnnotationPropertyDomain" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationPropertyRange" [URL="api/pyobo.struct.functional.dsl.AnnotationPropertyRange.html#pyobo.struct.functional.dsl.AnnotationPropertyRange",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An annotation axiom defined in `10.2.4 Annotation Property Range <https://www.w3.org/TR/owl2-syntax/#Annotation_Property_Range>`_."]; "AnnotationPropertyTypingAxiom" -> "AnnotationPropertyRange" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AnnotationPropertyTypingAxiom" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A helper class that defines shared functionality between annotation property domains and ranges."]; "AnnotationAxiom" -> "AnnotationPropertyTypingAxiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Assertion" [URL="api/pyobo.struct.functional.dsl.Assertion.html#pyobo.struct.functional.dsl.Assertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="Axioms for `9.6 \"Assertions\" <https://www.w3.org/TR/owl2-syntax/#Assertions>`_."]; "Axiom" -> "Assertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "AsymmetricObjectProperty" [URL="api/pyobo.struct.functional.dsl.AsymmetricObjectProperty.html#pyobo.struct.functional.dsl.AsymmetricObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.12 \"Asymmetric Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Asymmetric_Object_Properties>`_."]; "_UnaryObjectProperty" -> "AsymmetricObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Axiom" [URL="api/pyobo.struct.functional.dsl.Axiom.html#pyobo.struct.functional.dsl.Axiom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for an `axiom <https://www.w3.org/TR/owl2-syntax/#Axioms>`_."]; "Box" -> "Axiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Box" [URL="api/pyobo.struct.functional.dsl.Box.html#pyobo.struct.functional.dsl.Box",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for objects that can be represented as nodes in RDF and Functional OWL."]; "FunctionalOWLSerializable" -> "Box" [arrowsize=0.5,style="setlinewidth(0.5)"]; "RDFNodeSerializable" -> "Box" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ClassAssertion" [URL="api/pyobo.struct.functional.dsl.ClassAssertion.html#pyobo.struct.functional.dsl.ClassAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.3 \"Class Assertions\" <https://www.w3.org/TR/owl2-syntax/#Class_Assertions>`_."]; "Assertion" -> "ClassAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ClassAxiom" [URL="api/pyobo.struct.functional.dsl.ClassAxiom.html#pyobo.struct.functional.dsl.ClassAxiom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for a class axiom."]; "Axiom" -> "ClassAxiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ClassExpression" [URL="api/pyobo.struct.functional.dsl.ClassExpression.html#pyobo.struct.functional.dsl.ClassExpression",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An abstract model representing `class expressions <https://www.w3.org/TR/owl2-syntax/#Class_Expressions>`_."]; "Box" -> "ClassExpression" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataAllValuesFrom" [URL="api/pyobo.struct.functional.dsl.DataAllValuesFrom.html#pyobo.struct.functional.dsl.DataAllValuesFrom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.4.2 Universal Qualifications <https://www.w3.org/TR/owl2-syntax/#Universal_Quantification_2>`_."]; "_DataValuesFrom" -> "DataAllValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataComplementOf" [URL="api/pyobo.struct.functional.dsl.DataComplementOf.html#pyobo.struct.functional.dsl.DataComplementOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data range defined in `7.3 Complement of Data Ranges\" <https://www.w3.org/TR/owl2-syntax/#Complement_of_Data_Ranges>`_."]; "DataRange" -> "DataComplementOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataExactCardinality" [URL="api/pyobo.struct.functional.dsl.DataExactCardinality.html#pyobo.struct.functional.dsl.DataExactCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.5.3 Exact Cardinality <https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality_2>`_."]; "_DataCardinality" -> "DataExactCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataHasValue" [URL="api/pyobo.struct.functional.dsl.DataHasValue.html#pyobo.struct.functional.dsl.DataHasValue",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.4.3 Literal Value Restriction <https://www.w3.org/TR/owl2-syntax/#Literal_Value_Restriction>`_."]; "_DataValuesFrom" -> "DataHasValue" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataIntersectionOf" [URL="api/pyobo.struct.functional.dsl.DataIntersectionOf.html#pyobo.struct.functional.dsl.DataIntersectionOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data range defined in `7.1 \"Intersection of Data Ranges\" <https://www.w3.org/TR/owl2-syntax/#Intersection_of_Data_Ranges>`_."]; "_ListDataRange" -> "DataIntersectionOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataMaxCardinality" [URL="api/pyobo.struct.functional.dsl.DataMaxCardinality.html#pyobo.struct.functional.dsl.DataMaxCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.5.2 Maximum Cardinality <https://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality_2>`_."]; "_DataCardinality" -> "DataMaxCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataMinCardinality" [URL="api/pyobo.struct.functional.dsl.DataMinCardinality.html#pyobo.struct.functional.dsl.DataMinCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.5.1 Minimum Cardinality <https://www.w3.org/TR/owl2-syntax/#Minimum_Cardinality_2>`_."]; "_DataCardinality" -> "DataMinCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataOneOf" [URL="api/pyobo.struct.functional.dsl.DataOneOf.html#pyobo.struct.functional.dsl.DataOneOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data range defined in `7.4 Enumeration of Literals\" <https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Literals>`_."]; "DataRange" -> "DataOneOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataPropertyAssertion" [URL="api/pyobo.struct.functional.dsl.DataPropertyAssertion.html#pyobo.struct.functional.dsl.DataPropertyAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.6 \"Positive Data Property Assertions\" <https://www.w3.org/TR/owl2-syntax/#Positive_Data_Property_Assertions>`_."]; "_BaseDataPropertyAssertion" -> "DataPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataPropertyAxiom" [URL="api/pyobo.struct.functional.dsl.DataPropertyAxiom.html#pyobo.struct.functional.dsl.DataPropertyAxiom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for `9.3 \"Data Property Axioms\" <https://www.w3.org/TR/owl2-syntax/#Data_Property_Axioms>`_."]; "Axiom" -> "DataPropertyAxiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataPropertyDomain" [URL="api/pyobo.struct.functional.dsl.DataPropertyDomain.html#pyobo.struct.functional.dsl.DataPropertyDomain",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.4 \"Data Property Domain\" <https://www.w3.org/TR/owl2-syntax/#Data_Property_Domain>`_."]; "_DataPropertyTyping" -> "DataPropertyDomain" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataPropertyExpression" [URL="api/pyobo.struct.functional.dsl.DataPropertyExpression.html#pyobo.struct.functional.dsl.DataPropertyExpression",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model representing `6.2 \"Data Property Expressions\" <https://www.w3.org/TR/owl2-syntax/#Data_Property_Expressions>`_."]; "Box" -> "DataPropertyExpression" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataPropertyRange" [URL="api/pyobo.struct.functional.dsl.DataPropertyRange.html#pyobo.struct.functional.dsl.DataPropertyRange",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.5 \"Data Property Range\" <https://www.w3.org/TR/owl2-syntax/#Data_Property_Range>`_."]; "_DataPropertyTyping" -> "DataPropertyRange" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataRange" [URL="api/pyobo.struct.functional.dsl.DataRange.html#pyobo.struct.functional.dsl.DataRange",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model representing `7 \"Data Ranges\" <https://www.w3.org/TR/owl2-syntax/#Datatypes>`_."]; "Box" -> "DataRange" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataSomeValuesFrom" [URL="api/pyobo.struct.functional.dsl.DataSomeValuesFrom.html#pyobo.struct.functional.dsl.DataSomeValuesFrom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.4.1 Existential Qualifications <https://www.w3.org/TR/owl2-syntax/#Existential_Quantification_2>`_."]; "_DataValuesFrom" -> "DataSomeValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DataUnionOf" [URL="api/pyobo.struct.functional.dsl.DataUnionOf.html#pyobo.struct.functional.dsl.DataUnionOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data range defined in `7.2 \"Union of Data Ranges\" <https://www.w3.org/TR/owl2-syntax/#Union_of_Data_Ranges>`_."]; "_ListDataRange" -> "DataUnionOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DatatypeDefinition" [URL="api/pyobo.struct.functional.dsl.DatatypeDefinition.html#pyobo.struct.functional.dsl.DatatypeDefinition",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for `9.4 \"Datatype Definitions\" <https://www.w3.org/TR/owl2-syntax/#Datatype_Definitions>`_."]; "Axiom" -> "DatatypeDefinition" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DatatypeRestriction" [URL="api/pyobo.struct.functional.dsl.DatatypeRestriction.html#pyobo.struct.functional.dsl.DatatypeRestriction",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data range defined in `7.5 Datatype Restrictions \" <https://www.w3.org/TR/owl2-syntax/#Datatype_Restrictions>`_."]; "DataRange" -> "DatatypeRestriction" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Declaration" [URL="api/pyobo.struct.functional.dsl.Declaration.html#pyobo.struct.functional.dsl.Declaration",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="Declarations."]; "Box" -> "Declaration" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DifferentIndividuals" [URL="api/pyobo.struct.functional.dsl.DifferentIndividuals.html#pyobo.struct.functional.dsl.DifferentIndividuals",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.2 \"Individual Inequality\" <https://www.w3.org/TR/owl2-syntax/#Individual_Inequality>`_."]; "_IndividualListAssertion" -> "DifferentIndividuals" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DisjointClasses" [URL="api/pyobo.struct.functional.dsl.DisjointClasses.html#pyobo.struct.functional.dsl.DisjointClasses",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class axiom defined in `9.1.3 \"Disjoint Classes\" <https://www.w3.org/TR/owl2-syntax/#Disjoint_Classes>`_."]; "ClassAxiom" -> "DisjointClasses" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DisjointDataProperties" [URL="api/pyobo.struct.functional.dsl.DisjointDataProperties.html#pyobo.struct.functional.dsl.DisjointDataProperties",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.3 \"Disjoint Data Properties\" <https://www.w3.org/TR/owl2-syntax/#Disjoint_Data_Properties>`_."]; "_DataPropertyList" -> "DisjointDataProperties" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DisjointObjectProperties" [URL="api/pyobo.struct.functional.dsl.DisjointObjectProperties.html#pyobo.struct.functional.dsl.DisjointObjectProperties",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.3 \"Disjoint Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Disjoint_Object_Properties>`_."]; "_ObjectPropertyList" -> "DisjointObjectProperties" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DisjointUnion" [URL="api/pyobo.struct.functional.dsl.DisjointUnion.html#pyobo.struct.functional.dsl.DisjointUnion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class axiom defined in `9.1.4 \"Disjoint Union of Class Expressions\" <https://www.w3.org/TR/owl2-syntax/#Disjoint_Union_of_Class_Expressions>`_."]; "ClassAxiom" -> "DisjointUnion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "EquivalentClasses" [URL="api/pyobo.struct.functional.dsl.EquivalentClasses.html#pyobo.struct.functional.dsl.EquivalentClasses",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class axiom defined in `9.1.2 \"Subclass Axioms\" <https://www.w3.org/TR/owl2-syntax/#Equivalent_Classes>`_."]; "ClassAxiom" -> "EquivalentClasses" [arrowsize=0.5,style="setlinewidth(0.5)"]; "EquivalentDataProperties" [URL="api/pyobo.struct.functional.dsl.EquivalentDataProperties.html#pyobo.struct.functional.dsl.EquivalentDataProperties",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.2 \"Equivalent Data Properties\" <https://www.w3.org/TR/owl2-syntax/#Equivalent_Data_Properties>`_."]; "_DataPropertyList" -> "EquivalentDataProperties" [arrowsize=0.5,style="setlinewidth(0.5)"]; "EquivalentObjectProperties" [URL="api/pyobo.struct.functional.dsl.EquivalentObjectProperties.html#pyobo.struct.functional.dsl.EquivalentObjectProperties",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.2 \"Equivalent Object Subproperties\" <https://www.w3.org/TR/owl2-syntax/#Equivalent_Object_Properties>`_."]; "_ObjectPropertyList" -> "EquivalentObjectProperties" [arrowsize=0.5,style="setlinewidth(0.5)"]; "FunctionalDataProperty" [URL="api/pyobo.struct.functional.dsl.FunctionalDataProperty.html#pyobo.struct.functional.dsl.FunctionalDataProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.6 \"Functional Data Properties\" <https://www.w3.org/TR/owl2-syntax/#Functional_Data_Properties>`_."]; "DataPropertyAxiom" -> "FunctionalDataProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "FunctionalOWLSerializable" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An object that can be serialized to functional OWL."]; "ABC" -> "FunctionalOWLSerializable" [arrowsize=0.5,style="setlinewidth(0.5)"]; "FunctionalObjectProperty" [URL="api/pyobo.struct.functional.dsl.FunctionalObjectProperty.html#pyobo.struct.functional.dsl.FunctionalObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.7 \"Functional Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties>`_."]; "_UnaryObjectProperty" -> "FunctionalObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "HasKey" [URL="api/pyobo.struct.functional.dsl.HasKey.html#pyobo.struct.functional.dsl.HasKey",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.5 \"Keys\" <https://www.w3.org/TR/owl2-syntax/#Keys>`_."]; "Axiom" -> "HasKey" [arrowsize=0.5,style="setlinewidth(0.5)"]; "IdentifierBox" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A simple wrapper around CURIEs and IRIs."]; "Box" -> "IdentifierBox" [arrowsize=0.5,style="setlinewidth(0.5)"]; "InverseFunctionalObjectProperty" [URL="api/pyobo.struct.functional.dsl.InverseFunctionalObjectProperty.html#pyobo.struct.functional.dsl.InverseFunctionalObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.8 \"Inverse-Functional Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Inverse-Functional_Object_Properties>`_."]; "_UnaryObjectProperty" -> "InverseFunctionalObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "InverseObjectProperties" [URL="api/pyobo.struct.functional.dsl.InverseObjectProperties.html#pyobo.struct.functional.dsl.InverseObjectProperties",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.4 \"Inverse Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Inverse_Object_Properties_2>`_."]; "ObjectPropertyAxiom" -> "InverseObjectProperties" [arrowsize=0.5,style="setlinewidth(0.5)"]; "IrreflexiveObjectProperty" [URL="api/pyobo.struct.functional.dsl.IrreflexiveObjectProperty.html#pyobo.struct.functional.dsl.IrreflexiveObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.10 \"Reflexive Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Ireflexive_Object_Properties>`_."]; "_UnaryObjectProperty" -> "IrreflexiveObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "NegativeDataPropertyAssertion" [URL="api/pyobo.struct.functional.dsl.NegativeDataPropertyAssertion.html#pyobo.struct.functional.dsl.NegativeDataPropertyAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.7 \"Negative Data Property Assertions\" <https://www.w3.org/TR/owl2-syntax/#Negative_Data_Property_Assertions>`_."]; "_BaseDataPropertyAssertion" -> "NegativeDataPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "NegativeObjectPropertyAssertion" [URL="api/pyobo.struct.functional.dsl.NegativeObjectPropertyAssertion.html#pyobo.struct.functional.dsl.NegativeObjectPropertyAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.5 \"Negative Object Property Assertions\" <https://www.w3.org/TR/owl2-syntax/#Negative_Object_Property_Assertions>`_."]; "_BaseObjectPropertyAssertion" -> "NegativeObjectPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectAllValuesFrom" [URL="api/pyobo.struct.functional.dsl.ObjectAllValuesFrom.html#pyobo.struct.functional.dsl.ObjectAllValuesFrom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.2.2 Universal Quantification <https://www.w3.org/TR/owl2-syntax/# Universal_Quantification>`_."]; "_ObjectValuesFrom" -> "ObjectAllValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectComplementOf" [URL="api/pyobo.struct.functional.dsl.ObjectComplementOf.html#pyobo.struct.functional.dsl.ObjectComplementOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.1.3 Complement of Class Expressions <https://www.w3.org/TR/owl2-syntax/#Complement_of_Class_Expressions>`_."]; "ClassExpression" -> "ObjectComplementOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectExactCardinality" [URL="api/pyobo.struct.functional.dsl.ObjectExactCardinality.html#pyobo.struct.functional.dsl.ObjectExactCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.3.2 Exact Cardinality <https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality>`_."]; "_ObjectCardinality" -> "ObjectExactCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectHasSelf" [URL="api/pyobo.struct.functional.dsl.ObjectHasSelf.html#pyobo.struct.functional.dsl.ObjectHasSelf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.2.4 Self-Restriction <https://www.w3.org/TR/owl2-syntax/#Self-Restriction>`_."]; "ClassExpression" -> "ObjectHasSelf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectHasValue" [URL="api/pyobo.struct.functional.dsl.ObjectHasValue.html#pyobo.struct.functional.dsl.ObjectHasValue",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.2.3 Individual Value Restriction <https://www.w3.org/TR/owl2-syntax/#Individual_Value_Restriction>`_."]; "ClassExpression" -> "ObjectHasValue" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectIntersectionOf" [URL="api/pyobo.struct.functional.dsl.ObjectIntersectionOf.html#pyobo.struct.functional.dsl.ObjectIntersectionOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.1.1 Intersection of Class Expressions <https://www.w3.org/TR/owl2-syntax/#Intersection_of_Class_Expressions>`_."]; "_ObjectList" -> "ObjectIntersectionOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectInverseOf" [URL="api/pyobo.struct.functional.dsl.ObjectInverseOf.html#pyobo.struct.functional.dsl.ObjectInverseOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A property expression defined in `6.1.1 \"Inverse Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Inverse_Object_Properties>`_."]; "ObjectPropertyExpression" -> "ObjectInverseOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectMaxCardinality" [URL="api/pyobo.struct.functional.dsl.ObjectMaxCardinality.html#pyobo.struct.functional.dsl.ObjectMaxCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.3.2 Maximum Cardinality <https://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality>`_."]; "_ObjectCardinality" -> "ObjectMaxCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectMinCardinality" [URL="api/pyobo.struct.functional.dsl.ObjectMinCardinality.html#pyobo.struct.functional.dsl.ObjectMinCardinality",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.3.1 Minimum Cardinality <https://www.w3.org/TR/owl2-syntax/#Minimum_Cardinality>`_."]; "_ObjectCardinality" -> "ObjectMinCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectOneOf" [URL="api/pyobo.struct.functional.dsl.ObjectOneOf.html#pyobo.struct.functional.dsl.ObjectOneOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.1.4 Enumeration of Individuals <https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Individuals>`_."]; "ClassExpression" -> "ObjectOneOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyAssertion" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyAssertion.html#pyobo.struct.functional.dsl.ObjectPropertyAssertion",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.4 \"Positive Object Property Assertions\" <https://www.w3.org/TR/owl2-syntax/#Positive_Object_Property_Assertions>`_."]; "_BaseObjectPropertyAssertion" -> "ObjectPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyAxiom" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyAxiom.html#pyobo.struct.functional.dsl.ObjectPropertyAxiom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A grouping class for `9.2 \"Object Property Axioms\" <https://www.w3.org/TR/owl2-syntax/#Object_Property_Axioms>`_."]; "Axiom" -> "ObjectPropertyAxiom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyChain" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyChain.html#pyobo.struct.functional.dsl.ObjectPropertyChain",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="Represents a list of object properties."]; "Box" -> "ObjectPropertyChain" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyDomain" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyDomain.html#pyobo.struct.functional.dsl.ObjectPropertyDomain",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.5 \"Object Property Domain\" <https://www.w3.org/TR/owl2-syntax/#Object_Property_Domain>`_."]; "_ObjectPropertyTyping" -> "ObjectPropertyDomain" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyExpression" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyExpression.html#pyobo.struct.functional.dsl.ObjectPropertyExpression",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model representing `6.1 \"Object Property Expressions\" <https://www.w3.org/TR/owl2-syntax/#Object_Property_Expressions>`_."]; "Box" -> "ObjectPropertyExpression" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectPropertyRange" [URL="api/pyobo.struct.functional.dsl.ObjectPropertyRange.html#pyobo.struct.functional.dsl.ObjectPropertyRange",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.5 \"Object Property Range\" <https://www.w3.org/TR/owl2-syntax/#Object_Property_Range>`_."]; "_ObjectPropertyTyping" -> "ObjectPropertyRange" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectSomeValuesFrom" [URL="api/pyobo.struct.functional.dsl.ObjectSomeValuesFrom.html#pyobo.struct.functional.dsl.ObjectSomeValuesFrom",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.2.1 Existential Quantification <https://www.w3.org/TR/owl2-syntax/#Existential_Quantification>`_."]; "_ObjectValuesFrom" -> "ObjectSomeValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectUnionOf" [URL="api/pyobo.struct.functional.dsl.ObjectUnionOf.html#pyobo.struct.functional.dsl.ObjectUnionOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class expression defined in `8.1.2 Union of Class Expressions <https://www.w3.org/TR/owl2-syntax/#Union_of_Class_Expressions>`_."]; "_ObjectList" -> "ObjectUnionOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "RDFNodeSerializable" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An object that can be serialized to RDF as a node."]; "ABC" -> "RDFNodeSerializable" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ReflexiveObjectProperty" [URL="api/pyobo.struct.functional.dsl.ReflexiveObjectProperty.html#pyobo.struct.functional.dsl.ReflexiveObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.9 \"Irreflexive Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Reflexive_Object_Properties>`_."]; "_UnaryObjectProperty" -> "ReflexiveObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SameIndividual" [URL="api/pyobo.struct.functional.dsl.SameIndividual.html#pyobo.struct.functional.dsl.SameIndividual",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An axiom for `9.6.1 \"Individual Equality\" <https://www.w3.org/TR/owl2-syntax/#Individual_Equality>`_."]; "_IndividualListAssertion" -> "SameIndividual" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SubAnnotationPropertyOf" [URL="api/pyobo.struct.functional.dsl.SubAnnotationPropertyOf.html#pyobo.struct.functional.dsl.SubAnnotationPropertyOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An annotation axiom defined in `10.2.2 Annotation Subproperties <https://www.w3.org/TR/owl2-syntax/#Annotation_Subproperties>`_."]; "AnnotationAxiom" -> "SubAnnotationPropertyOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SubClassOf" [URL="api/pyobo.struct.functional.dsl.SubClassOf.html#pyobo.struct.functional.dsl.SubClassOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A class axiom defined in `9.1.1 \"Subclass Axioms\" <https://www.w3.org/TR/owl2-syntax/#Subclass_Axioms>`_."]; "ClassAxiom" -> "SubClassOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SubDataPropertyOf" [URL="api/pyobo.struct.functional.dsl.SubDataPropertyOf.html#pyobo.struct.functional.dsl.SubDataPropertyOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A data property axiom for `9.3.1 \"Data Subproperties\" <https://www.w3.org/TR/owl2-syntax/#Data_Subproperties>`_."]; "DataPropertyAxiom" -> "SubDataPropertyOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SubObjectPropertyOf" [URL="api/pyobo.struct.functional.dsl.SubObjectPropertyOf.html#pyobo.struct.functional.dsl.SubObjectPropertyOf",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.1 \"Object Subproperties\" <https://www.w3.org/TR/owl2-syntax/#Object_Subproperties>`_."]; "ObjectPropertyAxiom" -> "SubObjectPropertyOf" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SymmetricObjectProperty" [URL="api/pyobo.struct.functional.dsl.SymmetricObjectProperty.html#pyobo.struct.functional.dsl.SymmetricObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.11 \"Symmetric Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Symmetric_Object_Properties>`_."]; "_UnaryObjectProperty" -> "SymmetricObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "TransitiveObjectProperty" [URL="api/pyobo.struct.functional.dsl.TransitiveObjectProperty.html#pyobo.struct.functional.dsl.TransitiveObjectProperty",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="An object property axiom defined in `9.2.13 \"Transitive Object Properties\" <https://www.w3.org/TR/owl2-syntax/#Transitive_Object_Properties>`_."]; "_UnaryObjectProperty" -> "TransitiveObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_BaseDataPropertyAssertion" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for positive and negative data property assertion axioms."]; "Assertion" -> "_BaseDataPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_BaseObjectPropertyAssertion" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for positive and negative object property assertion axioms."]; "Assertion" -> "_BaseObjectPropertyAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_Cardinality" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A helper class for object and data cardinality constraints."]; "ClassExpression" -> "_Cardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_DataCardinality" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for data cardinality models."]; "_Cardinality" -> "_DataCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_DataPropertyList" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A model for a data property axiom that takes a list of data property expressions."]; "DataPropertyAxiom" -> "_DataPropertyList" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_DataPropertyTyping" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An axiom that represents the range or domain of a data property."]; "DataPropertyAxiom" -> "_DataPropertyTyping" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_DataValuesFrom" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A class expression defined in https://www.w3.org/TR/owl2-syntax/#Existential_Quantification_2."]; "ClassExpression" -> "_DataValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_IndividualListAssertion" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for individual equality and inequality axioms."]; "Assertion" -> "_IndividualListAssertion" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ListDataRange" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An abstract model for data intersection and union expressions."]; "DataRange" -> "_ListDataRange" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ObjectCardinality" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for object cardinality models."]; "_Cardinality" -> "_ObjectCardinality" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ObjectList" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An abstract model for class expressions defined by lists."]; "ClassExpression" -> "_ObjectList" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ObjectPropertyList" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A model for an object property axiom that accepts a list of object property expressions."]; "ObjectPropertyAxiom" -> "_ObjectPropertyList" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ObjectPropertyTyping" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An object property axiom for a range or domain."]; "ObjectPropertyAxiom" -> "_ObjectPropertyTyping" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_ObjectValuesFrom" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled"]; "ClassExpression" -> "_ObjectValuesFrom" [arrowsize=0.5,style="setlinewidth(0.5)"]; "_UnaryObjectProperty" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A grouping class for object property axioms with a single argument."]; "ObjectPropertyAxiom" -> "_UnaryObjectProperty" [arrowsize=0.5,style="setlinewidth(0.5)"]; }

pyobo.struct.functional.macros Module

Macros over functional OWL.

This module contains classes that are extensions to functional OWL that reflect common usage.

Classes

AltMacro(subject, target)	A macro for alternate ID assertion.
DescriptionMacro(subject, value, *[, ...])	A macro for description string assertion.
IsAnonymousMacro(subject[, value])	A macro for an "is anonymous" assertion.
IsObsoleteMacro(subject[, value])	A macro for obsoletion assertion.
LabelMacro(subject, value, *[, language, ...])	A macro for label string assertion.
MappingMacro(subject, predicate, target, *)	A macro for mapping assertion.
RelationshipMacro(s, p, o, *[, annotations])	A macro for an object-to-object relationship.
SynonymMacro(subject, value[, scope, ...])	A macro for synonym assertion.
XrefMacro(subject, target, **kwargs)	A macro for database cross-reference assertion, based on the more generic Mapping macro.

Class Inheritance Diagram

digraph inheritancee49b304834 { bgcolor=transparent; rankdir=LR; size="8.0, 12.0"; "ABC" [URL="https://docs.python.org/3/library/abc.html#abc.ABC",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="Helper class that provides a standard way to create an ABC using"]; "AltMacro" [URL="api/pyobo.struct.functional.macros.AltMacro.html#pyobo.struct.functional.macros.AltMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for alternate ID assertion."]; "ObjectAnnotationMacro" -> "AltMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "BooleanAnnotationMacro" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A macro for an annotation assertion with a boolean as its object."]; "Macro" -> "BooleanAnnotationMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Box" [URL="api/pyobo.struct.functional.dsl.Box.html#pyobo.struct.functional.dsl.Box",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A model for objects that can be represented as nodes in RDF and Functional OWL."]; "FunctionalOWLSerializable" -> "Box" [arrowsize=0.5,style="setlinewidth(0.5)"]; "RDFNodeSerializable" -> "Box" [arrowsize=0.5,style="setlinewidth(0.5)"]; "DescriptionMacro" [URL="api/pyobo.struct.functional.macros.DescriptionMacro.html#pyobo.struct.functional.macros.DescriptionMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for description string assertion."]; "StringMacro" -> "DescriptionMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "FunctionalOWLSerializable" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An object that can be serialized to functional OWL."]; "ABC" -> "FunctionalOWLSerializable" [arrowsize=0.5,style="setlinewidth(0.5)"]; "IsAnonymousMacro" [URL="api/pyobo.struct.functional.macros.IsAnonymousMacro.html#pyobo.struct.functional.macros.IsAnonymousMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for an \"is anonymous\" assertion."]; "BooleanAnnotationMacro" -> "IsAnonymousMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "IsObsoleteMacro" [URL="api/pyobo.struct.functional.macros.IsObsoleteMacro.html#pyobo.struct.functional.macros.IsObsoleteMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for obsoletion assertion."]; "BooleanAnnotationMacro" -> "IsObsoleteMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "LabelMacro" [URL="api/pyobo.struct.functional.macros.LabelMacro.html#pyobo.struct.functional.macros.LabelMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for label string assertion."]; "StringMacro" -> "LabelMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "Macro" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A macro, which wraps a more complicated set of functional OWL axioms."]; "Box" -> "Macro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "MappingMacro" [URL="api/pyobo.struct.functional.macros.MappingMacro.html#pyobo.struct.functional.macros.MappingMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for mapping assertion."]; "Macro" -> "MappingMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "ObjectAnnotationMacro" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A macro for annotation properties."]; "Macro" -> "ObjectAnnotationMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "RDFNodeSerializable" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="An object that can be serialized to RDF as a node."]; "ABC" -> "RDFNodeSerializable" [arrowsize=0.5,style="setlinewidth(0.5)"]; "RelationshipMacro" [URL="api/pyobo.struct.functional.macros.RelationshipMacro.html#pyobo.struct.functional.macros.RelationshipMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for an object-to-object relationship."]; "Macro" -> "RelationshipMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "StringMacro" [fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",tooltip="A macro for string assertion."]; "Macro" -> "StringMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "SynonymMacro" [URL="api/pyobo.struct.functional.macros.SynonymMacro.html#pyobo.struct.functional.macros.SynonymMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for synonym assertion."]; "Macro" -> "SynonymMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; "XrefMacro" [URL="api/pyobo.struct.functional.macros.XrefMacro.html#pyobo.struct.functional.macros.XrefMacro",fillcolor=white,fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans",fontsize=10,height=0.25,shape=box,style="setlinewidth(0.5),filled",target="_top",tooltip="A macro for database cross-reference assertion, based on the more generic Mapping macro."]; "MappingMacro" -> "XrefMacro" [arrowsize=0.5,style="setlinewidth(0.5)"]; }