REWERSE - reasoning on the web

REWERSE Deliverables

No.
Title
Date
Nature
Dissem.
Level

Leader
I1 - Rule Modeling and Markup
I1-D1
A First-Version Visual Rule Language
M6
R
PU
Eindhoven
I1-D2
First-Version Controlled English Rule Language
M12
R
PU
Eindhoven
I1-D3-1 First-Version Rule Markup Languages
M12
R
PU
Eindhoven
I1-D3-2
Extended RDF as a Semantic Foundation of Rule Markup Languages
M18
R
PU
Cottbus
I1-D4
Strelka - A Visual Rule Modeling Tool
M24
R
CO
Cottbus
I1-D5
XML Code Generation Component for the I1 Rule Modeling Tool M30
R
PU
Cottbus
I1-D6
Verbalization of the REWERSE I1 Rule Markup Language M30
R
PU
Cottbus
I1-D7
Verification and Validation of R2ML Rule Bases M30
R
PU
Cottbus
I1-D8
Language Improvements and Extensions
M24
R
CO
Cottbus
I1-D9
Case Study 1 M36
R
CO
Cottbus
I1-D10
Tool Improvements and Extensions 1 M36
R
PU
Cottbus
I1-D11
Tool Improvements and Extensions 2 M36
R
PU
Cottbus
I1-D12
Consolidation of Language Extensions M48
R
PU
Cottbus
I1-D13 Input to standardization organizations
M48
R
PU
Cottbus
I1-D14
ERDF Implementation and Evaluation M48
R/P
PU
Cottbus
I2 - Policy Specification, Enforcement and Integration
I2-D1
Rule-based Policy Specification: State of the Art and Future Work
M6
R
PU
Naples
I2-D2
Policy Language Specification
M12
R
PU
Naples
I2-D3
A Parser for Attempto Controlled English M12
R/P
PU
Zurich
I2-D4
Advanced Policy Queries
M18
R
PU
Naples
I2-D5
Verbalising Formal Languages in Attempto Controlled English I
M18
R/P
PU
Zurich
I2-D6
Automated Negotiation Mechanisms
M24
R
PU
Naples
I2-D6-1
On Interoperable Trust Negotiation Strategies M36
R
PU
Naples
I2-D7
Attempto Controlled English and the Semantic Web
M24
R/P
PU
Zurich
I2-D8
Semantic Web Policies: where are we and what is still missing - ESWC'06 Tutorial
M30
O
PU
Naples
I2-D9
Attempto Controlled English 5: Language Extensions and Tools I
M30
R/P
PU
Zurich
I2-D10
Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties
M30
R
PU
Turin
I2-D11 Attempto Controlled English 5: Language Extensions and Tools II M36 R/P PU Zurich
I2-D12 Protune's Technical Specifications M36 R CO Naples
I2-D13 Reasoning, Rules and Semantic Wikis M42 R/P PU Zurich
I2-D14 Formal Policy Analysis Techniques for Comparison and Validation M48 R PU Naples
I2-D15 More on Reasoning and Semantic Wikis M48 R/P PU Zurich
I2-D16 Protune M48 P PU Naples
I3 - Composition And Typing
I3-D1
Report on the design of component model and composition technology for the Datalog and Prolog variants of the REWERSE languages
M6
R
PU
Linköping
I3-D2
Types for Web Rule Languages: a preliminary study
M6
R
PU
Nancy
I3-D3
Combining Rules and Ontologies. A survey.
M12
R
PU
Linköping
I3-D4
Types for REWERSE reasoning and query languages
M12
R
PU
Linköping
Warsaw
I3-D5
Prototype component models and composition technology toolset for integration of logic-programming-like REWERSE languages
M18
R
PU
Dresden
I3-D6
Prototype typing tools for REWERSE languages
M24
P
PP
Warsaw
I3-D7
Prototypical composition ontology for rule-based languages M24
R
PP
Dresden
I3-D8
Feedback report on requirements from other working groups M30
R
PU
Dresden
I3-D9
Use of typing tools in selected applications M36
R
RE
Warsaw
I3-D10
Refined composition ontology for rule-based languages, based on the Visual language of I1 M36 R PP
Dresden
I3-D11
Prototype composition technology toolset M42 P PP
Dresden
I3-D12
Typing composition of rule-based languages M48 R PU
Dresden
I3-D14
Composition Framework and Typing Technology tutorial M48 R PU
Dresden
I4 - Reasoning-aware Querying
I4-D1
Survey over Existing Query and Transformation Languages
M6
R
PU
Munich
I4-D2
Identification of Design Principles
M6
R
PU
Munich
I4-D3 Development of Use Cases, Part I
M12
R
PU
Munich
I4-D4 Initial draft of a possible declarative semantics for the language
M12
R
PU
Munich
I4-D5
Simulation Unification
M18
R
PU
Munich
I4-D6
Initial Draft of a Language Syntax
M18
R
PU
Munich
I4-D7
Efficient Framework for Xcerpt Processing: Principles and Architecture of the AMaχoS Abstract Machine for Xcerpt M24
R
PU
Munich
I4-D8
Declarative Semantics and Query Core for the Xcerpt Query Language M24
R
PU
Munich
I4-D9a
Survey over Existing Query and Transformation Languages - Revision 2.0 M24
R
PU
Munich
I4-D9b
Identification of Design Principles M24
R
PU
Munich
I4-D10
An Abstract Machine for Xcerpts Single-Rule Programs: Theory and Practice M30
R
PU
Munich
I4-D11
Refinement of Principles of the Xcerpt Processors M30
R
PU
Munich
I4-D12 Xcerpt 2.0: Specification of the (Core) Language Syntax M36 R PU Munich
I4-D13 Prototypical Implementation of Xcerpt: Xcerpt 1.0 Prototype and Beyond M36 R/P PU Munich
I4-D14 Exploring and Taming Existence in Rule-based RDF Queries M42 R/P PU Munich
I4-D15a Scalable, Space-optimal Implementation of Web Queries - Part 1: Data Model, Queries, and Translation M42 R/P PU Munich
I4-D15b Scalable, Space-optimal Implementation of Web Queries - Part 2: CIQCAG Algebra and Evaluation M42 R/P PU Munich
I4-D16 Initial Specification of a Language Extension with Types and Type Checking M48 R PU Munich
I4-D17 Testing of the Language Implementations M48 R PU Munich
I4-D18 Chaining with Memory in Xcerpt M48 R PU Munich
I5 - Evolution and Reactivity
I5-D1
State-of-the-art on evolution and reactivity
M6
R
PU
Lisbon
I5-D2
Use-cases on evolution
M12
R
PU
Lisbon
I5-D3
Use-cases on reactivity
M12
R
PU
Dresden
I5-D4
Specification of a Model, Language and Architecture for Reactivity and Evolution
M18
R
PU
Lisbon
I5-D5 A first prototype on evolution and behaviour at the XML-Level M30
R
PU
Lisbon
I5-D6 Reactive rule ontology: RDF/OWL level M36 R PU Lisbon
I5-D7 Completion of the prototype scenario M36
R/P
PU
Lisbon
I5-D8
Realistic information integration application M42
R/P
PU
Dresden
I5-D9
Prototype on the RDF/OWL level M42
R/P
PU
Lisbon
I5-D10
Pre-standardization of the language M48
R
PU
Göttingen
A1 - Event, Temporal, and Geographical Data
A1-D1
Geotemporal Reasoning: Basic Theory
M6
R
PU
Munich
A1-D10-1
Implementation: GeTS - A Specification Language for Geo-Temporal Notions
M12
R
PU
Munich
A1-D2
Geospatial Reasoning: Basic Concepts and Theory
M12
R
PU
Munich
A1-D4
Ontology of Transportation Networks
M18
R
PU
Munich
A1-D5
Ontology Driven Visualisation of Maps with SVG
M18
R
PU
Munich
A1-D6
Dynamic Data for Geospatial Reasoning - A Local Data Stream Management System (L-DSMS) and a Case Study with RDS-TMC M24
R
PU
Munich
A1-D7
NL Navigation Commands from Indoor WLAN fingerprinting position data M30
R
PU
Munich
A1-D8
An International Appointment Scheduling System - Requirement Analysis M42
R
PU
Munich
A1-D10-2
Implementation: The CTTN-System, Version 2007 M48
R
PU
Munich
A1-D10-3
Implementation: L-DSMS - A Local Data Stream Management System M48
R
PU
Munich
A2 - Adding Semantics to the Bioinformatics Web
A2-D1
State-of-the-art in Bioinformatics
M6
R
PU
Dresden
A2-D2
Usage of Bioinformatics Tools and Identification of Information Sources
M12
R
PU
Dresden
A2-D3
Requirements and specification of bioinformatics use cases
M18
R
PU
Dresden
A2-D4
Bioinformatics Demonstrators
M24
R
PU
Dresden
A2-D5
Links to other WGs
M30
R
PU
Dresden
A2-D6
Implementation of prototypes M36
R
PU
Dresden
A2-D7 GoPubMed: ontology-based literature search for the life sciences M42 R PU Dresden
A2-D8 Reasoning over networks with BioRevise and PowerGraphs M48 R PU Dresden
A2-D9 Job search with GoPubMed M48 R PU Dresden
A3 - Personalized Information Systems
A3-D1
Personalization Functionality for the Semantic Web: Identification and Description of Techniques
M6
R
PU
Hannover
A3-D2
Thread on Testbeds
M12
R
PU
Turin
A3-D3
Personalized Portal for REWERSE
M12
R
PU
Hannover
A3-D4
Personalization for the Semantic Web II
M18
R
PU
Hannover
A3-D5
Testbeds and Prototypes
M18
R
PU
Hannover
A3-D6
Testbeds II - Early Prototypes
M24
R/P
PU
Hannover
Turin
A3-D7
Personalization for the Semantic Web III
M30
O
PU
Hannover
A3-D8
Testbeds: overview and state M36 R PU Turin
A3-D9
Personalized Portals - Personal Reader Framework, and Prototypes MyEar and MyNews M36
P
PU
Hannover
A3-D10 Personal Information Systems in the Semantic Web - Lesson Learnt and Best Practices M42 R PU Hannover
A3-D11
Testbeds M48 R PU Turin
A3-D12
An infrastructure for Web Service-based personalization in the Semantic Web: the Personal Reader Framework M48 R PU Hannover
ET - University Education and Training
E-D1
Existing university courses on the Semantic Web M6
R
PU
Linköping
E-D2
Co-operation with VISWE M12
R
PU
Hannover
E-D3 Spring or Summer School I M12
O
PU
Linköping
Munich

E-D4
Design of the Educational Infrastructure
M12
R
PU
Hannover
E-D5
REWERSE graduate courses: a preliminary list M12
R
PU
Linköping
E-D6
Educational infrastructure: A preliminary version M18
R
PU
Hannover
E-D7
Graduate Education Curriculum on the Semantic Web - a first draft M24
R
PU
Linköping
E-D8-1
Spring or Summer School II.1 M24
R
PU
Linköping Munich
E-D8-2
Spring or Summer School II.2 M30
R
PU
Linköping Munich
E/T-D9
Educational and Industrial Training Infrastructure: A Progress Report M36
R
PU
Hannover
E-D10-1
Spring or Summer School III.1 M36
R
PU
Linköping Munich
E-D11
The structure of the Semantic Web Topics: Progress Report and Applications M42
R
PU
Linköping
E-D12
Final Report on Summer Schools M48
R
PU
Linköping Munich
E-D13
Final Report on ET Educational Effort M48
R
PU
Linköping
E/T-D14
Final Educational and Industrial Training Infrastructure M48
R/P
PU
Hannover
TTA - Technology Transfer and Awareness
T-D1
Awareness-Raising Campaign for REWERSE Research and Technologies in the European Industry
M6
R/O
PU
webXcerpt
T-D2
Cooperation with Knowledge Web and other projects
M12
R
PU
Hannover
T-D3
Report on existing REWERSE specific courses on the Semantic Web suitable for the industry.
M12
R
PU
Telefonica
T-D4
Design of the Educational Infrastructure
M12
R
PU
Hannover
T-D5
REWERSE industrial training modules: a preliminary list
M18
R
PU
Telefonica
T-D6
Industrial Training Infrastructure: a preliminary version M24
R
PU
webXcerpt
T-D7 Definition of a Learning Structure & Work-plan for the development of industrial modules M24
R
PU
Telefonica
T-D8
Awareness Event I: REWERSE at the KM Europe 2004 M24
R
PU
webXcerpt
E/T-D9
Educational and Industrial Training Infrastructure: A Progress Report M36
R
PU
Hannover
T-D10
Awareness Event II: Semantic Web Days 2005 M36 R PU webXcerpt
T-D11
Guidelines for the adaptation of existing REWERSE specific courses to the industry M48 R PU Telefonica
T-D12
Awareness Event III: Semantic Web Days 2007 M48 R PU webXcerpt
E/T-D14
Final Educational and Industrial Training Infrastructure M48
R/P
PU
Hannover
PRA - Presentation, Reviewing and Assessment
P-D1
Web-based Project Presentation of REWERSE
M6
R
PU
Munich
P-D2
REWERSE Yearly Reviewing and Assessment Report (Year 1)
M10
R
PU
Munich
P-D3
Update of the Project Presentation
M18
R
PU
Munich
P-D4
REWERSE Yearly Reviewing and Assessment Report (Year 2)
M22
R
RE
Munich
P-D5
Update of the Project Presentation
M36
O
PU
Munich
P-D6
REWERSE Yearly Reviewing and Assessment Report (Year 3)
M34
R
RE
Munich
P-D7
Update of the Project Presentation
M42
O
PU
Munich
P-D8
REWERSE Yearly Reviewing and Assessment Report (Year 4)
M48
R
RE
Munich
P-D9
REWERSE Final Reviewing and Assessment Report
M48
R
RE
Munich
P-D10
Report on the Promotion of Gender Equality in REWERSE
M48
R
PU
Hannover
Optional Deliverables
I4-Dx1
Structural Summaries as a Core Technology for Efficient XML Retrieval M36
R
RE
Munich
I4-Dx2
RDF Querying in Xcerpt
M48
R
PU
Munich
E-Dx1
Reasoning Web: Summer School Board and Charter
M30
R
PU
Munich
STD-D1
Use Cases for a Rule Interchange Format M24
R
PU
Munich


Explanations

Date

M6: August 2004
M12: February 2005
etc.

Nature

R: Report
P: Prototype
R/P: Report and Prototype
O: Other

Dissemination Level

PU: Public
PP: restricted to other FP6 participants
RE: restricted to specified group
CO: confidential, only for REWERSE partners

go to top of page