org.semanticweb.owl.explanation.impl.util

Class DeltaTransformationUnfolder

java.lang.Object

org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder

public class DeltaTransformationUnfolder
extends Object

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 01/03/2011

Constructor Summary

Constructors

Constructor and Description
DeltaTransformationUnfolder(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	getUnfolded(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, Set<org.semanticweb.owlapi.model.OWLEntity> signature)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeltaTransformationUnfolder

public DeltaTransformationUnfolder(org.semanticweb.owlapi.model.OWLDataFactory dataFactory)

Method Detail

getUnfolded

public Set<org.semanticweb.owlapi.model.OWLAxiom> getUnfolded(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
                                                     Set<org.semanticweb.owlapi.model.OWLEntity> signature)