Package org.semanticweb.owlapi.model

Interface OWLSignature

All Superinterfaces:
HasAnnotationPropertiesInSignature, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasGetEntitiesInSignature, HasImportsClosure, HasIndividualsInSignature, HasObjectPropertiesInSignature
All Known Subinterfaces:
OWLMutableOntology, OWLOntology, OWLSignatureBooleanArgs
All Known Implementing Classes:
ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl
public interface OWLSignature extends HasGetEntitiesInSignature, HasClassesInSignature, HasAnnotationPropertiesInSignature, HasObjectPropertiesInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasContainsEntityInSignature, HasImportsClosure
Ontology methods related to its signature.
Since:
4.0.0
Author:
ignazio

  • Method Details

    • getClassesInSignature

      default Set<OWLClass> getClassesInSignature(Imports imports)
      Gets the classes in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the set of classes in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • classesInSignature

      default Stream<OWLClass> classesInSignature(Imports imports)
      Gets the classes in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of classes in the signature, optionally including the import closure.

    • getObjectPropertiesInSignature

      default Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports includeImportsClosure)
      Gets the object properties in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of object properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • objectPropertiesInSignature

      default Stream<OWLObjectProperty> objectPropertiesInSignature(Imports imports)
      Gets the object properties in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of object properties in the signature, optionally including the import closure.

    • getDataPropertiesInSignature

      default Set<OWLDataProperty> getDataPropertiesInSignature(Imports includeImportsClosure)
      Gets the data properties in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of data properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • dataPropertiesInSignature

      default Stream<OWLDataProperty> dataPropertiesInSignature(Imports imports)
      Gets the data properties in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of data properties in the signature, optionally including the import closure.

    • getIndividualsInSignature

      default Set<OWLNamedIndividual> getIndividualsInSignature(Imports includeImportsClosure)
      Gets the named individuals in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of individuals in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • individualsInSignature

      default Stream<OWLNamedIndividual> individualsInSignature(Imports imports)
      Gets the named individuals in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of individuals in the signature, optionally including the import closure.

    • getReferencedAnonymousIndividuals

      default Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports includeImportsClosure)
      Gets the referenced anonymous individuals in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      The set of referenced anonymous individuals. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • referencedAnonymousIndividuals

      default Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals(Imports imports)
      Gets the referenced anonymous individuals in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      The stream of referenced anonymous individuals

    • getReferencedAnonymousIndividuals

      default Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
      Gets the referenced anonymous individuals.
      Returns:
      The set of referenced anonymous individuals. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • referencedAnonymousIndividuals

      Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()
      Gets the referenced anonymous individuals.
      Returns:
      Sorted stream of referenced anonymous individuals

    • getDatatypesInSignature

      default Set<OWLDatatype> getDatatypesInSignature(Imports includeImportsClosure)
      Gets the datatypes in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of datatypes in the signature of this ontology, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • datatypesInSignature

      default Stream<OWLDatatype> datatypesInSignature(Imports imports)
      Gets the datatypes in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of datatypes in the signature of this ontology, optionally including the import closure.

    • getAnnotationPropertiesInSignature

      default Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports includeImportsClosure)
      Gets the annotation properties in the signature and optionally the imports closure.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of annotation properties in the signature, optionally including the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • annotationPropertiesInSignature

      default Stream<OWLAnnotationProperty> annotationPropertiesInSignature(Imports imports)
      Gets the annotation properties in the signature and optionally the imports closure.
      Parameters:
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of annotation properties in the signature, optionally including the import closure.

    • containsEntityInSignature

      default boolean containsEntityInSignature(OWLEntity owlEntity, Imports imports)
      Determines if the signature contains the specified entity.
      Parameters:
      owlEntity - The entity
      imports - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains a reference to the specified entity.

    • containsEntityInSignature

      default boolean containsEntityInSignature(IRI entityIRI, Imports imports)
      Determines if the signature contains an entity with the specified IRI.
      Parameters:
      entityIRI - The IRI to test for.
      imports - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains an entity with the specified IRI.

    • containsClassInSignature

      boolean containsClassInSignature(IRI owlClassIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLClass that has the specified IRI.
      Parameters:
      owlClassIRI - The IRI of the class to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains an entity with the specified IRI.

    • containsObjectPropertyInSignature

      boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLObjectProperty that has the specified IRI.
      Parameters:
      owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains an object property with the specified IRI.

    • containsDataPropertyInSignature

      boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLDataProperty that has the specified IRI.
      Parameters:
      owlDataPropertyIRI - The IRI of the OWLDataProperty to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains a data property with the specified IRI.

    • containsAnnotationPropertyInSignature

      boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
      Parameters:
      owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains an annotation property with the specified IRI.

    • containsDatatypeInSignature

      boolean containsDatatypeInSignature(IRI owlDatatypeIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLDatatype that has the specified IRI.
      Parameters:
      owlDatatypeIRI - The IRI of the OWLDatatype to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains a datatype with the specified IRI.

    • containsIndividualInSignature

      boolean containsIndividualInSignature(IRI owlIndividualIRI, Imports includeImportsClosure)
      Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
      Parameters:
      owlIndividualIRI - The IRI of the OWLNamedIndividual to check for
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the signature or the import closure contains an individual with the specified IRI.

    • containsDatatypeInSignature

      boolean containsDatatypeInSignature(IRI owlDatatypeIRI)
      Determines if the signature contains an OWLDatatype that has the specified IRI.
      Parameters:
      owlDatatypeIRI - The IRI of the OWLDatatype to check for
      Returns:
      true if the signature or the import closure contains a datatype with the specified IRI.

    • containsEntityInSignature

      default boolean containsEntityInSignature(IRI entityIRI)
      Determines if the signature contains an entity with the specified IRI.
      Parameters:
      entityIRI - The IRI to test for.
      Returns:
      true if the signature or the import closure contains an entity with the specified IRI.

    • containsClassInSignature

      boolean containsClassInSignature(IRI owlClassIRI)
      Determines if the signature contains an OWLClass that has the specified IRI.
      Parameters:
      owlClassIRI - The IRI of the class to check for
      Returns:
      true if the signature or the import closure contains an entity with the specified IRI.

    • containsObjectPropertyInSignature

      boolean containsObjectPropertyInSignature(IRI owlObjectPropertyIRI)
      Determines if the signature contains an OWLObjectProperty that has the specified IRI.
      Parameters:
      owlObjectPropertyIRI - The IRI of the OWLObjectProperty to check for
      Returns:
      true if the signature or the import closure contains an object property with the specified IRI.

    • containsDataPropertyInSignature

      boolean containsDataPropertyInSignature(IRI owlDataPropertyIRI)
      Determines if the signature contains an OWLDataProperty that has the specified IRI.
      Parameters:
      owlDataPropertyIRI - The IRI of the OWLDataProperty to check for
      Returns:
      true if the signature or the import closure contains a data property with the specified IRI.

    • containsAnnotationPropertyInSignature

      boolean containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI)
      Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
      Parameters:
      owlAnnotationPropertyIRI - The IRI of the OWLAnnotationProperty to check for
      Returns:
      true if the signature or the import closure contains an annotation property with the specified IRI.

    • containsIndividualInSignature

      boolean containsIndividualInSignature(IRI owlIndividualIRI)
      Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
      Parameters:
      owlIndividualIRI - The IRI of the OWLNamedIndividual to check for
      Returns:
      true if the signature or the import closure contains an individual with the specified IRI.

    • containsEntitiesOfTypeInSignature

      default boolean containsEntitiesOfTypeInSignature(EntityType<?> type)
      Determine whether the instance has entities of the specified type in its signature - e.g., whether an ontology has classes, object properties, or named individuals in its signature. Anonymous individuals are not included.
      Parameters:
      type - type of entity to check
      Returns:
      true if entities of the specified type are in the signature

    • containsEntitiesOfTypeInSignature

      default boolean containsEntitiesOfTypeInSignature(EntityType<?> type, Imports includeImportsClosure)
      Determine whether the instance has entities of the specified type in its signature or in its import closure - e.g., whether an ontology has classes, object properties, or named individuals in its signature. Anonymous individuals are not included.
      Parameters:
      type - type of entity to check
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if entities of the specified type are in the signature

    • getEntitiesInSignature

      default Set<OWLEntity> getEntitiesInSignature(IRI iri, Imports includeImportsClosure)
      Gets the entities in the signature that have the specified IRI.
      Parameters:
      iri - The IRI of the entities to be retrieved.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      the set of entities with the specified IRI, optionally including the ones in the import closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • entitiesInSignature

      default Stream<OWLEntity> entitiesInSignature(IRI iri, Imports imports)
      Gets the entities in the signature that have the specified IRI.
      Parameters:
      iri - The IRI of the entities to be retrieved.
      imports - if INCLUDED, include imports closure.
      Returns:
      the stream of entities with the specified IRI, optionally including the ones in the import closure.

    • getPunnedIRIs

      Set<IRI> getPunnedIRIs(Imports includeImportsClosure)
      Calculates the set of IRIs that are used for more than one entity type.
      Parameters:
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      punned IRIs.

    • containsReference

      @Deprecated default boolean containsReference(OWLEntity entity, Imports imports)
      Deprecated.
      use containsEntityInSignature(OWLEntity, Imports)
      Parameters:
      entity - entity to check
      imports - if INCLUDED, include imports closure.
      Returns:
      true if entity is referenced

    • containsReference

      @Deprecated boolean containsReference(OWLEntity entity)
      Deprecated.
      use HasContainsEntityInSignature.containsEntityInSignature(OWLEntity)
      Parameters:
      entity - entity to check
      Returns:
      true if entity is referenced