de.tudresden.inf.lat.jcel.reasoner.module
Class ClassModuleProcessor

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
All Implemented Interfaces:
de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

public class ClassModuleProcessor
extends Object
implements de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

An object of this class classifies an ontology. It divides a set of axioms in subsets such that they have disjoint sets of classes. These subsets are called modules. If two classes share at least one axiom, they are in the same module. Axioms without classes are in all the modules.
After classifying each module, the processor creates a set of axioms which is the result of the classification. After classifying all modules, it classifies the accumulated set of axioms.

Author:
Julian Mendez

Constructor Summary
ClassModuleProcessor(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axiomSet, de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory axFactory, ModuleProcessorFactory procFactory)
          Constructs a class module processor.
 
Method Summary
 de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getClassHierarchy()
           
 de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getDataPropertyHierarchy()
           
 Map<Integer,Set<Integer>> getDirectTypes()
           
 de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getObjectPropertyHierarchy()
           
 Map<Integer,Set<Integer>> getSameIndividualMap()
           
 boolean isReady()
           
 boolean process()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClassModuleProcessor

public ClassModuleProcessor(Set<de.tudresden.inf.lat.jcel.ontology.axiom.complex.ComplexIntegerAxiom> axiomSet,
                            de.tudresden.inf.lat.jcel.ontology.axiom.extension.IntegerOntologyObjectFactory axFactory,
                            ModuleProcessorFactory procFactory)
Constructs a class module processor. It uses an auxiliary processor to classify each module.

Parameters:
axiomSet - set of axioms
procFactory - factory to create the auxiliary processor
Method Detail

getClassHierarchy

public de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getClassHierarchy()
Specified by:
getClassHierarchy in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

getDataPropertyHierarchy

public de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getDataPropertyHierarchy()
                                                                                       throws de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException
Specified by:
getDataPropertyHierarchy in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor
Throws:
de.tudresden.inf.lat.jcel.core.algorithm.common.UnclassifiedOntologyException

getDirectTypes

public Map<Integer,Set<Integer>> getDirectTypes()
Specified by:
getDirectTypes in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

getObjectPropertyHierarchy

public de.tudresden.inf.lat.jcel.core.graph.IntegerHierarchicalGraph getObjectPropertyHierarchy()
Specified by:
getObjectPropertyHierarchy in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

getSameIndividualMap

public Map<Integer,Set<Integer>> getSameIndividualMap()
Specified by:
getSameIndividualMap in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

isReady

public boolean isReady()
Specified by:
isReady in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor

process

public boolean process()
Specified by:
process in interface de.tudresden.inf.lat.jcel.core.algorithm.common.Processor


Copyright © 2012. All Rights Reserved.