owltools
Class TBoxUnFoldingTool

java.lang.Object
  extended by owltools.TBoxUnFoldingTool

public class TBoxUnFoldingTool
extends Object

Provide TBox unfolding methods. This can be considered a non-standard reasoner task.


Nested Class Summary
static class TBoxUnFoldingTool.NonDeterministicUnfoldException
          Exception indication, that the unfold operation is not deterministic.
 
Constructor Summary
TBoxUnFoldingTool(OWLGraphWrapper graph, Set<String> parents, String reasonerName)
          Create a new instance for the given ontology graph.
 
Method Summary
 org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLClass owlClass)
          Unfold the equivalence axiom of the OWLClass
 org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom ax, org.semanticweb.owlapi.model.OWLClass owlClass)
          Unfold the OWLEquivalentClassesAxiom of the OWLClass.
 org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(String id)
          Unfold the equivalence axiom of the OWLClass for the given id.
 String unfoldToString(org.semanticweb.owlapi.model.OWLClass owlClass)
          Unfold the equivalence axiom of the OWLClass
 String unfoldToString(String id)
          Unfold the equivalence axiom of the OWLClass for the given id.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TBoxUnFoldingTool

public TBoxUnFoldingTool(OWLGraphWrapper graph,
                         Set<String> parents,
                         String reasonerName)
                  throws TBoxUnFoldingTool.NonDeterministicUnfoldException
Create a new instance for the given ontology graph. Use the given set of parent ids to retrieve the classes which are to be unfolded.

Parameters:
graph - ontology
parents - set of OBO-style ids
reasonerName - type of reasoner to be used for inferring the relevant sub classes of the parent set.
Throws:
TBoxUnFoldingTool.NonDeterministicUnfoldException
Method Detail

unfold

public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(String id)
                                                              throws TBoxUnFoldingTool.NonDeterministicUnfoldException
Unfold the equivalence axiom of the OWLClass for the given id.

Parameters:
id - OBO-style id
Returns:
unfolded equivalence axiom or null
Throws:
TBoxUnFoldingTool.NonDeterministicUnfoldException

unfold

public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLClass owlClass)
                                                              throws TBoxUnFoldingTool.NonDeterministicUnfoldException
Unfold the equivalence axiom of the OWLClass

Parameters:
owlClass -
Returns:
unfolded equivalence axiom or null
Throws:
TBoxUnFoldingTool.NonDeterministicUnfoldException

unfold

public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom ax,
                                                                     org.semanticweb.owlapi.model.OWLClass owlClass)
Unfold the OWLEquivalentClassesAxiom of the OWLClass. Return either the updated axiom or the original axiom

Parameters:
ax -
owlClass -
Returns:
axiom (never null)

unfoldToString

public String unfoldToString(String id)
                      throws TBoxUnFoldingTool.NonDeterministicUnfoldException
Unfold the equivalence axiom of the OWLClass for the given id.

Parameters:
id - OBO-style id
Returns:
string representation for the unfolded class equivalence axiom or null
Throws:
TBoxUnFoldingTool.NonDeterministicUnfoldException

unfoldToString

public String unfoldToString(org.semanticweb.owlapi.model.OWLClass owlClass)
                      throws TBoxUnFoldingTool.NonDeterministicUnfoldException
Unfold the equivalence axiom of the OWLClass

Parameters:
owlClass -
Returns:
string representation for the unfolded class equivalence axiom or null
Throws:
TBoxUnFoldingTool.NonDeterministicUnfoldException


Copyright © 2010-2012. All Rights Reserved.