de.tudresden.inf.lat.jcel.reasoner.module
Class ClassModuleProcessor
java.lang.Object
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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 axiomsprocFactory
- factory to create the auxiliary processor
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.