Re: [OWLAPI-developer] How to improve inference time?

[Ignazio P. <ipa...@gm...>]

On 28 January 2016 at 04:26, sridevi polavaram <spo...@gm...> wrote:
> I couldn't get Fact++ working, there is no documentation or examples for it.
> I got the owllink api but it seemed more involved, so i put it on hold.
>
> But, I could configure the ELK reasoner fairly easily and got it working,
> however, i am getting this error when i read the disjoint nodes:
>
> Exception in thread "main" java.lang.UnsupportedOperationException: OWL API
> reasoner method is not implemented: getDisjointClasses(OWLClassExpression).
>     at
> org.semanticweb.elk.owlapi.ElkReasoner.unsupportedOwlApiMethod(ElkReasoner.java:246)
>     at
> org.semanticweb.elk.owlapi.ElkReasoner.getDisjointClasses(ElkReasoner.java:434)
>     at
> org.neuromorpho.common.NMOOntologyFactory.findConceptByLabel(NMOOntologyFactory.java:701)
>     at
> org.neuromorpho.search.owl.OntoSearchMain.main(OntoSearchMain.java:455)
>
> the code line:
> for(OWLClass dj :  reasoner.getDisjointClasses(cls).getFlattened()){
> ...
>
> Thanks to their documentation, it clearly says that ELK supports disjoint
> class construct
> (https://github.com/liveontologies/elk-reasoner/wiki/OwlFeatures). But I
> don't see the method in their API, which explains the error. Am i missing
> anything here?
>

ELK supports disjoint concepts in the ontology, but not direct access
to inferencing disjoint classes. Their code looks like this:

@Override
public NodeSet<OWLClass> getDisjointClasses(OWLClassExpression arg0)
throws ReasonerInterruptedException, TimeOutException,
FreshEntitiesException, InconsistentOntologyException {
LOGGER_.debug("getDisjointClasses(OWLClassExpression)");
checkInterrupted();
// TODO Provide implementation
throw unsupportedOwlApiMethod("getDisjointClasses(OWLClassExpression)");
}

> Thanks
> Sridevi
>
> On Mon, Jan 25, 2016 at 6:38 AM, Ignazio Palmisano
> <ipa...@gm...> wrote:
>>
>>
>> On 25 Jan 2016 10:03 am, "Vincent Vialard" <vi...@de...> wrote:
>> >
>> > Am 24.01.16 um 23:42 schrieb Ignazio Palmisano:
>> >
>> >>
>> >> Have you tried other reasoners, such as FaCT++ and Konclude? Konclude
>> >> in particular has been winning the ORE competition for a few years
>> >> running now, but I don't know if it has a Protege plugin.
>> >
>> >
>> > Hi there,
>> >
>> > Konclude does not have a Protege plugin, but you can use it with the OWL
>> > API through OWLlink OWL API Adapter [1].
>> >
>>
>> Writing a protégé plugin would be quite simple then - any takers? :-)
>> I.
>>
>> > Cheers,
>> >
>> > Vincent.
>> >
>> > [1] http://www.derivo.de/en/products/konclude/usage-owl-api.html
>> >
>> > --
>> > Dipl. Ing., Dipl-Inf. Vincent Vialard
>> > mailto:vi...@de...
>> >
>> > derivo GmbH <http://www.derivo.de>
>> > Münchner Straße 1, D-89073 Ulm
>> > Tel. +49 731 26 50 67 48
>> > Amtsgericht Ulm, HRB 725444
>> > Geschäftsführer: Dr. Thorsten Liebig
>> >
>> >
>> >
>> > ------------------------------------------------------------------------------
>> > Site24x7 APM Insight: Get Deep Visibility into Application Performance
>> > APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
>> > Monitor end-to-end web transactions and take corrective actions now
>> > Troubleshoot faster and improve end-user experience. Signup Now!
>> > http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
>> > _______________________________________________
>> > Owlapi-developer mailing list
>> > Owl...@li...
>> > https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>> >
>>
>>
>>
>> ------------------------------------------------------------------------------
>> Site24x7 APM Insight: Get Deep Visibility into Application Performance
>> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
>> Monitor end-to-end web transactions and take corrective actions now
>> Troubleshoot faster and improve end-user experience. Signup Now!
>> http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
>> _______________________________________________
>> Owlapi-developer mailing list
>> Owl...@li...
>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>
>
>
> ------------------------------------------------------------------------------
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>