> It would be immensely helpful, though, if these terms were to be used
> with their accepted meanings, as these are quite exact, relatively
> easy to define, widely understood, and have been standard in the
> relevant technical literature for about 50 years now.
[VK] It is quite likely that oth
It depends on how you define soundness and completeness...
It would be immensely helpful, though, if these terms were to be used
with their accepted meanings, as these are quite exact, relatively
easy to define, widely understood, and have been standard in the
relevant technical literature
As I clarified in an earlier e-mail, the book chapter is based on the BIONT -
BIORDF collaboration session and not the whole F2F.
All the participants of the session have been listed as co-authors. If there are
any omissions, please let me know and I will add the people to the list.
Hopefully, t
Eric,
The book chapter was not discussed at the F2F.
I received an invitation to write a book chapter in which I decided to write
about the BIONT - BIORDF collaboration session
where we mapped key concepts in Don Doherty's use case to the repositories
created by Kei Cheung and Matthias Sam
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Honestly: I do not remember about the F2F meeting timing. I remember the
draft for the book being sent around and commented upon sometimes in
December. Vipul should have more on that...
Ivan
Eric Neumann wrote:
> Ivan,
>
> Can you remind me when th
Ivan,
Can you remind me when this book chapter was discussed at the F2F? I have no
record of it in the HCLS minutes or notes. [its author list is also has a
subset of the F2F participants]
Eric [... waiting to get re-routed to Boston via Portland]
-Original Message-
From: [EMAIL PROTE
Hi Ivan,
First of all, I'd like to congratulate Vipul on his book chapter. For
the HCLS paper, last time I was told that it would be published some
time in April in a supplement issue of BMC Bioinformatics. I'll keep you
and others informed once I know the exact date of publication.
Best,
Daniel --
"Sound and complete" is sometimes used to mean "may run forever and will
find all correct answers, but won't tell you when that has happened".
What's usually needed in practical reasoning systems is "sound, complete,
and terminating", -- and of course, efficient.
This is possible for
Please accept our apologies if you receive multiple copies of this message.
--
1st International Workshop on Web Service Composition and Adaptation
(WSCA-2007)
http://www.cild.iastate.edu/wsca
Affiliated with 5th IEEE Inte
Hi all,
I have evaluated Ontowiki as well. I think it is interesting and one of
the few example available for building a web application on the top of
an RDF/OWL knowledge base and to do editing, not only browsing (by the
way, this sounds quite strange to me, it's Semantic Web and we haven't
Just wanted to congratulate the authors on the chapter, and in continuing to
lead the effort here in the constant pursuit of standards.
The potential for improved healthcare (at potentially lower costs) on one hand,
and the acceleration of scientific discovery on the other, is immense.
Communi
On Mar 15, 2007, at 5:41 PM, Daniel J McGoldrick wrote:
Hello --
I have been following the public-semweb-lifesci discussions
for some time (silently) with great interest. By way of
introduction, I am the CEO and founder of Sentient Solutions Inc. -
a non-profit Colorado company with an af
Hello --
I have been following the public-semweb-lifesci discussions
for some time (silently) with great interest. By way of introduction, I am the
CEO and founder of Sentient Solutions Inc. - a non-profit Colorado company with
an affiliated Consulting LLC Sentient Consulting. I worked for UC-c
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Thanks Vipul,
here is what I propose we do: I generate a PDF version of the chapter,
and put it on our web site. However, I would also like to add a 'yellow
sticker' to the PDF file indicating its exact bibliographical reference;
can you give them to
14 matches
Mail list logo