org.semanticweb.owlapi.model

Interface HasIndividualsInSignature

All Known Subinterfaces:

OWLAnnotation, OWLAnnotationAssertionAxiom, OWLAnnotationAxiom, OWLAnnotationObject, OWLAnnotationProperty, OWLAnnotationPropertyDomainAxiom, OWLAnnotationPropertyRangeAxiom, OWLAnnotationSubject, OWLAnnotationValue, OWLAnonymousClassExpression, OWLAnonymousIndividual, OWLAsymmetricObjectPropertyAxiom, OWLAxiom, OWLBooleanClassExpression, OWLCardinalityRestriction<F>, OWLClass, OWLClassAssertionAxiom, OWLClassAxiom, OWLClassExpression, OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataComplementOf, OWLDataExactCardinality, OWLDataHasValue, OWLDataIntersectionOf, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataOneOf, OWLDataProperty, OWLDataPropertyAssertionAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLDataPropertyDomainAxiom, OWLDataPropertyExpression, OWLDataPropertyRangeAxiom, OWLDataRange, OWLDataRestriction, OWLDataSomeValuesFrom, OWLDatatype, OWLDatatypeDefinitionAxiom, OWLDatatypeRestriction, OWLDataUnionOf, OWLDeclarationAxiom, OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLDisjointUnionAxiom, OWLEntity, OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLFacetRestriction, OWLFunctionalDataPropertyAxiom, OWLFunctionalObjectPropertyAxiom, OWLHasKeyAxiom, OWLHasValueRestriction<V>, OWLIndividual, OWLIndividualAxiom, OWLInverseFunctionalObjectPropertyAxiom, OWLInverseObjectPropertiesAxiom, OWLIrreflexiveObjectPropertyAxiom, OWLLiteral, OWLLogicalAxiom, OWLLogicalEntity, OWLMutableOntology, OWLNamedIndividual, OWLNamedObject, OWLNaryAxiom<C>, OWLNaryBooleanClassExpression, OWLNaryClassAxiom, OWLNaryDataRange, OWLNaryIndividualAxiom, OWLNaryPropertyAxiom<P>, OWLNegativeDataPropertyAssertionAxiom, OWLNegativeObjectPropertyAssertionAxiom, OWLObject, OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectComplementOf, OWLObjectExactCardinality, OWLObjectHasSelf, OWLObjectHasValue, OWLObjectIntersectionOf, OWLObjectInverseOf, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectOneOf, OWLObjectProperty, OWLObjectPropertyAssertionAxiom, OWLObjectPropertyAxiom, OWLObjectPropertyCharacteristicAxiom, OWLObjectPropertyDomainAxiom, OWLObjectPropertyExpression, OWLObjectPropertyRangeAxiom, OWLObjectRestriction, OWLObjectSomeValuesFrom, OWLObjectUnionOf, OWLOntology, OWLPrimitive, OWLProperty, OWLPropertyAssertionAxiom<P,O>, OWLPropertyAssertionObject, OWLPropertyAxiom, OWLPropertyDomain, OWLPropertyDomainAxiom<P>, OWLPropertyExpression, OWLPropertyRange, OWLPropertyRangeAxiom<P,R>, OWLQuantifiedDataRestriction, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<F>, OWLReflexiveObjectPropertyAxiom, OWLRestriction, OWLSameIndividualAxiom, OWLSignature, OWLSignatureBooleanArgs, OWLSubAnnotationPropertyOfAxiom, OWLSubClassOfAxiom, OWLSubDataPropertyOfAxiom, OWLSubObjectPropertyOfAxiom, OWLSubPropertyAxiom<P>, OWLSubPropertyChainOfAxiom, OWLSymmetricObjectPropertyAxiom, OWLTransitiveObjectPropertyAxiom, OWLUnaryPropertyAxiom<P>, SWRLArgument, SWRLAtom, SWRLBinaryAtom<A,B>, SWRLBuiltInAtom, SWRLClassAtom, SWRLDArgument, SWRLDataPropertyAtom, SWRLDataRangeAtom, SWRLDifferentIndividualsAtom, SWRLIArgument, SWRLIndividualArgument, SWRLLiteralArgument, SWRLObject, SWRLObjectPropertyAtom, SWRLRule, SWRLSameIndividualAtom, SWRLUnaryAtom<A>, SWRLVariable

All Known Implementing Classes:

ConcurrentOWLOntologyImpl, IRI, OWL2DatatypeImpl, OWLAnnotationAssertionAxiomImpl, OWLAnnotationImpl, OWLAnnotationPropertyDomainAxiomImpl, OWLAnnotationPropertyImpl, OWLAnnotationPropertyRangeAxiomImpl, OWLAnonymousClassExpressionImpl, OWLAnonymousIndividualImpl, OWLAsymmetricObjectPropertyAxiomImpl, OWLAxiomImplWithEntityAndAnonCaching, OWLAxiomImplWithoutEntityAndAnonCaching, OWLAxiomIndexImpl, OWLCardinalityRestrictionImpl, OWLClassAssertionAxiomImpl, OWLClassAxiomImpl, OWLClassExpressionImpl, OWLClassImpl, OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataComplementOfImpl, OWLDataExactCardinalityImpl, OWLDataHasValueImpl, OWLDataIntersectionOfImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataOneOfImpl, OWLDataPropertyAssertionAxiomImpl, OWLDataPropertyCharacteristicAxiomImpl, OWLDataPropertyDomainAxiomImpl, OWLDataPropertyImpl, OWLDataPropertyRangeAxiomImpl, OWLDataSomeValuesFromImpl, OWLDatatypeDefinitionAxiomImpl, OWLDatatypeImpl, OWLDatatypeRestrictionImpl, OWLDataUnionOfImpl, OWLDeclarationAxiomImpl, OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLDisjointUnionAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLFacetRestrictionImpl, OWLFunctionalDataPropertyAxiomImpl, OWLFunctionalObjectPropertyAxiomImpl, OWLHasKeyAxiomImpl, OWLImmutableOntologyImpl, OWLIndividualAxiomImplWithEntityAndAnonCaching, OWLIndividualAxiomImplWithoutEntityAndAnonCaching, OWLIndividualImpl, OWLIndividualRelationshipAxiomImpl, OWLInverseFunctionalObjectPropertyAxiomImpl, OWLInverseObjectPropertiesAxiomImpl, OWLIrreflexiveObjectPropertyAxiomImpl, OWLLiteralImpl, OWLLiteralImplBoolean, OWLLiteralImplDouble, OWLLiteralImplFloat, OWLLiteralImplInteger, OWLLiteralImplNoCompression, OWLLiteralImplPlain, OWLLiteralImplString, OWLLogicalAxiomImplWithEntityAndAnonCaching, OWLLogicalAxiomImplWithoutEntityAndAnonCaching, OWLNamedIndividualImpl, OWLNaryBooleanClassExpressionImpl, OWLNaryClassAxiomImpl, OWLNaryDataRangeImpl, OWLNaryIndividualAxiomImpl, OWLNaryPropertyAxiomImpl, OWLNegativeDataPropertyAssertionAxiomImpl, OWLNegativeObjectPropertyAssertionAxiomImpl, OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectComplementOfImpl, OWLObjectExactCardinalityImpl, OWLObjectHasSelfImpl, OWLObjectHasValueImpl, OWLObjectImplWithEntityAndAnonCaching, OWLObjectImplWithoutEntityAndAnonCaching, OWLObjectIntersectionOfImpl, OWLObjectInverseOfImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectOneOfImpl, OWLObjectPropertyAssertionAxiomImpl, OWLObjectPropertyCharacteristicAxiomImpl, OWLObjectPropertyDomainAxiomImpl, OWLObjectPropertyExpressionImpl, OWLObjectPropertyImpl, OWLObjectPropertyRangeAxiomImpl, OWLObjectSomeValuesFromImpl, OWLObjectUnionOfImpl, OWLOntologyImpl, OWLPropertyAxiomImplWithEntityAndAnonCaching, OWLPropertyAxiomImplWithoutEntityAndAnonCaching, OWLPropertyDomainAxiomImpl, OWLPropertyExpressionImpl, OWLPropertyRangeAxiomImpl, OWLQuantifiedDataRestrictionImpl, OWLQuantifiedObjectRestrictionImpl, OWLQuantifiedRestrictionImpl, OWLReflexiveObjectPropertyAxiomImpl, OWLRestrictionImpl, OWLSameIndividualAxiomImpl, OWLSubAnnotationPropertyOfAxiomImpl, OWLSubClassOfAxiomImpl, OWLSubDataPropertyOfAxiomImpl, OWLSubObjectPropertyOfAxiomImpl, OWLSubPropertyAxiomImpl, OWLSubPropertyChainAxiomImpl, OWLSymmetricObjectPropertyAxiomImpl, OWLTransitiveObjectPropertyAxiomImpl, OWLUnaryPropertyAxiomImpl, OWLValueRestrictionImpl, SWRLAtomImpl, SWRLBinaryAtomImpl, SWRLBuiltInAtomImpl, SWRLClassAtomImpl, SWRLDataPropertyAtomImpl, SWRLDataRangeAtomImpl, SWRLDifferentIndividualsAtomImpl, SWRLIndividualArgumentImpl, SWRLLiteralArgumentImpl, SWRLObjectPropertyAtomImpl, SWRLRuleImpl, SWRLSameIndividualAtomImpl, SWRLUnaryAtomImpl, SWRLVariableImpl

public interface HasIndividualsInSignature

Since:

3.4.6

Author:

Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group

Method Summary

Modifier and Type	Method and Description
Set<OWLNamedIndividual>	getIndividualsInSignature() A convenience method that obtains the individuals that are in the signature of this object

Method Detail

getIndividualsInSignature

@Nonnull
Set<OWLNamedIndividual> getIndividualsInSignature()

A convenience method that obtains the individuals that are in the signature of this object

Returns:

A set containing the individuals that are in the signature of this object.The set is a subset of the signature, and is not backed by the signature; it is a modifiable collection and changes are not reflected by the signature.