[DIG-users] Towards DIG 2.0 - suggestions

[Olaf N. <ola...@un...>]

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