adding KnowledgeBaseManager class
adding CrosswordKB class to hold static constants for crosswordKB classes, properties, etc
fleshing out cwKB manager, moving cwKB consts out of Pop class
SemanticSolverImpl now uses KBManager to persist knowledge base
found solutions are now added to knowledge base in memory
only solutions with confidence greater than zero are added to knowledge base
KB is now saved to disk before system exit
adding hasSolutionStructure property to crosswordKB ontology
changing the KB's representation in memory from an InfModel to a simple Model
changing cwKB to an RDF file, with crosswordKB.owl renamed to crosswordKBontology.owl and not used
duplicate solved clues are not added to the knowledge base
KBManager now refreshes list of solved clues at same time as adding new solution to the KB model
SemanticSolverImpl now waits for KBManager to finish adding solutions to KB before updating GUI to accept new clue
clues are no longer duplicated in the KB, although solutions can be