public class TBoxUnFoldingTool extends Object
Modifier and Type | Class and Description |
---|---|
static class |
TBoxUnFoldingTool.NonDeterministicUnfoldException
Exception indication, that the unfold operation is not deterministic.
|
Constructor and Description |
---|
TBoxUnFoldingTool(OWLGraphWrapper graph,
Set<String> parents,
String reasonerName)
Create a new instance for the given ontology graph.
|
Modifier and Type | Method and Description |
---|---|
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. |
public TBoxUnFoldingTool(OWLGraphWrapper graph, Set<String> parents, String reasonerName) throws TBoxUnFoldingTool.NonDeterministicUnfoldException
graph
- ontologyparents
- set of OBO-style idsreasonerName
- type of reasoner to be used for inferring the relevant sub classes of the parent set.TBoxUnFoldingTool.NonDeterministicUnfoldException
public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(String id) throws TBoxUnFoldingTool.NonDeterministicUnfoldException
OWLClass
for the given id.id
- OBO-style idTBoxUnFoldingTool.NonDeterministicUnfoldException
public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLClass owlClass) throws TBoxUnFoldingTool.NonDeterministicUnfoldException
OWLClass
owlClass
- TBoxUnFoldingTool.NonDeterministicUnfoldException
public org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom unfold(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom ax, org.semanticweb.owlapi.model.OWLClass owlClass)
OWLEquivalentClassesAxiom
of the OWLClass
.
Return either the updated axiom or the original axiomax
- owlClass
- public String unfoldToString(String id) throws TBoxUnFoldingTool.NonDeterministicUnfoldException
OWLClass
for the given id.id
- OBO-style idTBoxUnFoldingTool.NonDeterministicUnfoldException
public String unfoldToString(org.semanticweb.owlapi.model.OWLClass owlClass) throws TBoxUnFoldingTool.NonDeterministicUnfoldException
OWLClass
owlClass
- TBoxUnFoldingTool.NonDeterministicUnfoldException
Copyright © 2010–2016. All rights reserved.