Package org.semanticweb.owlapi.modularity

Class AbstractModuleExtractor

java.lang.Object
org.semanticweb.owlapi.modularity.AbstractModuleExtractor
All Implemented Interfaces:
ModuleExtractor
public abstract class AbstractModuleExtractor extends Object implements ModuleExtractor
Abstract class for convenience implementation of ModuleExtractors able of precomputing global axioms and tautologies.
Author:
Marc Robin Nolte

  • Method Summary

    Modifier and Type
    Method
    Description
    final Stream<OWLAxiom>
    axiomBase()
    Return the axioms all modules of this ModuleExtractor are computed against, including global axioms and tautologies.
    boolean
    containsAxiom(OWLAxiom axiom)
    Returns whether the axiom base of this ModuleExtractor contains the given OWLAxiom.
    final boolean
    everyModuleContains(OWLAxiom axiom)
    Returns true if it is guaranteed that the given OWLAxiom is contained in every module calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module regardless of other axioms or the signature that does not contain the given axiom).
    final Stream<OWLAxiom>
    globals()
    Returns from the axiom base of this extractor exactly those that are guaranteed to be contained in every module calculated by this ModuleExtractor.
    final boolean
    noModuleContains(OWLAxiom axiom)
    Returns true if it is guaranteed that the given OWLAxiom is not contained in any module (regardless of other axioms or the signature) calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module that contains the given axiom).
    final Stream<OWLAxiom>
    tautologies()
    Returns from the axiom base of this extractor exactly those that are guaranteed not to be contained in any module calculated by this ModuleExtractor.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface org.semanticweb.owlapi.modularity.ModuleExtractor

    extract, extract, extract, extractAsOntology

  • Method Details

    • axiomBase

      @Nonnull public final Stream<OWLAxiom> axiomBase()
      Description copied from interface: ModuleExtractor
      Return the axioms all modules of this ModuleExtractor are computed against, including global axioms and tautologies.
      Specified by:
      axiomBase in interface ModuleExtractor
      Returns:
      The axioms as specified above

    • containsAxiom

      public boolean containsAxiom(OWLAxiom axiom)
      Description copied from interface: ModuleExtractor
      Returns whether the axiom base of this ModuleExtractor contains the given OWLAxiom.
      Specified by:
      containsAxiom in interface ModuleExtractor
      Parameters:
      axiom - The axiom to test
      Returns:
      A boolean value as specified above

    • everyModuleContains

      public final boolean everyModuleContains(OWLAxiom axiom)
      Description copied from interface: ModuleExtractor
      Returns true if it is guaranteed that the given OWLAxiom is contained in every module calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module regardless of other axioms or the signature that does not contain the given axiom). This methods returning true implies that ModuleExtractor.noModuleContains(OWLAxiom) returns false for the same axiom.
      Specified by:
      everyModuleContains in interface ModuleExtractor
      Parameters:
      axiom - The OWLAxiom to check
      Returns:
      A boolean value as specified above

    • globals

      @Nonnull public final Stream<OWLAxiom> globals()
      Description copied from interface: ModuleExtractor
      Returns from the axiom base of this extractor exactly those that are guaranteed to be contained in every module calculated by this ModuleExtractor. These axioms may be precomputed or calculated on every call of this method.
      Specified by:
      globals in interface ModuleExtractor
      Returns:
      The axioms as specified above

    • noModuleContains

      public final boolean noModuleContains(OWLAxiom axiom)
      Description copied from interface: ModuleExtractor
      Returns true if it is guaranteed that the given OWLAxiom is not contained in any module (regardless of other axioms or the signature) calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module that contains the given axiom). This methods returning true implies that ModuleExtractor.everyModuleContains(OWLAxiom) returns false for the same axiom.
      Specified by:
      noModuleContains in interface ModuleExtractor
      Parameters:
      axiom - The OWLAxiom to check
      Returns:
      A boolean value as specified above

    • tautologies

      @Nonnull public final Stream<OWLAxiom> tautologies()
      Description copied from interface: ModuleExtractor
      Returns from the axiom base of this extractor exactly those that are guaranteed not to be contained in any module calculated by this ModuleExtractor. These axioms may be precomputed or calculated on every call of this method.
      Specified by:
      tautologies in interface ModuleExtractor
      Returns:
      The axioms as specified above