[Pellet-users] OWL 1.1 species validation?

[bijan at clarkparsia.com]

On Thu, March 22, 2007 2:28 am, Alan Ruttenberg <alanruttenberg at gmail.com> said:

> Looks like the species report reports OWL-DL, LITE, or FULL, but not
> 1.1.

Yes, afaik, except for fixing the nullpointerexception, we've not touched the species validation code yet.
 
> Is there any way to validate an OWL 1.1 document and get a report of
> Non OWL-1.1 features?

Not yet. I'm not sure if the OWL API does anything there in the new version yet....it may. I see expressivity checking in the new protege, but I've not seen if it identifies SROIQ.

(Of course, things in speciesland are not quite settled. E.g., if you have complex role inclusions but are in EL++, should we report OWL 1.1? Probably... I guess the real feature wanted is, "Given a target expressivity, FOO, tell me what's keeping me out of it.")

Cheers,
Bijan.