[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