Softpedia >Mac >  Applications filed under: reasoner  (3 items)

Apps filed under: reasoner

  RSS Feed for this tag 3 applications totalLast updated: Nov 21st 2014, 06:06 GMT

     
  • 232 downloads
  • 826 KB
JFact

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

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

CB Build 12

A Consequence-Based reasoner for Horn-SHIF ontologies

Sep 9th 2012, 01:39 GMT
Mac OS X (Intel only)