| 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 Syntax 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 32 was replaced by line 55 |
| - IndividualName ( OntPath )? |
| + "#" IndividualName ( OntPath )? |
| At line 38 added 1 line. |
| + The terminal symbols consist of ConceptName, IndividualName, RoleName, and VarName denoting ontology concept identifiers, ontology individual identifiers, ontology role names, and variable names, respectively. |
| Removed line 40 |
| - NOTE: If there is a way to add a function to get node labels, we should add it! |
| At line 45 added 3 lines. |
| + ## 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. |
| + |
