André Wolski

Results 7 issues of André Wolski

I tried to replicate the error described in #470 with a simple model. models.js: ``` var orm = require("orm"); exports.initialize = function(db){ exports.Car = db.define( "car", { date: Date, type:...

While debugging an inconsistency I stumbled upon an unrelated InternalReasonerException in an ontology which was generated by SearchMinimalBug. Although that Exception doesn't occur in my real application / ontology I...

bug

Hi, I get another InternalReasonerException, that happens when I call `isConsistent` after adding any axiom. I'm using owlapi 5.1.5 and openllet-owlapi 2.6.5-SNAPSHOT / 9c5928a. Relevant code: ```java reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY); reasoner.instances(CLASS_PROCESSMODEL).forEach(p ->...

bug

Hi, I'm using openllet-owlapi version 2.6.4 and owlapi-api version 5.1.5. I get this `NullPointerException` when I try to work with a specific ontology: ``` Exception in thread "main" java.lang.NullPointerException at...

bug

With 4.0.0 being released today I tried to find out what major changes happened since 3.0.0, or whether there are any exciting new features. However the last [notes](https://github.com/typesafehub/sbteclipse/tree/master/notes) are regarding...

Currently the undo/redo functionality is implemented so that the text pane needs focus and captures key strokes. I see two possibilities to improve the user experience: 1. add buttons for...

When working with multiple Protégé windows (i.e. open one ontology, then open second one and select "No" to open that second one in a new window) the validation results are...