uk.ac.manchester.cs.jfact

Class ClassExpressionTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.ClassExpressionTranslator

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>, org.semanticweb.owlapi.model.OWLClassVisitorExBase<ConceptExpression>, org.semanticweb.owlapi.model.OWLVisitorExBase<ConceptExpression>

public class ClassExpressionTranslator
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

class expression translator

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ClassExpressionTranslator(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)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLClass desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
ConceptExpression	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorExBase

doDefault

Constructor Detail

ClassExpressionTranslator

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

Parameters:

em - em

df - df

tr - tr

Method Detail

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLClass desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassVisitorExBase<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

visit

public ConceptExpression visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<ConceptExpression>

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)