Re: [DIG-users] Towards DIG 2.0 - suggestions

[Volker H. <haa...@cs...>]

I will attend ISWC and the OWL Experience workshop.

We can discuss this in Galway.

Volker

On 17-Oct-05, at 4:32, Olaf Noppens wrote:

> Hi all,
>
> We have studied SW reasoning especially in the context of ontology
> authoring tools (like our OntoTrack editor). Beyond traditional
> batch-oriented reasoning services we strongly believe that
> non-standard inference play an import role in the future not only
> in the context of ontology engineering and maintaining.
>
> As an example, consider the newly proposed services of computing the
> last common/good subsumer [1], explanations for subsumption [2],
> or debugging [3].
>
> We therefore propose the following for a DIG 2.0 specification:
> (1) distinguish between a core DIG and optional extensions (e.g.
> bullet (3) ): these optional extensions may cover non-standard
> inference services that not all core-DIG compliant reasoner will  
> support
> (2) support for information removal from a knowledge base
> (3) publish-subscriber mechanism for tbox (and maybe abox) changes.
>
> Some of our ongoing work will cover xml schema definitions for (2)
> and (3) and we will implement a prototypical publish-subscriber
> extension as a mediator component on top of a DIG compliant
> reasoner.
>
> For now, we would like to hear if other parties agree with these ideas
> and open the discussion towards DIG 2.0  :-)
>
>
> If any of you will attend ISWC or OWL Experience Workshop we should  
> take
> the opportunity to discuss further steps.
>
> Best regards
>
>     Olaf and Thorsten
>
>
> [1] Computing the Least Common Subsumer w.r.t. a Background  
> Terminology,
> Baader & Sertkaya & Turhan, DL2004
> [2] A Tableau-based Explainer for DL Subsumption, Liebig & Halfmann,
> TABLEAUX 05
> [3] Black box techniques for debugging unsatisfiable concepts,  
> Kalyanpur
> & Parisa & Sirin  DL2005
>
> -- 
> University of Ulm, Germany
>
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by:
> Power Architecture Resource Center: Free content, downloads,  
> discussions,
> and more. http://solutions.newsforge.com/ibmarch.tmpl
> _______________________________________________
> DIG-users mailing list
> DIG...@li...
> https://lists.sourceforge.net/lists/listinfo/dig-users
>