Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
Inactive
0

Commits : Listings

  Analyzed 4 days ago based on code collected 4 days ago.
Showing page 1 of 12
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
* started adding a graphical proof interface. Anon32
inanc....@gmail.com
More... over 2 years ago
* added the simplification rule for NaryBooleanConcept. Anon32
inanc....@gmail.com
More... over 2 years ago
* fixed this test so that it works now. Anon32
inanc....@gmail.com
More... over 2 years ago
* added the n-ary branching rule to the equality reasoner. Anon32
inanc.seylan
More... about 3 years ago
* added the n-ary boolean concept constructor and the relevant expression. Anon32
inanc.seylan
More... about 3 years ago
* solved a little problem in NominalReplacingVisitor caused by adding Bottom as a separate class. Anon32
inanc.seylan
More... about 3 years ago
* separated Top and Bottom into separate classes. Anon32
inanc.seylan
More... about 3 years ago
* Individual does not contain top concept by default now because it caused problems with interpolation. Anon32
inanc.seylan
More... about 3 years ago
* all low level tests for the interpolant calculating equality reasoner works. Anon32
inanc.seylan
More... about 3 years ago
* clash and nominal tests pass now. Anon32
inanc.seylan
More... about 3 years ago
* got rid of ABox reference in Individual. Anon32
inanc.seylan
More... about 3 years ago
* changed the reasoner architecture again and added many rules regarding interpolant calculation. Anon32
inanc.seylan
More... about 3 years ago
* modified the tableau nodes so that each node only stores the new constraints added by the rule that generated that node. Anon32
inanc.seylan
More... about 3 years ago
* added simple memory saving optimizations to the equality reasoner. Anon32
inanc.seylan
More... about 3 years ago
* added bias support to concepts. Anon32
inanc.seylan
More... about 3 years ago
* equality reasoner test is up. Anon32
inanc.seylan
More... about 3 years ago
* added deep copying tests to Individual and ABox unit tests. Anon32
inanc.seylan
More... about 3 years ago
* deleted the graph classes because i don't use them in this project. Anon32
inanc.seylan
More... about 3 years ago
* added tests for multivalue hash maps. Anon32
inanc.seylan
More... about 3 years ago
* resolved compilation problems of the JUnit tests that are copied from the previous dl reasoner. Anon32
inanc.seylan
More... about 3 years ago
 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.