uk.ac.manchester.cs.jfact

Class ObjectPropertyTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.ObjectPropertyTranslator

All Implemented Interfaces:

Serializable

public class ObjectPropertyTranslator
extends Object

object property translator

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ObjectPropertyTranslator(ExpressionCache em, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)

Method Summary

Methods

Modifier and Type	Method and Description
E	getEntityFromPointer(T pointer)
T	getPointerFromEntity(E entity)
org.semanticweb.owlapi.reasoner.Node<E>	node(Collection<T> pointers)
org.semanticweb.owlapi.reasoner.NodeSet<E>	nodeSet(Collection<Collection<T>> pointers)

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectPropertyTranslator

public ObjectPropertyTranslator(ExpressionCache em,
                        org.semanticweb.owlapi.model.OWLDataFactory df,
                        TranslationMachinery tr)

Parameters:

em - em

df - df

tr - tr

Method Detail

getEntityFromPointer

public E getEntityFromPointer(T pointer)

getPointerFromEntity

@Nonnull
public T getPointerFromEntity(E entity)

node

@Nonnull
public org.semanticweb.owlapi.reasoner.Node<E> node(Collection<T> pointers)

nodeSet

@Nonnull
public org.semanticweb.owlapi.reasoner.NodeSet<E> nodeSet(Collection<Collection<T>> pointers)