- From: William Bug <William.Bug@DrexelMed.edu>
- Date: Fri, 18 May 2007 02:47:23 -0400
- To: public-semweb-lifesci hcls <public-semweb-lifesci@w3.org>
- Message-Id: <F568086C-8028-4C88-95C3-51CBDA2DE7AA@DrexelMed.edu>
Hi Alan, Can you give a little more detail on exactly how the evidence is linked. I realize I can go to the OWL ontologies you and others created for the demo, but I wondered if you could give a quick review of the syntactical constructs you used to represent the evidence here. You say "annotation property" here - is that an owl:AnnotationProperty? If so, do you specify a data type for the annotation property value? If so, that would take you outside the OWL DL language species and interfere with your ability to do certain things with certain reasoners - no? If you are using an enumeration class "design pattern" with an associated ObjectProperty (e.g., hasEvidence), in making such an assertion about Class X, wouldn't you then be forced to make the same evidentiary assertion about all the instances, descendant classes, and instances of descendant classes - which is certainly not what is intended when making an evidentiary statement. Cheers, Bill On May 17, 2007, at 10:56 PM, Alan Ruttenberg wrote: > > The example isn't necessarily a disagreement. Both could be true. > > I think these really need to be class statements, in any case, to > make any sense. > > In my representation this is (schematically) > > Class protein_a_expression_process_located_in_tissue_b > subclassOf expression and produced some protein_a and located_in > some tissue b > annotation: has_evidence: traceable author statement, cites > evidence source: c > > Class protein_a_expression_process_located_in_tissue_b > subclassOf expression and produced some protein_a and located_in > some tissue e > annotation: has_evidence: traceable author statement, cites > evidence source: c > > No disagreement. But also not so much power. > > I have proposed in other mail (on this list, I think) that one may > strengthen this, either as hypothesis, or by conviction by making > the "overstatement" > > expression and produced some protein_a > equivalentClass protein_a_expression_process_located_in_tissue_b > equivalentClass protein_a_expression_process_located_in_tissue_e > > Now if tissue e and tissue b are disjoint, there would be a > contradiction. > > Or we could hypothesize that > > expression and produced some protein_a > equivalentClass > unionOf(protein_a_expression_process_located_in_tissue_b, > protein_a_expression_process_located_in_tissue_e) > > Given what's been said so far, we can't actually tell which of > these two cases is supposed to be meant. > > And even my version doesn't handle parts very well. In the case of > cellular components, for example, we want to be able to say that > it's active in the cell and it's active in the E.R. and not have > that be inconsistent because the because every E.R. is part of some > cell. > > -Alan > > > > > > On May 17, 2007, at 1:00 PM, Pat Hayes wrote: > >> >>> > How would you say e.g. "protein a is expressed in tissue b, >>> according to >>>> source c"? >>> >>> through something like >>> >>> <protein_a_expression_process> <has_participant> <protein_a> . >>> <protein_a_expression_process> <located_in> <tissue_b> . >>> <protein_a_expression_process> <described_by> <source_c> . >> >> OK, but suppose source d disagrees, and says that a is expressed >> in e. Now you have >> >> <protein_a_expression_process> <located_in> <tissue_e> . >> <protein_a_expression_process> <described_by> <source_d> . >> >> and its all about the same process. What now associates d with e, >> and c with b? You just have five triple all with the same subject. >> >> Pat Hayes. >> >>> -- Matthias Samwald >>> >>> >>> Yale Center for Medical Informatics, New Haven / >>> Section on Medical Expert and Knowledge-Based Systems, Vienna / >>> http://neuroscientific.net >>> >>> >>> . >>> -- >>> Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! >>> Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer >> >> >> -- >> --------------------------------------------------------------------- >> 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 >> >> > > Bill Bug Senior Research Analyst/Ontological Engineer Laboratory for Bioimaging & Anatomical Informatics www.neuroterrain.org Department of Neurobiology & Anatomy Drexel University College of Medicine 2900 Queen Lane Philadelphia, PA 19129 215 991 8430 (ph) 610 457 0443 (mobile) 215 843 9367 (fax) Please Note: I now have a new email - William.Bug@DrexelMed.edu
Received on Friday, 18 May 2007 06:45:09 UTC