http://tpl.ottr.xyz/owl/axiom/

Metrics

Dependencies

🛈 Each graph is visualised using different layouts.Each node is linked to its documentation page. The colour of the node indicates its namespace.

Modules and packages

🛈 Dependencies between modules and packages.

Hierarchical horizontal layout (dot)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/
Hierarchical vertical layout (dot)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/
Spring model layout (neato)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/
Spring model layout (fdp)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/
Radial layout (twopi)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/
Circular layout (circo)
%3 ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ ax: http://tpl.ottr.xyz/owl/axiom/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr: http://tpl.ottr.xyz/owl/restriction/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut: http://tpl.ottr.xyz/owl/util/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ ottr:\nhttp://ns.ottr.xyz/0.4/ ottr: http://ns.ottr.xyz/0.4/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf: http://tpl.ottr.xyz/rdf/0.1/ ax:\nhttp://tpl.ottr.xyz/owl/axiom/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ rstr:\nhttp://tpl.ottr.xyz/owl/restriction/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/ o-owl-ut:\nhttp://tpl.ottr.xyz/owl/util/0.1/->o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/ o-rdf:\nhttp://tpl.ottr.xyz/rdf/0.1/->ottr:\nhttp://ns.ottr.xyz/0.4/

Templates

🛈 Dependencies between templates.

Hierarchical horizontal layout (dot)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom
Hierarchical vertical layout (dot)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom
Spring model layout (neato)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom
Spring model layout (fdp)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom
Radial layout (twopi)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom
Circular layout (circo)
%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple o-rdf:Type o-rdf:Type o-owl-ut:ValueRestriction->o-rdf:Type o-rdf:Type->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple ax:EquivalentClass->o-rdf:Type rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:DataCardinality->o-rdf:Type o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple o-owl-ut:Cardinality->o-rdf:Type ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-rdf:Type o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->o-rdf:Type rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->o-rdf:Type o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->o-rdf:Type rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->o-rdf:Type rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->o-rdf:Type rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->o-rdf:Type ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:NegativeDataPropertyAssertion->o-rdf:Type ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->o-rdf:Type ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->o-rdf:Type ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->o-rdf:Type ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:NegativeObjectPropertyAssertion->o-rdf:Type ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->o-rdf:Type ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->o-rdf:Type ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->o-rdf:Type ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->o-rdf:Type ax:EquivalentDataProperty->ax:EquivalentProperty ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->o-rdf:Type ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom

List of templates

🛈 These are the templates in this library those IRI starts with http://tpl.ottr.xyz/owl/axiom/, grouped by their namespace.

http://tpl.ottr.xyz/
owl/
axiom/
0.1/DifferentIndividualsDisjointClassesDisjointPropertiesDisjointUnionEquivAllValuesFromEquivDataAllValuesFromEquivDataExactCardinalityEquivDataHasValueEquivDataMaxCardinalityEquivDataMinCardinalityEquivDataSomeValuesFromEquivExactCardinalityEquivHasValueEquivMaxCardinalityEquivMinCardinalityEquivObjectAllValuesFromEquivObjectExactCardinalityEquivObjectHasValueEquivObjectIntersectionOfEquivObjectMaxCardinalityEquivObjectMinCardinalityEquivObjectOneOfEquivObjectSomeValuesFromEquivObjectUnionOfEquivSomeValuesFromEquivalentClassEquivalentDataPropertyEquivalentObjectPropertyEquivalentPropertyHasKeyNegativeDataPropertyAssertionNegativeObjectPropertyAssertionSubAllValuesFromSubClassOfSubDataAllValuesFromSubDataExactCardinalitySubDataHasValueSubDataMaxCardinalitySubDataMinCardinalitySubDataPropertyOfSubDataSomeValuesFromSubExactCardinalitySubHasValueSubMaxCardinalitySubMinCardinalitySubObjectAllValuesFromSubObjectExactCardinalitySubObjectHasValueSubObjectIntersectionOfSubObjectMaxCardinalitySubObjectMinCardinalitySubObjectOneOfSubObjectPropertyOfSubObjectPropertyOfChainSubObjectSomeValuesFromSubObjectUnionOfSubPropertyOfSubSomeValuesFromSuperAllValuesFromSuperDataAllValuesFromSuperDataExactCardinalitySuperDataHasValueSuperDataMaxCardinalitySuperDataMinCardinalitySuperDataSomeValuesFromSuperExactCardinalitySuperHasValueSuperMaxCardinalitySuperMinCardinalitySuperObjectAllValuesFromSuperObjectExactCardinalitySuperObjectHasValueSuperObjectIntersectionOfSuperObjectMaxCardinalitySuperObjectMinCardinalitySuperObjectOneOfSuperObjectSomeValuesFromSuperObjectUnionOfSuperSomeValuesFrom

Prefixes

🛈 Prefixes are removed from all listings on this page for readability, but are listed here in RDF Turtle format.

@prefix fmea:       <http://example.com/ns/asset-maintenance/fmea/>.
@prefix x:          <http://example.ottr.xyz/argument/>.
@prefix ottr:       <http://ns.ottr.xyz/0.4/>.
@prefix dc:         <http://purl.org/dc/elements/1.1/>.
@prefix pav:        <http://purl.org/pav/>.
@prefix ax:         <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ax:   <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-dec:  <http://tpl.ottr.xyz/owl/declaration/0.1/>.
@prefix o-owl-ma:   <http://tpl.ottr.xyz/owl/macro/0.1/>.
@prefix rstr:       <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-re:   <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-ut:   <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix fmea-tmp:   <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/>.
@prefix tmp1:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.1/>.
@prefix tmp2:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix tmp:        <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix inter:      <http://tpl.ottr.xyz/p/asset-maintenance/interface/0.2/>.
@prefix iso-tmp:    <http://tpl.ottr.xyz/p/asset-maintenance/iso14224/0.2/>.
@prefix macro:      <http://tpl.ottr.xyz/p/asset-maintenance/owl/macro/0.1/>.
@prefix ont:        <http://tpl.ottr.xyz/p/asset-maintenance/owl/ontology/0.1/>.
@prefix wo-tmp:     <http://tpl.ottr.xyz/p/asset-maintenance/work-orders/0.1/>.
@prefix o-docttr:   <http://tpl.ottr.xyz/p/docttr/0.1/>.
@prefix o-pizza:    <http://tpl.ottr.xyz/p/pizza/0.2/>.
@prefix o-rdf:      <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix o-rdfs:     <http://tpl.ottr.xyz/rdfs/0.2/>.
@prefix pz:         <http://www.co-ode.org/ontologies/pizza/pizza.owl#>.
@prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs:       <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd:        <http://www.w3.org/2001/XMLSchema#>.
@prefix owl:        <http://www.w3.org/2002/07/owl#>.
@prefix skos:       <http://www.w3.org/2004/02/skos/core#>.