uk.ac.manchester.cs.jfact.split

Class AtomicDecomposer

java.lang.Object

uk.ac.manchester.cs.jfact.split.AtomicDecomposer

@PortedFrom(file="AtomicDecomposer.h",
            name="AtomicDecomposer")
public class AtomicDecomposer
extends Object

atomical decomposer of the ontology

Constructor Summary

Constructors

Constructor and Description
AtomicDecomposer(TModularizer c)

Method Summary

Methods

Modifier and Type	Method and Description
AOStructure	getAOS()
AOStructure	getAOS(Ontology O, ModuleType t) get the atomic structure for given module type T
List<Axiom>	getTautologies()

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomicDecomposer

public AtomicDecomposer(TModularizer c)

Method Detail

getTautologies

@Original
public List<Axiom> getTautologies()

getAOS

@PortedFrom(file="AtomicDecomposer.h",
            name="getAOS")
public AOStructure getAOS()

getAOS

@PortedFrom(file="AtomicDecomposer.h",
            name="getAOS")
public AOStructure getAOS(Ontology O,
                                    ModuleType t)

get the atomic structure for given module type T