Science Environment for Ecological Knowledge
Ecoinformatics site parent site of Partnership for Biodiversity Informatics site parent site of SEEK - Home
Science Environment for Ecological Knowledge









 

 

 



SMS Hot Topics

Difference between version 32 and version 18:

Line 1 was replaced by line 1
- __Current Development Tasks __
+ !!Current Tasks
Line 3 was replaced by line 3
- * bugzilla summary here ...
+ !Research
At line 4 added 8 lines.
+ * Languages
+ ** Syntax and semantics of semantic annotations
+ ** Approach for actors
+ ** Query/Function annotations
+ * Algorithms
+ ** Semantic compatibility checking
+ ** Semantic propagation algorithms and framework
+ ** Merging and integration
Line 6 was replaced by line 14
- __A grammar for semantic annotations__
+ !Development
Line 8 was replaced by lines 16-24
- * Note that parenthesis {{( )}} are used to define the syntax, e.g., {{( ... )*}} means zero or more, {{( ... )+}} means one or more, and {{( ... )?}} means zero or one.
+ * APIs
+ ** Published interface for semantic search and required back-end operations
+ * Languages
+ ** Serialization syntax for semantic annotations (for actors especially)
+ * Implementation
+ ** Implementation for semantic search API for Kepler Object Manager
+ ** Implement workflow semantic type check
+ ** Implement search for actor port and dataset annotations
+ ** Define the needed gui extensions
At line 10 added 6 lines.
+
+ !!A Syntax for Semantic Annotations
+
+ Here is the current grammar for semantic annotation expressions. Note that parenthesis are special symbols used to define the grammar, e.g., {{( ... )*}} means zero or more, {{( ... )+}} means one or more, and {{( ... )?}} means zero or one.
+
+
Line 14 was replaced by line 36
- [2] Annotation ::= ItemExp ( "," ItemExp )* "==>" OntExp
+ [2] Annotation ::= ItemExp "==>" OntExp
Line 16 was replaced by lines 38-39
- [3] ItemExp ::= "/" ItemPath
+ [3] ItemExp ::= "/" ItemPath |
+ "name(" ItemPath ")"
Line 21 was replaced by line 44
- "."
+ "."
Line 31 was replaced by lines 54-55
- [8] OntExp ::= ConceptName ( Var )? ( OntPath )?
+ [8] OntExp ::= ConceptName ( Var )? ( OntPath )? |
+ "#" IndividualName ( OntPath )?
Line 34 was replaced by lines 58-59
- [9] OntPath ::= "." RoleName ( "#" ConceptName )? ( Var )? ( OntPath )?
+ [9] OntPath ::= "." RoleName ( "#" ConceptName )? ( Var )? ( OntPath )? |
+ "." RoleName ( "#" IndividualName )? ( OntPath )?
At line 36 added 12 lines.
+ The terminal symbols consist of ConceptName, IndividualName, RoleName, and VarName denoting ontology concept identifiers, ontology individual identifiers, ontology role names, and variable names, respectively.
+
+
+
+ __The Semantics of Semantic Annotations__
+
+
+ ## Need to define the scope of of variables within an annotation group
+ ## Need to determine what having the same variable on the right and left sides means.
+
+
+ __A Simple XML Encoding/Wrapping for Semantic Annotations__

Back to SMS Hot Topics, or to the Page History.