Package | Description |
---|---|
owltools |
OWLTools - an OWL API wrapper
|
Modifier and Type | Method and Description |
---|---|
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. |
Constructor and Description |
---|
TBoxUnFoldingTool(OWLGraphWrapper graph,
Set<String> parents,
String reasonerName)
Create a new instance for the given ontology graph.
|
Copyright © 2010–2015. All rights reserved.