Project Presentation Year 3 European Network of Excellence

Project Presentation Year 3 European Network of Excellence REWERSE Reasoning on the Web with Rules and Semantics Uta Schwertel, University of Munich 24 May 2007

REWERSE – Reasoning on the Web The project EU Network of Excellence (FP 6) n IST - “Semantic-based knowledge systems” n Funded by EC and Switzerland with 5, 5 Mio € n Duration: March 2004 – February 2008 Networking … n Over 100 researchers from 27 institutions in 14 European countries organized in 13 groups … Excellence in research on n Reasoning on the Web with Rules & Semantics REWERSE at Year 3 Uta Schwertel 24 May 2007 2

Portfolio of REWERSE Activities Reasoning Languages for Advanced Web Systems Web reasoning languages & processing n Define minimal set of Web reasoning languages n Coherent and inter-operable n Functionality and application independent n Enhanced with support tools Advanced Semantic Web Applications as testbeds n Context-adaptive Web systems n Web-based decision support systems Dissemination n Education and Training n Technology Transfer to industry n Standardization REWERSE at Year 3 Uta Schwertel 24 May 2007 3

REWERSE Workpackages 4 Core Work Areas, 13 Workpackages Web reasoning languages and their processing I 1: I 2: I 3: I 4: I 5: Rule Markup Policies Composition & Typing Query Evolution ET: Education and Training TTA: Technology Transfer STD: Standardisation Advanced Web Applications Assessment and Management A 1: Time & Location A 2: Bioinformatics A 3: Personalisation REWERSE at Year 3 Dissemination Activities PRA: Assessment M: Management Uta Schwertel 24 May 2007 4

Achievements Year 3 Overview Research: SW Reasoning Languages & Applications n Consolidation language definitions & methods n Implementation of stable prototypes (rewerse. net/demos/) n Research publications (rewerse. net/publications. html) Integration n Important joint research activities n Demonstrate added value of No. E instrument! Dissemination n Reasoning Web 2006 Summer School n REWERSE exhibition at “Semantics 2006” n PPSWR 2006, workshops, tutorials n W 3 C standardisation activities REWERSE at Year 3 Uta Schwertel 24 May 2007 5

Reasoning Languages – Main Results I 1: Rule Modelling & Markup Activities n Integrated rule modelling, visualization, verbalization and markup framework supported by tools Languages, Tools and Methodologies n R 2 ML (REWERSE Rule-markup Language) n URML (semi-visual rule modelling) n Strelka (visualization tool) n ERDF (RDF + two negation types) Use-cases n UServ Product Derby Case Study, EU-Rent Case Study Online References (rewerse. net/I 1/) n http: //rewerse. net/demos/i 1. html REWERSE at Year 3 Uta Schwertel 24 May 2007 6

Reasoning Languages – Main Results I 2: Policy Specification, Composition, Conformance Activities n High-level languages & tools for specifying and integrating complex policies (rules to establish trust) n Controlled natural language interfaces Languages, Tools and Methodologies n Protune (rule-based language for trust negotiation) n ACE (controlled English front-end for REWERSE) n Trust negotiation strategies Use-cases n Automated Trust Establishment for e. Commerce (accepted as RIF use-case: www. w 3. org/TR/rif-ucr/) Online References (rewerse. net/I 2/) n Demos rewerse. net/I 2/software. html www. ifi. unizh. ch/attempto/ REWERSE at Year 3 Uta Schwertel 24 May 2007 7

Reasoning Languages – Main Results I 3: Composition and Typing Activities n Typing & component based technologies interoperability & reusability of SW languages Languages, Tools and Methodologies n Reuseware Composition Framework (composition based development of REWERSE-related languages) n Xcerpt. T (Xcerpt Type System) n Pre- and descriptive typing for rule languages Online References (rewerse. net/I 3/) n Demos REWERSE at Year 3 reuseware. sourceforge. net www. ida. liu. se/~artwi/Xcerpt. T rewerse. net/demos/i 3. html Uta Schwertel 24 May 2007 8

Reasoning Languages – Main Results I 4: Reasoning Aware Querying Activities n Versatile query language for heterogeneous Web data Languages, Tools and Methodologies n Xcerpt (Web + SW query language) + vis. Xcerpt n Abstract Machine AMa. Xo. S + Query Algebra for efficient implementation of Xcerpt and beyond n dlv-hex (answer set progr. to combine rules & ontologies) Use-cases n Practical needs of users of Web query languages (I 4 -D 3, RP-2005 -83, RP-2006 -072, several tutorials) Online References (rewerse. net/I 4/) n Demos http: //rewerse. net/I 4/software/Xcerpt/ http: //con. fusion. at/dlvhex/ REWERSE at Year 3 Uta Schwertel 24 May 2007 9

Reasoning Languages – Main Results I 5: Evolution and Reactivity Activities n General Framework for Web Evolution & Reactivity Languages, Tools and Methodologies n r 3 (SW rule engine for reactive rules of diff. formats) n MARS (Modular Active Rules for the SW Framework) n XChange (language to program reactivity on the Web) Use-cases (cf. I 5 -D 2) n Project Information System and Portal n Travel planning scenario n Bioinformatics event broker Online References (rewerse. net/I 5/) n Demos rewerse. net/I 5/r 3/ www. dbis. informatik. uni-goettingen. de/MARS/ www. pms. ifi. lmu. de/projekte/xchange/Prototype. html REWERSE at Year 3 Uta Schwertel 24 May 2007 10

Advanced Web Apps – Main Results A 1: Reasoning with Temporal & Spatial Web Data Activities n Web-based Decision Support for Event, Temporal and Geographical Data Languages, Tools and Methodologies n CTTN (Computational Treatment of Temporal Notions) n MPLL (Symbolic Spatial Specification Language) n EFGT net (represent & reason with named entities) n Several peripheral systems implemented Use-cases n Reasoning with fuzzy temporal relations n Munich public transportation network as test suite Online References (rewerse. net/A 1/) n Demos: http: //rewerse. net/A 1/material. html REWERSE at Year 3 Uta Schwertel 24 May 2007 11

Advanced Web Apps – Main Results A 2: Bioinformatics Semantic Web Activities n Contribute to Semantic Web for life sciences with applications using rules & reasoning on the Web Languages, Tools and Methodologies n Go. Pub. Med (ontology-based search for biomedical literature) Spin-off company Transinsight n Several other prototypes (A 2 -D 4) n Strong links to REWERSE I-groups Use-case suites (A 2 -D 3) n Use of rules to integrate biomedical data n Rules for reasoning over protein interactions Online References (rewerse. net/A 3/) n Demos: http: //rewerse. net/A 2/demos REWERSE at Year 3 Uta Schwertel 24 May 2007 12

Advanced Web Apps – Main Results A 3: Personalized Information Systems Activities n Personalization supported by reasoning on SW data Languages, Tools and Methodologies n Personal Publication Reader n Several SW personalization services, e. g. n e-learning n recommender systems Use-case suite (A 3 -D 2, A 3 -D 6) n Personal Reader Framework: Environment for designing & implementing Personalization Services Online References (rewerse. net/A 3/) n Demos: www. personal-reader. de rewerse. net/demos/a 3. html REWERSE at Year 3 Uta Schwertel 24 May 2007 13

Summary Research Achievements SW Reasoning Languages, Tools & Applications Web Reasoning Languages & Tools n I 1: R 2 ML, URML, Strelka, ERDF n I 2: Protune, Protune-X, ACE, Attempto Tools n I 3: Xcerpt. T, Reuseware Composition Framework n I 4: Xcerpt, AMa. Xo. S, dlvhex n I 5: r 3, MARS, XChange Advanced Web Application n A 1: CTTN, Ge. TS, CTSN, MPLL, Trans. Route, EFGT Net n A 2: Go. Pub. Med, Mesh. Pub. Med, BIOCHAM, Chemera, Sambo, Kit. AMO, Kit. EGA, … n A 3: Personalized Reader Framework: Personal Publication Reader, Personal Reader Agent (My. Ear, My. News) … REWERSE at Year 3 Uta Schwertel 24 May 2007 14

Research – Publication Results In Numbers (rewerse. net/publications. html) 412 peer-reviewed publications at month 36 REWERSE at Year 3 Uta Schwertel 24 May 2007 15

Dissemination – Main Results ET: Education & Training Activities n Education & Training for young researchers on Semantic Web & Reasoning topics Main Results (rewerse. net/ET/) n Annual Summer School “Reasoning Web” (reasoningweb. org) n Semantic Web Curriculum Topics (wiki. ontoworld. org/wiki/Semantic_Web_Topic_Hierarchy) n REASE Repository of SW e-learning material (with Knowledge Web) (rease. semanticweb. org) REWERSE at Year 3 Uta Schwertel 24 May 2007 16

Dissemination – Main Results TTA: Technology Transfer Activities n Increase industry awareness for REWERSE & related Semantic Web topics Main Results (rewerse. net/TTA/) n Dissemination events n Semantic Web Days, Oct 2005 + Sep 2007 (www. semantic-web-days. net) n Stands, e. g. at EBRC, Semantics, Ce. BIT, … n PR activities (press, flyer, posters, strategy. . . ) n Industry education learning structure (T-D 3, T-D 5, T-D 7) n Industry co-operations, e. g. A 2 -Elsevier REWERSE at Year 3 Uta Schwertel 24 May 2007 17

Dissemination – Main Results STD: Standardization Activities n Promote results within standardisation bodies n Support technology transfer Main Results (rewerse. net/STD/) n W 3 C membership of REWERSE since Oct 05 n Active participation in W 3 C groups, mainly n Rule Interchange format WG (RIF) n Semantic Web Health Care and Life Sciences (HCLS) n Preparation of standards submission n External contacts: NRC, DERI, Mitre, Fujitsu REWERSE at Year 3 Uta Schwertel 24 May 2007 18

Dissemination – Main Results Research Dissemination Activities n Public REWERSE researchive n Research events on Reasoning on the Web Main Results n Researchive on rewerse. net n Publications: rewerse. net/publications. html n Deliverables: rewerse. net/deliverables. html n Four Int. Workshops PPSWR (rewerse. net/PPSWR/) n Int. Conference on Web Reasoning and Rule Systems (RR) n Starting June 2007 (rewerse. net/RR/) n Joins PPSWR + Rule. ML + Ro. W to large event REWERSE at Year 3 Uta Schwertel 24 May 2007 19

Contacts and Co-operations Year 3 Outside REWERSE … With other networks and projects n Knowledge Web, MUSING, … n Rule. ML, Salzburg Research, Semantic Web School, W 3 C, DERI, … Various companies n Elsevier, HP labs, ILOG, Jentro, ontoprise, Resprotect, SAP, Scionics, Siemens, Transinsight, Unilever, … n Spin-off Transinsight (A 2) Emerging networking for FP 7 proposals REWERSE at Year 3 Uta Schwertel 24 May 2007 20

Expected Outcome by End of 2008 Reasoning languages Methods and Principles n I 1: Comprehensive rule-interchange format + tools n I 2: Policy negotiation suite with explanations n I 3: Component-based SW language development n I 4: Efficient & scalable query algebra for Xcerpt n I 5: General framework for reactivity on the Web n Formulation of pre-standards for languages Public Release of Prototypes n Stable & comprehensive prototypes for languages n Integration of support tools complete suites Testing on further use-cases (also inter-WP) REWERSE at Year 3 Uta Schwertel 24 May 2007 21

Expected Outcome by End of 2008 Advanced Web Applications A 1: Time & Location n Provide public libraries & servers n which process geotemporal & geospatial notions n which can be used by other (SW) systems A 2: Bioinformatics Semantic Web n Stable & efficient Semantic Web applications for lifesciences using rules & reasoning A 3: Personalisation n Personalization Services offering various personalization functionality, powered by reasoning on Semantic Web data Further integration of results of I-groups REWERSE at Year 3 Uta Schwertel 24 May 2007 22

Expected Outcome by End of 2008 Dissemination Continuation of dissemination activities n Summer School “Reasoning Web” & REASE n Semantic Web Days Training n Face-to-face courses for industry + academia Research dissemination n Annual international conference RR n Possible: Establish electronic journal Standardisation n Contribute to RIF core language plus dialect(s) n Keep W 3 C membership and group participation n W 3 C member submissions of REWERSE outcome Networking structure beyond REWERSE at Year 3 Uta Schwertel 24 May 2007 23

Practical Value & Use of No. E REWERSE Means to Generate Quality Research REWERSE is a research oriented No. E … n Goals similar to STREP or IP, but n More distributed n Wider range of topics: methods & applications … that has demonstrated n High research productivity n Inter-WP cross-fertilization n International transfer of EU research, e. g. W 3 C … that has required n Precise definition of research agenda n Dedicated groups (steering, management, all) REWERSE at Year 3 Uta Schwertel 24 May 2007 24

Practical Value & Use of No. E REWERSE Training, Dissemination and Integration Summer School “Reasoning Web” n Excellent training of young researchers n Widespreading of novel issues & results Dissemination Event “Semantic Web Days” n Good industry transfer instrument n More resources could increase visibility REWERSE has built strong community n On rules and reasoning on the Web n Beyond academia n To be continued & extended (e. g. more SMEs) REWERSE at Year 3 Uta Schwertel 24 May 2007 25

Practical Value in a Nutshell EU funding of No. E REWERSE facilitated … High-quality research & applications n On rules and reasoning on the Web Excellent international working groups n With cross-fertilization Dissemination support for researchers n Increased outreach to industry & academia Educating young researchers within project Basis for long lasting integration & impact n … beyond REWERSE at Year 3 Uta Schwertel 24 May 2007 26

More Information Online References REWERSE Web page n http: //rewerse. net Publications Archive n http: //rewerse. net/publications. html REWERSE Deliverables n http: //rewerse. net/deliverables. html Demos and Screencasts n http: //rewerse. net/demos/ Contact n http: //rewerse. net/contact. html REWERSE at Year 3 Uta Schwertel 24 May 2007 27