de.tudresden.inf.lat.jcel.ontology.normalization
Class ObjectPropertyIdFinder
java.lang.Object
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
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.