Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 48a72851

Name Size
  coalg
  coalgcompare
  fuzzy
  lib
  owl
  testsuite

Latest revisions

# Date Author Comment
48a72851 08/21/2014 12:18 AM Dominik Paulus

Don't throw exception and crash on invalid input

17dae482 08/21/2014 12:06 AM Dominik Paulus

Less + in output...

ca3d06cb 08/21/2014 12:03 AM Dominik Paulus

Some output beautification

a0ad2fd9 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCReasoner

79319a4e 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCABox

947cb55b 08/20/2014 11:19 PM Dominik Paulus

Silence some warnings

0e416509 08/20/2014 11:09 PM Dominik Paulus

Use multiset for storing assertions

6f1cc141 08/20/2014 08:50 PM Dominik Paulus

Lots of fixes

bc0e1ded 08/20/2014 06:57 PM Dominik Paulus

Fix stupid bug in toAssertion

2061032f 08/20/2014 06:08 PM Dominik Paulus

Optimization: Let negation elimination prune

View revisions

Also available in: Atom