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 and Description
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 or not the axiom base of this ModuleExtractor contains the given OWLAxiom.
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).
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.
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).
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 Detail

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 or not 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