0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 17 hours ago.
Sep 20, 2024 — Sep 20, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
added method canUndo() More... about 16 years ago
for displayin automatically rejected implications in the repair panel More... about 16 years ago
for displaying automatically accepted implications in the repair panel More... about 16 years ago
added method canUndo() for checking the type of the modification. for displaying automatically accepted / rejected implications in the repair panel More... about 16 years ago
initial version of individual object that is used with the CEL reasoner More... about 16 years ago
initial version for individual context that is used with the CEL reasoner More... about 16 years ago
added methods getReasonerID and setReasonerID More... about 16 years ago
added reasoner id for cel and prefix for complement concepts More... about 16 years ago
implicationMakesOntologyInconsistent now uses the method reClassifyOntology() for reclassification. Previously it was unloading and loading the ontologies More... over 16 years ago
for reclassifying the ontology, unload/load ontologies, and still call classify() (dmitry says this is the safest for FaCT++) More... over 16 years ago
misc. updates More... over 16 years ago
Ontology reclassification is now done with the method OWLReasoner.classify (not any more by unloading and loading the ontology again) More... over 16 years ago
[no comment] More... over 16 years ago
Initial version. Constants for OClib More... over 16 years ago
Effects of: 1) FCAObject now has identifier in its type 2) Objects of Context implement FCAObject More... over 16 years ago
Initial version. Object type for IndividualContext More... over 16 years ago
[no comment] More... over 16 years ago
Initial directory structure. More... over 16 years ago