David Triglianos

I should also mention that there's plenty of heap space. The Java max heap space is set to 12gb, and it seems to top out at about 7-8gb.

I'll try a classification without the incremental as you suggest. Indeed, about 2,800 of the 11,000 concepts are "defined"; that is, they use equivalency axioms. Is 8,700 defining roles a...

Hi guys, I did a full classification of SCT + extension, without the incremental classification as suggested. reasoner.classify() completes in about 46 seconds, and reasoner.getClassifiedOntology() takes about 6 seconds. When...