Re: [Wsml2reasoner-support] Incrementally adding ontologies?

[Barry B. <bar...@st...>]

Mark Evenson wrote:
> Barry Bishop wrote:
>> Hi Mark!
>>
>> This is intended behaviour, I'm afraid.
>>
>> If the starting point for a logic program (the facts and rules from an
>> ontology) are changed then the model of the resulting logic program can
>> be arbitrarily different.
> 
> What about just adding instances of ontological data?  Didn't you
> implement that "bridge to a arbitrary source" interface for this sort of
> situation?  I can't seem to find that code in wsml2reasoner, but I think
> this is what exists in IRIS in org.deri.iris.storage

For this we created the org.wsml.reasoner.api.data.ExternalDataSource
interface. It is possible to create a class that implements this
interface and give it to the WSML reasoner when it is created - you pass
a data source in the params object to one of the factory methods.

However, this remains a proof of concept rather than an efficient
implementation. I believe it attempts to read in all memberOf and
hasValue assertions at start up, rather than as required during evaluation.

Regards,
barry