getEquivalentObjectProperties not supported?

[RL Wang]

Hi,

When using Elk reasoner on pizza.owl and after making inferences by precompute(),   I got this error message at InferredOntologyGenerator.fillOntology() step:

[owlapi.unsupportedMethod]OWL API reasoner method is not implemented: getEquivalentObjectProperties(OWLObjectPropertyExpression)

According to https://github.com/liveontologies/elk-reasoner/wiki/OwlFeatures,  however, EquivalentObjectProperties is indeed supported in Elk reasoner.  Am I missing something here?  Searching through this mailing didnt yield any discussions on this issue.  Your comments and feedback much appreciated.

Thanks,

Ronglin

[Yevgeny Kazakov]

Dear Ronglin,

ELK supports EquivalentObjectProperties *axioms* in the ontology, but not querying for equivalent object properties of a property.

Supported reasoning tasks are described on the next wiki page.

The issue with unsupported OWL API methods was discussed, e.g., here.

Best regards,

Yevgeny

--
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/d/optout.