Menu
▾
▴
Tree [e0b3c5] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| antbuild | 2013-01-23 |
ignazio
|
[5b6222] Update maven structure |
| atomicdecomposition | 2013-05-15 |
tsarkov
|
[e0b3c5] make axiom locality checker up-to-date |
| casual | 2013-01-23 |
ignazio
|
[5b6222] Update maven structure |
| concurrentimpl | 2013-05-24 |
ignazio
|
[ee30b5] update to OWLAPI 3.4.4 |
| fixers | 2013-05-24 |
ignazio
|
[ee30b5] update to OWLAPI 3.4.4 |
| suggestor | 2013-05-24 |
ignazio
|
[ee30b5] update to OWLAPI 3.4.4 |
| website | 2013-01-27 |
ignazio
|
[a7446b] README and website |
| .gitignore | 2012-10-29 |
ignazio
|
[1e371d] ignore target folders |
| README.txt | 2013-01-27 |
ignazio
|
[a7446b] README and website |
| pom.xml | 2013-05-24 |
ignazio
|
[ee30b5] update to OWLAPI 3.4.4 |
Read Me
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++.
