@ParametersAreNonnullByDefault

Package org.semanticweb.owlapi.model.axiomproviders

Axiom provider classes.

See: Description

Interface Summary

Interface	Description
DeclarationAxiomProvider	Declaration provider interface.
DisjointAxiomProvider	Disjoint classes and properties provider.
DisjointUnionAxiomProvider	Disjoint union provider.
DomainAxiomProvider	Annotation, datatype and object property domain provider.
EquivalentAxiomProvider	Equivalent classes and properties provider.
HasKeyAxiomProvider	HasKey provider interface.
InverseAxiomProvider	Inverse axiom provider interface.
PropertyChainAxiomProvider	Annotation, datatype and object property range provider.
PropertyCharacteristicAxiomProvider	Property characteristic axioms provider (functional, transitive, etc.).
RangeAxiomProvider	Annotation, datatype and object property range provider.
SubAxiomProvider	Annotation, datatype and object property range provider.

Package org.semanticweb.owlapi.model.axiomproviders Description

Axiom provider classes.