|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TBoxUnFoldingTool.NonDeterministicUnfoldException | |
---|---|
owltools | OWLTools - an OWL API wrapper |
Uses of TBoxUnFoldingTool.NonDeterministicUnfoldException in owltools |
---|
Methods in owltools that throw TBoxUnFoldingTool.NonDeterministicUnfoldException | |
---|---|
org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom |
TBoxUnFoldingTool.unfold(org.semanticweb.owlapi.model.OWLClass owlClass)
Unfold the equivalence axiom of the OWLClass |
org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom |
TBoxUnFoldingTool.unfold(String id)
Unfold the equivalence axiom of the OWLClass for the given id. |
String |
TBoxUnFoldingTool.unfoldToString(org.semanticweb.owlapi.model.OWLClass owlClass)
Unfold the equivalence axiom of the OWLClass |
String |
TBoxUnFoldingTool.unfoldToString(String id)
Unfold the equivalence axiom of the OWLClass for the given id. |
Constructors in owltools that throw TBoxUnFoldingTool.NonDeterministicUnfoldException | |
---|---|
TBoxUnFoldingTool(OWLGraphWrapper graph,
Set<String> parents,
String reasonerName)
Create a new instance for the given ontology graph. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |