SEEK-Wiki: KRSMS Semantic Annotation Language

-SEEK-Home
About SEEK
Tools
Education
Publications
Opportunities
Community
About This Site
Calendar
+            KRSMS Semantic Annotation Language
         
          
            Your trail: EcoGridIdentifiers | EcoGridWebDesignNotes | CertificateAuthorityDesign | EcoGridConferenceCallNotes7Sep2004 | EcoGridConferenceCallNotes17Sep2004 | KRSMSMeasurement | SparrowLanguage | SemanticsInKepler | KRSMSOntoCreationGuide | SMSServiceInterfaces
         
      

      

      

      
         



      
          Difference between 
          version 123 
          and 
          version 122:
          

          
At line 148 added 9 lines.
+ The atoms can be composed to form more complex expressions as follows. Atoms {{x:T}} and {{x[[A1=y]}} can be composed to form  the expression {{x:T[[A1=y]}}. Atoms {{x[[A1=y]}} and {{x[[A2=z}} can be composed to form the expression {{x[[A1=y, A2=z]}}. In a similar way, atoms and expressions can be composed to form additional expressions.
+
+ The same syntax is used to describe the meaning of an annotation.  In paricular, {{T}} must be a concept label, and A1 a property label.
+
+ The meaning of a full annotation can be interpreted as follows. Define {{var}} function. Then we have {{forall var(...) ... -> exists var(...) ...}}
+
+ For instance, ...
+
+


          

      

      

      
      Back to KRSMS Semantic Annotation Language,
       or to the Page History.
 KRSMS Semantic Annotation Language
 Your trail: EcoGridIdentifiers | EcoGridWebDesignNotes | CertificateAuthorityDesign | EcoGridConferenceCallNotes7Sep2004 | EcoGridConferenceCallNotes17Sep2004 | KRSMSMeasurement | SparrowLanguage | SemanticsInKepler | KRSMSOntoCreationGuide | SMSServiceInterfaces
 At line 148 added 9 lines.
++ The atoms can be composed to form more complex expressions as follows. Atoms {{x:T}} and {{x[[A1=y]}} can be composed to form  the expression {{x:T[[A1=y]}}. Atoms {{x[[A1=y]}} and {{x[[A2=z}} can be composed to form the expression {{x[[A1=y, A2=z]}}. In a similar way, atoms and expressions can be composed to form additional expressions.
++
++ The same syntax is used to describe the meaning of an annotation.  In paricular, {{T}} must be a concept label, and A1 a property label.
++
++ The meaning of a full annotation can be interpreted as follows. Define {{var}} function. Then we have {{forall var(...) ... -> exists var(...) ...}}
++
++ For instance, ...
++
++

This material is based upon work supported by the National Science Foundation under award 0225676. Any opinions, findings and conclusions or recomendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).


Long Term Ecological Research Network, UNM	National Center for Ecological Analysis and Synthesis, UCSB	Biodiversity Research Center, KU	San Diego Supercomputer Center, UCSD


Arizona State University	Napier University	University of North Carolina	University of Vermont


UC Davis Genome Center

Copyright 2004 Partnership for Biodiversity Informatics, University of New Mexico, The Regents of the University of California, and University of Kansas