[DIG-users] DIG at GUT (DIGUT)

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

Hi all DIG-gers,

At Gdansk University of Technology we are developing a DIG reasoner =
(TBox and ABox) to be used as an inference engine  for a knowledge base =
developed for the PIPS project (health&nutrition domain). We found the =
followimg enhancement to DIG useful:
=20
1. The three-valued logic has been introduced in response for instance =
check query (instance). The answer "false" means that it is certain that =
an individual is not a member of a concept. The newly introduced answer =
"maybe" (meaning "don't know") means that the KB does not have enough =
information to state definitely ("does not know") whether or not the =
individual is a member of the concept.

=20

2. We introduced a new management request: loadOntology that can be used =
to load an ontology in a batch mode (e.g. an OWL ontology), either from =
an external file or from the contents of the request.

=20

3. A new Ask request about equivalence of two concepts has been added =
(evidently missing in DIG).

=20

4. The semantics of toldValues has been extended to enable a user to ask =
for many attributes values and many instances at a time. This =
facilitates retrieving "database" (i.e.attribute) data in a batch mode =
instead of doing it one at a time.


Best

Kris Goczyla=20


-----------------------------
Prof. Krzysztof Goczyla, PhD., DSc.
Gdansk University of Technology, Software Engineering Dept.,
Faculty of Electronics, Telecommunications & Informatics
ul. G. Narutowicza 11/12       tel.: +48 58 347 13 18
                               fax : +48 58 347 27 27, 341 61 32=20
80-952 GDANSK, Poland          e-mail: kr...@et...