uk.ac.manchester.cs.jfact

Class TranslationMachinery

java.lang.Object

uk.ac.manchester.cs.jfact.TranslationMachinery

All Implemented Interfaces:

Serializable

public class TranslationMachinery
extends Object
implements Serializable

translation stuff

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TranslationMachinery(ReasoningKernel kernel, org.semanticweb.owlapi.model.OWLDataFactory df, DatatypeFactory factory)

Method Summary

Modifier and Type	Method and Description
ClassExpressionTranslator	getClassExpressionTranslator()
DataPropertyTranslator	getDataPropertyTranslator()
DataRangeTranslator	getDataRangeTranslator()
EntailmentChecker	getEntailmentChecker()
IndividualTranslator	getIndividualTranslator()
ObjectPropertyTranslator	getObjectPropertyTranslator()
void	loadAxioms(Stream<org.semanticweb.owlapi.model.OWLAxiom> axioms)
void	retractAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
List<IndividualExpression>	translate(Stream<? extends org.semanticweb.owlapi.model.OWLIndividual> inds)
List<Expression>	translateExpressions(Stream<org.semanticweb.owlapi.model.OWLEntity> signature)

Methods inherited from class java.lang.Object

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

Constructor Detail

TranslationMachinery

public TranslationMachinery(ReasoningKernel kernel,
                            org.semanticweb.owlapi.model.OWLDataFactory df,
                            DatatypeFactory factory)

Parameters:

kernel - kernel

df - df

factory - factory

Method Detail

translateExpressions

public List<Expression> translateExpressions(Stream<org.semanticweb.owlapi.model.OWLEntity> signature)

Parameters:

signature - signature

Returns:

expressions

loadAxioms

public void loadAxioms(Stream<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Parameters:

axioms - axioms

retractAxiom

public void retractAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom

translate

public List<IndividualExpression> translate(Stream<? extends org.semanticweb.owlapi.model.OWLIndividual> inds)

Parameters:

inds - inds

Returns:

individual set

getClassExpressionTranslator

public ClassExpressionTranslator getClassExpressionTranslator()

Returns:

class translation

getDataRangeTranslator

public DataRangeTranslator getDataRangeTranslator()

Returns:

data range translator

getObjectPropertyTranslator

public ObjectPropertyTranslator getObjectPropertyTranslator()

Returns:

object property translator

getDataPropertyTranslator

public DataPropertyTranslator getDataPropertyTranslator()

Returns:

data property translator

getIndividualTranslator

public IndividualTranslator getIndividualTranslator()

Returns:

individual translator

getEntailmentChecker

public EntailmentChecker getEntailmentChecker()

Returns:

entailemnt checker