Changes between Version 59 and Version 60 of ImplementationBootcamp

Show
Ignore:
Timestamp:
2010/02/12 10:14:50 (14 years ago)
Author:
jerven
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ImplementationBootcamp

    v59 v60  
    238238 
    239239=== What reasoners are available? === 
     240 
     241 * [http://clarkparsia.com/pellet/ Pellet] A java reasoner. 
     242 ** Used also for schema validation (e.g. DTD) 
     243 * [http://code.google.com/p/factplusplus/ FaCT++] Implemented in C++