ObjectUnionOf is not in the OWL EL profile [1], so it is unlikely that
this feature will be added to ELK any time soon.
You can try to use the ConDOR reasoner [2], which supports
ObjectUnionOf (not sure about DataHasValue). But ConDOR is in a very
preliminary state, in particular it works only from the command line.
Alternatively, you can use MORe [3] which combines ELK with HermiT,
and can reason over more expressive ontologies than ELK with some
graceful performance degradation (depending on how many features you
have not in the OWL EL profile).
It would also be useful if you could share with us your ontology, so
that we can add it to our benchmark suit and this way let other
reasoners be optimized for that.
Best regards,
Yevgeny
[1]
http://www.w3.org/TR/owl2-profiles/#OWL_2_EL
[2]
http://code.google.com/p/condor-reasoner/
[3]
http://www.cs.ox.ac.uk/isg/tools/MORe/
>
> Best regards,
>
> --
> You received this message because you are subscribed to the Google Groups
> "elk-reasoner-discussion" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
elk-reasoner-disc...@googlegroups.com.
> For more options, visit
https://groups.google.com/groups/opt_out.
>
>