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 for about 50 years now. At the very
least, if you are using them with different meanings, please 'flag'
this by adding a qualifier, along the lines of 'sound and complete
with respect to our database' or some such, to give the reader a hint
that you are intending to convey a divergent meaning.
In this context, the "algorithm" is our query processing/data integration
approach.
The difference is that it is contextualized to the Integrated DB/KB.
i.e. Our "algorithm" is sound/complete if for all queries Q posed on the
integrated KB it returns all and only correct answers...
Do you have some independent criterion for what is a 'correct
answer'? If not, the claim of completeness is vacuous. If you do,
what is it? Can you share it with us? To establish completeness is
often quite tricky, and it would be good to see exactly what is being
claimed.
Pat Hayes
PS. BTW, soundness does not of course guarantee correctness of
answers. No logical property can guarantee that.
Whether we "lied" to the KB is immaterial. As long as a fact is
asserted as true
in our KB, it is deemed as true even if we lied...
Makes sense?
---Vipul
-----Original Message-----
From: Alan Ruttenberg [mailto:[EMAIL PROTECTED]
Sent: Thursday, March 15, 2007 11:49 AM
To: Kashyap, Vipul
Cc: public-semweb-lifesci hcls
Subject: Re: NeuronDB RDF and OWL
Soundness isn't the same, because we can lie (tell wrong facts) to
the reasoner, which will (soundly) repeat back the lies.
That's the sort of thing that happens when we use is_a instead of
part_of in our ontologies.
-Alan
On Mar 15, 2007, at 11:38 AM, Kashyap, Vipul wrote:
>
>> Just to clarify, because "sound and complete" is often used in a
>> different sense: I don't mean sound and complete in the sense it is
>> used in describing the properties of reasoning algorithms. I meant
>> this
>> statement with respect to the quality of answers to questions asked
>> within our domain of interest: Biology/Life Sciences. The former
>> only
>> depends on the algorithm. The latter depends on what's in our KB, and
>> how we ask the questions.
>
> [VK] I guess soundness is still the same, don't want "wrong"
> answers to be
> returned in any case. But completeness would be based on the what's
> there in the
> virtual integrated DB/KB.
>
> Cheers,
>
> ---Vipul
>
>
>
>
>
> The information transmitted in this electronic communication is
> intended only for the person or entity to whom it is addressed and
> may contain confidential and/or privileged material. Any review,
> retransmission, dissemination or other use of or taking of any
> action in reliance upon this information by persons or entities
> other than the intended recipient is prohibited. If you received
> this information in error, please contact the Compliance HelpLine
> at 800-856-1983 and properly dispose of this information.
>
The information transmitted in this electronic communication is
intended only for the person or entity to whom it is addressed and
may contain confidential and/or privileged material. Any review,
retransmission, dissemination or other use of or taking of any
action in reliance upon this information by persons or entities
other than the intended recipient is prohibited. If you received
this information in error, please contact the Compliance HelpLine at
800-856-1983 and properly dispose of this information.
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes