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

[Dmitry Tsarkov]

Original [issue 13](https://code.google.com/p/factplusplus/issues/detail?id=13) created by dtsarkov on 2008-09-16T15:15:18.000Z:

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.

[Dmitry Tsarkov]

Comment [#1](https://code.google.com/p/factplusplus/issues/detail?id=13#c1) originally posted by dtsarkov on 2008-10-07T21:12:32.000Z:

Implementation started; now the method isSameAs added

[Dmitry Tsarkov]

Comment [#2](https://code.google.com/p/factplusplus/issues/detail?id=13#c2) originally posted by dtsarkov on 2008-11-06T16:00:26.000Z:

getDataEnumeration added

[Dmitry Tsarkov]

Comment [#3](https://code.google.com/p/factplusplus/issues/detail?id=13#c3) originally posted by dtsarkov on 2008-11-19T20:35:17.000Z:

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