uk.ac.manchester.cs.jfact

Class TranslationMachinery

java.lang.Object

uk.ac.manchester.cs.jfact.TranslationMachinery

public class TranslationMachinery
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	TranslationMachinery.DeclarationVisitorEx
class	TranslationMachinery.EntailmentChecker

Field Summary

Fields

Modifier and Type	Field and Description
protected org.semanticweb.owlapi.model.OWLDataFactory	df
protected ExpressionManager	em
protected ReasoningKernel	kernel

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
DataRoleExpression	getBottomDataProperty()
ObjectRoleExpression	getBottomObjectProperty()
uk.ac.manchester.cs.jfact.TranslationMachinery.ClassExpressionTranslator	getClassExpressionTranslator()
uk.ac.manchester.cs.jfact.TranslationMachinery.DataPropertyTranslator	getDataPropertyTranslator()
uk.ac.manchester.cs.jfact.TranslationMachinery.DataRangeTranslator	getDataRangeTranslator()
TranslationMachinery.EntailmentChecker	getEntailmentChecker()
uk.ac.manchester.cs.jfact.TranslationMachinery.IndividualTranslator	getIndividualTranslator()
uk.ac.manchester.cs.jfact.TranslationMachinery.ObjectPropertyTranslator	getObjectPropertyTranslator()
DataRoleExpression	getTopDataProperty()
ObjectRoleExpression	getTopObjectProperty()
void	loadAxioms(Collection<org.semanticweb.owlapi.model.OWLAxiom> axioms)
void	retractAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
protected ConceptExpression	toClassPointer(org.semanticweb.owlapi.model.OWLClassExpression classExpression)
protected DataRoleExpression	toDataPropertyPointer(org.semanticweb.owlapi.model.OWLDataPropertyExpression propertyExpression)
protected DataExpression	toDataTypeExpressionPointer(org.semanticweb.owlapi.model.OWLDataRange dataRange)
protected Datatype<?>	toDataTypePointer(org.semanticweb.owlapi.model.OWLDatatype datatype)
protected Literal<?>	toDataValuePointer(org.semanticweb.owlapi.model.OWLLiteral literal)
protected IndividualExpression	toIndividualPointer(org.semanticweb.owlapi.model.OWLIndividual individual)
protected ObjectRoleExpression	toObjectPropertyPointer(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
protected org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual>	translateIndividualPointersToNodeSet(Iterable<IndividualExpression> pointers)
protected List<Expression>	translateIndividualSet(Set<org.semanticweb.owlapi.model.OWLIndividual> inds)
Set<org.semanticweb.owlapi.model.OWLAxiom>	translateTAxiomSet(Collection<Axiom> trace)

Methods inherited from class java.lang.Object

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

Field Detail

kernel

protected ReasoningKernel kernel

em

protected ExpressionManager em

df

protected org.semanticweb.owlapi.model.OWLDataFactory df

Constructor Detail

TranslationMachinery

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

Method Detail

getTopObjectProperty

public ObjectRoleExpression getTopObjectProperty()

getBottomObjectProperty

public ObjectRoleExpression getBottomObjectProperty()

getTopDataProperty

public DataRoleExpression getTopDataProperty()

getBottomDataProperty

public DataRoleExpression getBottomDataProperty()

loadAxioms

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

retractAxiom

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

toClassPointer

protected ConceptExpression toClassPointer(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

toDataTypeExpressionPointer

protected DataExpression toDataTypeExpressionPointer(org.semanticweb.owlapi.model.OWLDataRange dataRange)

toObjectPropertyPointer

protected ObjectRoleExpression toObjectPropertyPointer(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)

toDataPropertyPointer

protected DataRoleExpression toDataPropertyPointer(org.semanticweb.owlapi.model.OWLDataPropertyExpression propertyExpression)

toIndividualPointer

protected IndividualExpression toIndividualPointer(org.semanticweb.owlapi.model.OWLIndividual individual)

toDataTypePointer

protected Datatype<?> toDataTypePointer(org.semanticweb.owlapi.model.OWLDatatype datatype)

toDataValuePointer

protected Literal<?> toDataValuePointer(org.semanticweb.owlapi.model.OWLLiteral literal)

translateIndividualPointersToNodeSet

protected org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLNamedIndividual> translateIndividualPointersToNodeSet(Iterable<IndividualExpression> pointers)

translateIndividualSet

protected List<Expression> translateIndividualSet(Set<org.semanticweb.owlapi.model.OWLIndividual> inds)

getClassExpressionTranslator

public uk.ac.manchester.cs.jfact.TranslationMachinery.ClassExpressionTranslator getClassExpressionTranslator()

getDataRangeTranslator

public uk.ac.manchester.cs.jfact.TranslationMachinery.DataRangeTranslator getDataRangeTranslator()

getObjectPropertyTranslator

public uk.ac.manchester.cs.jfact.TranslationMachinery.ObjectPropertyTranslator getObjectPropertyTranslator()

getDataPropertyTranslator

public uk.ac.manchester.cs.jfact.TranslationMachinery.DataPropertyTranslator getDataPropertyTranslator()

getIndividualTranslator

public uk.ac.manchester.cs.jfact.TranslationMachinery.IndividualTranslator getIndividualTranslator()

getEntailmentChecker

public TranslationMachinery.EntailmentChecker getEntailmentChecker()

translateTAxiomSet

public Set<org.semanticweb.owlapi.model.OWLAxiom> translateTAxiomSet(Collection<Axiom> trace)