[DIG-users] Fw: Towards DIG 2.0 - suggestions and work done at GUT

[<kr...@et...>]

(Sorry, if you receive two copies of this - or similar - email)



Dear DIG users,

From your lively discussion we hae learned that during ISWC'2005 there =
is a meeting organized concerning presence and future of DIG. We at the =
Gdansk Univresity of Technology (GUT) are DIG users who are developing =
an extended version (or rather: versions) of DIG called DIGUT. It is =
work done in the course of PIPS - a 6th FP project (www.pips.eu.org). =
Because we are not at ISWC'2005, let us make a "remote contribution" to =
this meeting:

1. Below you will find a brief description of changes made to DIG 1.1 in =
the current version of DIGUT (1.3), applied in system KaSeA (presented =
on the last DL Workshop as two posters).=20

2. At http://km.pg.gda.pl/kmg in Section "DIGUT" you will find =
description and reference for DIGUT v.2.0 that is now under =
implementation in KaSeA. DIGUT 2.0 covers also terminological Tells =
(DIGUT 1.3 does not, as in current stable version of KaSeA a terminology =
is loaded in OWL).

We hope that this material will be helpful for you and for further DIG =
developments.

Yours

Kris Goczyla


*****************************************
Main changes made to DIG 1.1  (implemented in DIGUT 1.3)

Introducing equivalent, subsumes role, equivalent role and role instance =
queries. The equivalent query asks whether concepts are equivalent. All =
queries concerning roles have analogical semantics as corresponding =
queries for concepts. For example, the query role instance asks about =
the set of pairs of individuals, which are related with a specified =
role.

=20

Introducing maybe answer for instance query With addition to yes and no =
answers in DIG, DIGUT can also answer that the Knowledge Base cannot =
unambiguously say if a specified individual belongs to a specified =
concept. In the current version of DIGUT such an answer can be given =
only for instance query. In the next versions it will be also applied to =
role instance query.

=20

Introducing to the concept language valuerange, valuemin, valuemax and =
valueequals expressions. The semantics of these expressions is =
analogical as for corresponding expressions for attributes of an integer =
and string types. However, these expressions are independent of the type =
of an attribute. The terminology itself knows the type of a specified =
attribute.

=20

Enhanced expressiveness of toldValue query. In DIG toldValue query asks =
about values of one attribute for one individual only. In DIGUT a set of =
attributes and individuals, whose values of attributes are required, may =
be listed and in addition, individuals may be given as instances of a =
concept.

***************************



-------------------------------------------------------------
Prof. Krzysztof Goczy=B3a, PhD, DSc,
Gda=F1sk University of Technology, Department of Software Engineering
Faculty of Electronics, Telecommunications and Informatics
80-288 Gda=F1sk, ul. Narutowicza 11/12
tel.: +48 58 347 13 18, fax: +48 58 347 27 27