Internal error: fresh classes in class assertions are not compatible with incremental ABox loading!

[philipp]

hello

Since switching from HermiT 1.3.5 to 1.3.6 i get the following
Exception

java.lang.IllegalArgumentException: Internal error: fresh classes in
class assertions are not compatible with incremental ABox loading!
at
org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification.getConceptAtom(Unknown
Source)
at
org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification.visit(Unknown
Source)
at
uk.ac.manchester.cs.owl.owlapi.OWLClassAssertionImpl.accept(OWLClassAssertionImpl.java:
120)
at
org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification.clausify(Unknown
Source)
at org.semanticweb.HermiT.Reasoner.flush(Unknown Source)
...

What does this mean?

thx for help

greetings

[Birte Glimm]

Hi Philipp,

HermiT 1.3.6 implements some support for incremental reasoning, but
the procedure wasn't prepared for the case when you incrementally add
class assertions with a class name that didn't occur in your ontology
before. I fixed this now and the next nightly build should work as
expected

Best regards,
Birte

--
Jun. Prof. Dr. Birte Glimm            Tel.:    +49 731 50 24125
Inst. of Artificial Intelligence         Secr:  +49 731 50 24258
University of Ulm                         Fax:   +49 731 50 24188
D-89069 Ulm                               birte...@uni-ulm.de
Germany

[philipp]

Hi

In most of the testcases, the correction was successfull but in some cases the error with incremental Abox loading remains

I also get this ClassCastException now

java.lang.ClassCastException: uk.ac.manchester.cs.owl.owlapi.OWLClassImpl cannot be cast to org.semanticweb.owlapi.model.OWLObjectHasSelf
    at org.semanticweb.HermiT.Reasoner.canProcessPendingChangesIncrementally(Unknown Source)
    at org.semanticweb.HermiT.Reasoner.flush(Unknown Source)

Should i post this in some bugtracker system?

Best regards
philipp

[Birte Glimm]

On 19 March 2012 10:58, philipp <philipp...@gmx.at> wrote:
> Hi
>
> In most of the testcases, the correction was successfull but in some cases
> the error with incremental Abox loading remains
>
> I also get this ClassCastException now
>
> java.lang.ClassCastException: uk.ac.manchester.cs.owl.owlapi.OWLClassImpl
> cannot be cast to org.semanticweb.owlapi.model.OWLObjectHasSelf
>     at
> org.semanticweb.HermiT.Reasoner.canProcessPendingChangesIncrementally(Unknown
> Source)
>     at org.semanticweb.HermiT.Reasoner.flush(Unknown Source)

Hi Philipp,
sorry for that. It seems that I indeed didn't fix the bug completely.
I found and corrected the mistake and added a lot more test cases to
our own test repository that should cover all kinds of changes (adding
axioms to non-existing ontologies or adding axioms with fresh names in
all kinds of combinations). This should be available with the next
nightly build as usual.

> Should i post this in some bugtracker system?

We do have a google code issue tracker at
http://code.google.com/p/hermit-reasoner/issues/list, which can be
used to report bugs. This makes it easier for us to track who is
reasponsible for dealing with a bug and when the bug is fixed. Feel
free to add your report there, although I hope it is all fixed now.

Cheers,
Birte

--

[philipp]

Hi Birte,

Now it works :-) Thanks a lot!!!

Cheers,
philipp