org.semanticweb.owlapi.util

Class StructuralTransformation

java.lang.Object

org.semanticweb.owlapi.util.StructuralTransformation

public class StructuralTransformation
extends Object

Author:

Matthew Horridge, The University Of Manchester, Information Management Group, Date: 01-Aug-2008

Field Summary

Fields

Modifier and Type	Field and Description
protected OWLDataFactory	df
protected Set<OWLEntity>	signature

Constructor Summary

Constructors

Constructor and Description
StructuralTransformation(OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
protected OWLClass	createNewName()
Set<OWLAxiom>	getTransformedAxioms(Set<OWLAxiom> axioms)

Methods inherited from class java.lang.Object

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

Field Detail

df

protected final OWLDataFactory df

signature

protected final Set<OWLEntity> signature

Constructor Detail

StructuralTransformation

public StructuralTransformation(OWLDataFactory dataFactory)

Parameters:

dataFactory - factory to use

Method Detail

createNewName

protected OWLClass createNewName()

getTransformedAxioms

public Set<OWLAxiom> getTransformedAxioms(Set<OWLAxiom> axioms)

Parameters:

axioms - axioms to transform

Returns:

transformed axioms