uk.ac.manchester.cs.jfact

Class DataPropertyTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.DataPropertyTranslator

All Implemented Interfaces:

Serializable

public class DataPropertyTranslator
extends Object

data property translator

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DataPropertyTranslator

public DataPropertyTranslator(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

public T getPointerFromEntity(E entity)

node

public org.semanticweb.owlapi.reasoner.Node<E> node(Stream<T> pointers)

nodeSet

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