Download Latest Version
owlapitools-atomicdecomposition-1.0.0-sources.jar (30.3 kB)
Get an email when there's a new version of OWLAPITools
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| README.txt | 2013-01-27 | 516 Bytes | |
| owlapitools-suggestor-1.0.0.jar | 2013-01-27 | 88.4 kB | |
| owlapitools-suggestor-1.0.0-sources.jar | 2013-01-27 | 45.0 kB | |
| owlapitools-concurrentimpl-1.0.0.jar | 2013-01-27 | 163.3 kB | |
| owlapitools-concurrentimpl-1.0.0-sources.jar | 2013-01-27 | 57.0 kB | |
| owlapitools-atomicdecomposition-1.0.0.jar | 2013-01-27 | 52.3 kB | |
| owlapitools-atomicdecomposition-1.0.0-sources.jar | 2013-01-27 | 30.3 kB | |
| Totals: 7 Items | 436.7 kB | 0 |
OWLAPITOOLS 1.0.0 OWLAPI version: 3.4.3 concurrentimpl: multithread safe internals for the OWLAPI. Access with ThreadSafeOWLManager. suggestor: an API to simplify recurring tasks that use a reasoner. Uses OWLKnowledgeExplorerReasoner, which works with FaCT++ or JFact. atomicdecomposition: a reasoner independent, self contained implementation of atomic decomposition and modularisation. It is a port of the same tools implemented by Dmitry Tsarkov in FaCT++, but can be used in Java without JNI and without FaCT++.