uk.ac.manchester.cs.jfact

Class DataRangeTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.DataRangeTranslator

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

public class DataRangeTranslator
extends Object
implements org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

datarange translator

See Also:

Serialized Form

Constructor Summary

Constructors

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

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)
DataExpression	visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
DataExpression	visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
DataExpression	visit(org.semanticweb.owlapi.model.OWLDataOneOf node)
Datatype<?>	visit(org.semanticweb.owlapi.model.OWLDatatype node)
DataExpression	visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
DataExpression	visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)

Methods inherited from class java.lang.Object

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

Constructor Detail

DataRangeTranslator

public DataRangeTranslator(ExpressionCache em,
                   org.semanticweb.owlapi.model.OWLDataFactory df,
                   TranslationMachinery tr,
                   DatatypeFactory f)

Parameters:

em - em

df - df

tr - tr

f - f

Method Detail

visit

public Datatype<?> visit(org.semanticweb.owlapi.model.OWLDatatype node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

visit

public DataExpression visit(org.semanticweb.owlapi.model.OWLDataOneOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

visit

public DataExpression visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

visit

public DataExpression visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

visit

public DataExpression visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

visit

public DataExpression visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<DataExpression>

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)