Re: Process traces

From a practical point of view and when one
considers the capability of the present tools to
handle reasoning about service models defined in
the PAC format, it is quite difficult to get to
information that is defined thru class
restrictions such as intersectionOf etc. Most
tools represent such restricted class body by a
generated variable, such as ANON92617, hence
making it difficult to understand what is exactly
going onth the instance representation this can be
somewhat more relaxed, in my opinion giving the
user more ease to query and retrieve information
with the tools already available
Having said that I might not be considering all
the issues involved at this point some of which
could be fundamental issue as stated by Drew.

Charlie

-------------------------------------------------
Charlie Abela
Research Student,
Dept. of Computer Science and AI
University of Malta,
MSD06. Malta
Web: http://alphatech.mainpage.net
Email: abcharl@keyworld.net




All email is scanned by Keyworld against known Viruses. This service is offered to all Keyworld subscribers and hosted domains and does not carry any warranty. You are advised to protect your PC with updated antivirus software at all times.