Apps filed under: reasoner
RSS Feed for this tag 3 applications totalLast updated: Nov 21st 2014, 06:06 GMT
- 232 downloads
- 826 KB
JFact 4.0.0
A clone of the Java based FaCT++ OWL DL reasoner that enables developers to infer logical conseque...
Nov 21st 2014, 06:06 GMT
Mac OS X
- 546 downloads
- 43.15 MB
OBO-Edit 2.2 / 2.3 Beta 7
A powerful and handy ontology editing toolkit that can be used on multiple platforms with ease.
Nov 6th 2013, 10:46 GMT
Mac OS X
- 168 downloads
- 385 KB
CB Build 12
A Consequence-Based reasoner for Horn-SHIF ontologies
Sep 9th 2012, 01:39 GMT
Mac OS X (Intel only)