de.tudresden.inf.lat.jcel.ontology.normalization
Class ObjectPropertyIdFinder

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.ontology.normalization.ObjectPropertyIdFinder
All Implemented Interfaces:
IntegerObjectPropertyExpressionVisitor<Integer>

public class ObjectPropertyIdFinder
extends Object
implements IntegerObjectPropertyExpressionVisitor<Integer>

An object of this class is a normalizer for inverse object properties.

Author:
Julian Mendez

Constructor Summary
ObjectPropertyIdFinder(de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager manager)
          Constructs a new normalizer for inverse object properties.
 
Method Summary
 de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager getIdGenerator()
           
 Set<de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom> getRequiredAxioms()
           
 Integer visit(IntegerObjectInverseOf objectPropertyExpression)
           
 Integer visit(IntegerObjectProperty objectPropertyExpression)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ObjectPropertyIdFinder

public ObjectPropertyIdFinder(de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager manager)
Constructs a new normalizer for inverse object properties. During the process of normalization, some auxiliary inverse object properties may be created.

Parameters:
manager - entity manager
Method Detail

getIdGenerator

public de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerEntityManager getIdGenerator()

getRequiredAxioms

public Set<de.tudresden.inf.lat.jcel.coreontology.axiom.NormalizedIntegerAxiom> getRequiredAxioms()

visit

public Integer visit(IntegerObjectInverseOf objectPropertyExpression)
Specified by:
visit in interface IntegerObjectPropertyExpressionVisitor<Integer>

visit

public Integer visit(IntegerObjectProperty objectPropertyExpression)
Specified by:
visit in interface IntegerObjectPropertyExpressionVisitor<Integer>


Copyright © 2012. All Rights Reserved.