Unimplemented OWL-API reasoner methods appear to be supported in the backend

[GoogleCodeExporter]

Some of the methods on the OWL-API Reasoner implementation that throw
UnsupportedReasonerOperationException seems to actually be supported by the
backend reasoner. For instance, issue #2 shows that getting a list of role
fillers is supported now, so it should be possible to implement
getRelatedIndividuals.

Below I have listed the methods that seem like they could be supported with
only the addition of some glue code.

It would be really nice to have support for these methods. Also going
through and checking for other methods that can now be supported, but are
not yet implemented would be good too.

These are the methods I'm pretty sure should be easily supportable:
getObjectPropertyRelationships(OWLIndividual individual)
getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression
property) 
hasObjectPropertyRelationship(OWLIndividual subject,
OWLObjectPropertyExpression property, OWLIndividual object)

Thanks.

Original issue reported on code.google.com by arthur.peters on 16 Sep 2008 at 3:15

[GoogleCodeExporter]

Implementation started; now the method isSameAs added

Original comment by dmitry.t...@gmail.com on 7 Oct 2008 at 9:12

• Added labels: Type-Enhancement
• Removed labels: Type-Defect

[GoogleCodeExporter]

getDataEnumeration added

Original comment by dmitry.t...@gmail.com on 6 Nov 2008 at 4:00

[GoogleCodeExporter]

All the individual-related methods are implemented now (1.2.1). Property-related
queries are harder to implement on a current base; they also semms to be of 
much less use

Original comment by dmitry.t...@gmail.com on 19 Nov 2008 at 8:35

• Changed state: Fixed