Uses of Interface
org.semanticweb.owlapi.model.OWLIndividualAxiom

Packages that use OWLIndividualAxiom

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.util

Uses of OWLIndividualAxiom in org.semanticweb.owlapi.model

Subinterfaces of OWLIndividualAxiom in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLClassAssertionAxiom Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLDataPropertyAssertionAxiom Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLNaryIndividualAxiom
interface	OWLNegativeDataPropertyAssertionAxiom Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression<?,?>,O extends OWLPropertyAssertionObject>
interface	OWLSameIndividualAxiom Represents an SameIndividual axiom in the OWL 2 Specification.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLIndividualAxiom

Modifier and Type	Method and Description
Set<OWLIndividualAxiom>	OWLOntology.getAxioms(OWLIndividual individual) Gets the axioms that form the definition/description of an individual.

Uses of OWLIndividualAxiom in org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.util with type parameters of type OWLIndividualAxiom

Modifier and Type	Class and Description
class	InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom>