RE: NeuronDB RDF and OWL

2007-03-16 Thread Kashyap, Vipul
> 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

RE: NeuronDB RDF and OWL

2007-03-16 Thread Pat Hayes
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

RE: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Kashyap, Vipul
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

RE: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Kashyap, Vipul
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

Re: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Ivan Herman
-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

RE: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Eric Neumann
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

Re: Book Chapter based on Amsterdam F2F

2007-03-16 Thread kc28
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,

Re: Goedel's incompleteness theorom?

2007-03-16 Thread Adrian Walker
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

Final CFP: Workshop on Web Service Composition and Adaptation (WSCA-2007)

2007-03-16 Thread Jyotishman Pathak
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

Re: [HCLSIG Demo] Ontowiki as a GUI, SWAN, Neurocommons

2007-03-16 Thread Marco Brandizi
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

Re: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Mark Montgomery
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

Re: Goedel's incompleteness theorom?

2007-03-16 Thread Bijan Parsia
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

Goedel's incompleteness theorom?

2007-03-16 Thread Daniel J McGoldrick
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

Re: Book Chapter based on Amsterdam F2F

2007-03-16 Thread Ivan Herman
-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