[kepler-dev] [Bug 5136] semantic type checker always returns error

bugzilla-daemon at ecoinformatics.org bugzilla-daemon at ecoinformatics.org
Thu Dec 9 09:24:16 PST 2010


http://bugzilla.ecoinformatics.org/show_bug.cgi?id=5136

Sean Riddle <swriddle at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
    Remaining Hours|4.0                         |0.0

--- Comment #1 from Sean Riddle <swriddle at gmail.com> 2010-12-09 09:24:16 PST ---
Fixed in r26458. This is caused by the transition to the new OWL API. The
condition for a semantic type being compatible with another was whether it was
a subset of the other or equivalent to the other. Under the old API, one of
these calls must have evaluated to true, but under the new one, a class is
considered to be neither a subset of, nor equivalent to, itself. I put in an
additional condition to check for whether the classes are equal in order to
catch that case.

-- 
Configure bugmail: http://bugzilla.ecoinformatics.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.


More information about the Kepler-dev mailing list