uk.ac.manchester.cs.jfact.split

Class TModularizer

java.lang.Object

uk.ac.manchester.cs.jfact.split.TModularizer

All Implemented Interfaces:

Serializable

@PortedFrom(file="Modularity.h",
            name="TModularizer")
public class TModularizer
extends Object
implements Serializable

class to create modules of an ontology wrt module type

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TModularizer(JFactReasonerConfiguration config, LocalityChecker c) init c'tor

Method Summary

Methods

Modifier and Type	Method and Description
void	extract(AxiomInterface begin, TSignature signature, ModuleType type)
void	extract(Collection<AxiomInterface> begin, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)
List<AxiomInterface>	extractModule(List<AxiomInterface> list, TSignature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from O;
LocalityChecker	getLocalityChecker()
List<AxiomInterface>	getModule()
long	getNChecks()
SigIndex	getSigIndex()
TSignature	getSignature()
boolean	isTautology(AxiomInterface ax, ModuleType type)
void	preprocessOntology(Collection<AxiomInterface> vec) allow the checker to preprocess an ontology if necessary

Methods inherited from class java.lang.Object

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

Constructor Detail

TModularizer

public TModularizer(JFactReasonerConfiguration config,
            LocalityChecker c)

init c'tor

Parameters:

config - config

c - c

Method Detail

preprocessOntology

@PortedFrom(file="Modularity.h",
            name="preprocessOntology")
public void preprocessOntology(Collection<AxiomInterface> vec)

allow the checker to preprocess an ontology if necessary

Parameters:

vec - vec

isTautology

@PortedFrom(file="Modularity.h",
            name="isTautology")
public boolean isTautology(AxiomInterface ax,
                                     ModuleType type)

Parameters:

ax - ax

type - type

Returns:

true iff the axiom AX is a tautology wrt given type

getSigIndex

@PortedFrom(file="Modularity.h",
            name="getSigIndex")
public SigIndex getSigIndex()

Returns:

sigIndex (mainly to (un-)register axioms on the fly)

getLocalityChecker

@PortedFrom(file="Modularity.h",
            name="getLocalityChecker")
public LocalityChecker getLocalityChecker()

Returns:

Locality checker

extract

@PortedFrom(file="Modularity.h",
            name="extract")
public void extract(AxiomInterface begin,
                              TSignature signature,
                              ModuleType type)

Parameters:

begin - begin

signature - signature

type - type

extract

@PortedFrom(file="Modularity.h",
            name="extract")
public void extract(Collection<AxiomInterface> begin,
                              TSignature signature,
                              ModuleType type)

extract module wrt SIGNATURE and TYPE from the set of axioms [BEGIN,END)

Parameters:

begin - begin

signature - signature

type - type

getNChecks

@PortedFrom(file="Modularity.h",
            name="getNChecks")
public long getNChecks()

Returns:

get number of checks made

extractModule

@PortedFrom(file="Modularity.h",
            name="extractModule")
public List<AxiomInterface> extractModule(List<AxiomInterface> list,
                                                    TSignature signature,
                                                    ModuleType type)

extract module wrt SIGNATURE and TYPE from O;

Parameters:

list - list

signature - signature

type - type

Returns:

result in the Set

getModule

@PortedFrom(file="Modularity.h",
            name="getModule")
public List<AxiomInterface> getModule()

Returns:

the last computed module

getSignature

@PortedFrom(file="Modularity.h",
            name="getSignature")
public TSignature getSignature()

Returns:

signature