Package org.semanticweb.owlapi.model

Interface OWLAxiomCollectionBooleanArgs

All Superinterfaces:
HasAxioms, HasAxiomsByType, HasContainsAxiom, HasImportsClosure, HasLogicalAxioms, OWLAxiomCollection
All Known Subinterfaces:
OWLMutableOntology, OWLOntology
All Known Implementing Classes:
ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl
public interface OWLAxiomCollectionBooleanArgs extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom, OWLAxiomCollection
Ontology methods related to it being a collection of axioms. This interface differs from OWLAxiomCollection because it uses booleans instead of Imports value to determine import closure inclusion.
Since:
4.0.0
Author:
ignazio

  • Method Details

    • getAxioms

      @Deprecated default Set<OWLAxiom> getAxioms(boolean b)
      Deprecated.
      use OWLAxiomCollection.axioms(Imports) instead
      Parameters:
      b - true if imports are included.
      Returns:
      All of the axioms in this collection. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxiomCount

      @Deprecated default int getAxiomCount(boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.getAxiomCount(Imports)
      Parameters:
      includeImportsClosure - if true, include imports closure.
      Returns:
      The number of axioms in this ontology, and optionally in the imports closure.

    • getLogicalAxioms

      @Deprecated default Set<OWLLogicalAxiom> getLogicalAxioms(boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.logicalAxioms(Imports)
      Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
      Parameters:
      includeImportsClosure - if true, include imports closure.
      Returns:
      A set of axioms which are of type OWLLogicalAxiom, optionally including the imports closure. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getLogicalAxiomCount

      @Deprecated default int getLogicalAxiomCount(boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.getLogicalAxiomCount(Imports)
      Gets the number of logical axioms in this collection, optionally including the imports closure.
      Parameters:
      includeImportsClosure - if true, include imports closure.
      Returns:
      The number of axioms in this collection, optionally including the imports closure.

    • getAxioms

      @Deprecated default <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(AxiomType, Imports)
      Gets all axioms of the specified type.
      Type Parameters:
      T - axiom type
      Parameters:
      axiomType - The type of axioms to be retrieved.
      includeImportsClosure - if true, include imports closure.
      Returns:
      all axioms of the specified type. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxiomCount

      @Deprecated default <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.getAxiomCount(AxiomType, Imports)
      Gets the axiom count of a specific type of axiom, optionally including the imports closure.
      Type Parameters:
      T - axiom type
      Parameters:
      axiomType - The type of axiom to count
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      The number of the specified types of axioms in this collection

    • containsAxiom

      @Deprecated default boolean containsAxiom(OWLAxiom axiom, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.containsAxiom(OWLAxiom, Imports, AxiomAnnotations)
      Determines if this ontology contains the specified axiom, optionally including the imports closure.
      Parameters:
      axiom - The axiom to search.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      true if the ontology contains the specified axiom.

    • containsAxiomIgnoreAnnotations

      @Deprecated default boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.containsAxiom(OWLAxiom, Imports, AxiomAnnotations)
      Determines if this ontology contains the specified axiom, optionally including the imports closure. Annotations are ignored when searching for the axiom. For example, if the collection contains SubClassOf(Annotation(p V) A B) then this method will return true if the ontology contains SubClassOf(A B) or SubClassOf(Annotation(q S) A B) for any annotation property q and any annotation value S.
      Parameters:
      axiom - The axiom to search.
      includeImportsClosure - if true, include imports closure.
      Returns:
      true if the ontology contains the specified axiom.

    • getAxiomsIgnoreAnnotations

      @Deprecated default Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom, Imports)
      Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.
      Parameters:
      axiom - The axiom that the returned axioms must equal, ignoring annotations.
      includeImportsClosure - if true, include imports closure.
      Returns:
      The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getReferencingAxioms

      @Deprecated default Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.referencingAxioms(OWLPrimitive, Imports)
      Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
      Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.
      Parameters:
      owlEntity - The entity that should be directly referred to by all axioms in the results set.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      All axioms referencing the entity. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLClassAxiom> getAxioms(OWLClass cls, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLClass, Imports) instead
      Gets the axioms that form the definition/description of a class.
      Parameters:
      cls - The class whose describing axioms are to be retrieved.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      A set of class axioms that describe the class. This set includes
      • Subclass axioms where the subclass is equal to the specified class
      • Equivalent class axioms where the specified class is an operand in the equivalent class axiom
      • Disjoint class axioms where the specified class is an operand in the disjoint class axiom
      • Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union
      The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLObjectPropertyExpression, Imports) instead
      Gets the axioms that form the definition/description of an object property.
      Parameters:
      property - The property whose defining axioms are to be retrieved.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      A set of object property axioms that includes
      • Sub-property axioms where the sub property is the specified property
      • Equivalent property axioms where the axiom contains the specified property
      • Equivalent property axioms that contain the inverse of the specified property
      • Disjoint property axioms that contain the specified property
      • Domain axioms that specify a domain of the specified property
      • Range axioms that specify a range of the specified property
      • Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
      • Inverse properties axioms that contain the specified property
      The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLDataProperty, Imports) instead
      Gets the axioms that form the definition/description of a data property.
      Parameters:
      property - The property whose defining axioms are to be retrieved.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      A set of data property axioms that includes
      • Sub-property axioms where the sub property is the specified property
      • Equivalent property axioms where the axiom contains the specified property
      • Disjoint property axioms that contain the specified property
      • Domain axioms that specify a domain of the specified property
      • Range axioms that specify a range of the specified property
      • Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
      The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLIndividual, Imports) instead
      Gets the axioms that form the definition/description of an individual.
      Parameters:
      individual - The individual whose defining axioms are to be retrieved.
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      A set of individual axioms that includes
      • Individual type assertions that assert the type of the specified individual
      • Same individuals axioms that contain the specified individual
      • Different individuals axioms that contain the specified individual
      • Object property assertion axioms whose subject is the specified individual
      • Data property assertion axioms whose subject is the specified individual
      • Negative object property assertion axioms whose subject is the specified individual
      • Negative data property assertion axioms whose subject is the specified individual
      The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLAnnotationProperty, Imports) instead
      Gets the axioms that form the definition/description of an annotation property.
      Parameters:
      property - The property whose definition axioms are to be retrieved
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      A set of axioms that includes
      • Annotation subpropertyOf axioms where the specified property is the sub property
      • Annotation property domain axioms that specify a domain for the specified property
      • Annotation property range axioms that specify a range for the specified property
      The set that is returned is a copy; modifications to the returned set will not be reflected in this object.

    • getAxioms

      @Deprecated default Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype, boolean includeImportsClosure)
      Deprecated.
      use OWLAxiomCollection.axioms(OWLDatatype, Imports) instead
      Gets the datatype definition axioms for the specified datatype.
      Parameters:
      datatype - The datatype
      includeImportsClosure - if INCLUDED, include imports closure.
      Returns:
      The set of datatype definition axioms for the specified datatype. The set that is returned is a copy; modifications to the returned set will not be reflected in this object.