Package 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:
IRI
public interface HasIndividualsInSignature
Since:
3.4.6
Author:
Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group

  • Method Details

    • getIndividualsInSignature

      default Set<OWLNamedIndividual> getIndividualsInSignature()
      A convenience method that obtains the individuals that are in the signature of this object. The default implementation of this method returns an empty, modifiable set.
      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.

    • individualsInSignature

      default Stream<OWLNamedIndividual> individualsInSignature()
      Returns:
      Stream containing the individuals that are in the signature of this object.