EU Network of Excellence REWERSE REasoning on the

EU Network of Excellence REWERSE REasoning on the WEb with Rules and SEmantics http: //rewerse. net September 15 th, 2005

REWERSE – Reasoning on the Web The project European Network of Excellence n EU 6 th Framework Programme n Project no. 506779 n IST Objective “Semantic-based knowledge systems” n Funded by EC and Switzerland (ca. 5 Mio €) n Start: March 1, 2004 (scheduled for 4 years) Networking … n Over 100 researchers from 27 participating institutions in 13 European countries … excellence in research n logic programming, reasoning with rules & constraints n constraint and rule-based languages n Web systems REWERSE Overview rewerse. net September 15 th, 2005 2

REWERSE and the Semantic Web Vision Semantic Web systems require reasoning Current Web n Rendering data Semantic Web n Meaning of Web data machine accessible … n through meta-data and (meta-)data processing n Automatic reasoning with data possible “The Semantic Web is an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in cooperation. ” Tim Berners-Lee, James Hendler, and Ora Lassila. Scientific American, May 2001. Semantic Web applications require n Reasoning capabilities n Underlying reasoning languages & systems should be n Functionality and application independent n Functioning as generic building stones REWERSE Overview rewerse. net September 15 th, 2005 3

Reasoning on the (Semantic) Web Semantic Web Protocol Stack “For the semantic web to function, computers must have access to [. . . ] sets of inference rules that they can use to conduct automated reasoning. ” Tim Berners-Lee, James Hendler, and Ora Lassila. Scientific American, May 2001. REWERSE Overview rewerse. net September 15 th, 2005 4

REWERSE Objectives Reasoning languages for advanced Web systems Web reasoning languages & processing n Define set of reasoning languages n Coherent n Inter-operable n Functionality and application independent n For Advanced Web systems and applications Advanced Applications as testbeds for languages n Context-adaptive Web systems n Web-based decision support systems Dissemination and Standardization n Dissemination to industry and academe n Develop open pre-standards of languages REWERSE Overview rewerse. net September 15 th, 2005 5

REWERSE Workpackages 4 core work areas, 12 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 Advanced Web Applications Assessment and Management A 1: Time & Location A 2: Bioinformatics A 3: Personalisation REWERSE Overview Dissemination Activities PRA: Assessment M: Management rewerse. net September 15 th, 2005 6

REWERSE – Research Web Issues Rule Modeling and Markup (I 1) Objectives n Develop integrated framework and tools for … n modeling, visualization, verbalisation, markup of rules n to facilitate use of rule formalisms and technologies Use-scenario n Build new E-business Web application, e. g. for constructing mortgage loan offer, on the basis of n Formalized business vocabularies and business rules n Reasoning with business facts and rules Challenges n Capture vocabulary, facts, rules in one visual model n Automatically verbalise facts and rules for non-experts n Use markup language to n Publish vocabularies and rules on the Web n Exchange them between different systems and tools REWERSE Overview rewerse. net September 15 th, 2005 7

REWERSE – Research Web Issues Policy Specification, Composition & Conformance (I 2) Objectives n Design policy languages and systems that n Enhance user privacy, Web service usability n Improve user control, explanation facilities Use-scenario n Granting a person access to a restricted Web service Challenges n Machine understandable representation of policies n User-friendly way to specify and explain policies (using controlled natural language) n Diverse rule-based reasoning REWERSE Overview rewerse. net September 15 th, 2005 8

REWERSE – Research Web Issues Composition and Typing (I 3) Objectives n Re-use technology for Semantic Web: Create composition framework for joint use of different rule and ontology languages n Type system for REWERSE reasoning languages Use-scenario n Web shops for companies from different application domains that are individually tailored yet based on re-usable inter-operable components Challenges n Integrate different rule/ontology components n Enhance inter-operability REWERSE Overview rewerse. net September 15 th, 2005 9

REWERSE – Research Web Issues Reasoning-aware querying (I 4) Objectives n Querying and reasoning language to grant more “meaningful” access to (Semantic) Web data n Querying with novel query constructs to handle incompleteness, optionality, grouping, … n Reasoning capabilities to cope with heterogeneous, incomplete and inconsistent information Use-scenario n Intertwining of Standard & Semantic Web Querying n Querying literature DBs using semantic classifications Challenges n Versatility of query language n Data and meta-data interchangeable n Visualisation and verbalisation of query language REWERSE Overview rewerse. net September 15 th, 2005 10

REWERSE – Research Web Issues Evolution and Reactivity (I 5) Objectives n Define languages and tools to deal with n Reactivity n Evolution n Changes in the Web Use-scenario n Set of resources of travel agencies and airline companies: n Make reservations via travel agencies and automatically make the corresponding airline company aware Challenges n Specify updates in distributed scenario n Language for propagating/communicating updates REWERSE Overview rewerse. net September 15 th, 2005 11

REWERSE – Advanced Web Applications Time and Location (A 1) Objectives n Provide Web-systems with built-in support for geotemporal, geospatial and topical reasoning Use-scenario n Path planning: “Where is the nearest pharmacy with medication xyz in stock? ” n Appointment scheduling system taking into account different time zones or calendar systems Challenges n Development of precise and versatile theories n Integration into XML query languages, ontology specification systems, logic based inference systems REWERSE Overview rewerse. net September 15 th, 2005 12

REWERSE – Advanced Web Applications Towards a Semantic Web for Bioinformatics (A 2) Objectives n Develop core of Bioinformatics Semantic Web, e. g. n Novel reasoning based solutions for n Rules to formulate complex queries n Consistent integration of bioinformatics data n Adaptive portals for molecular biologists Use-scenario n Go. Pub. Med: Ontology-based search engine for biomedical literature. Find literature answering: “Which enzymes does Levamisole inhibit? ” Challenges n Explosion of online accessible bioinformatics data and tools n Granting automated, quick and user-friendly access to data REWERSE Overview rewerse. net September 15 th, 2005 13

REWERSE – Advanced Web Applications Personalized Information Systems (A 3) Objectives n Personalized Information Systems that n Optimize access to digital information according to the needs and requirements of each end user Use-scenarios n Personal Publication Reader: Browse publication information from REWERSE members stored on distributed sources: “List all 2005 REWERSE publications of members of the REWERSE participant Munich. ” Challenges n Automated extraction of semantic information n Rules to reason over publication data and project info n Personalization, visualization services to syndicate results REWERSE Overview rewerse. net September 15 th, 2005 14

REWERSE – Dissemination Activities Education and Training (ET) Objectives n Semantic Web Education n Curricula, E-learning material, educational infrastructure n Spreading excellence n Yearly Summer School n Web-based courses Events 2005 n Reasoning Web Summer School n Malta, 25 -29 July, 2005 n http: //reasoningweb. org n Springer Proceedings of Lecture notes REWERSE Overview rewerse. net September 15 th, 2005 15

REWERSE – Dissemination Activities Technology Transfer and Awarenss (TTA) Objectives n Awareness in industry and within REWERSE n Promotional material, contacts, … n Knowledge dissemination in industry n Awareness events n Courses for industry Upcoming Events 2005 n Semantic Web Days 2005 n Industry awareness event (with Knowledge Web) n Munich, 6 -7 October, 2005 n http: //www. semantic-web-days. net REWERSE Overview rewerse. net September 15 th, 2005 16

REWERSE – Dissemination Activities Research PPSWR Workshop Series (since 2003) n “Principles and Practice of Semantic Web Reasoning” n PPSWR 2005 Dagstuhl, Germany, 11 -16 September 2005 n http: //contraintes. inria. fr/~fages/PPSWR 05/ REWERSE Publication Browser n http: //rewerse. net/publications. html REWERSE Overview rewerse. net September 15 th, 2005 17

REWERSE – Management Assessment (PRA) and Management (M) Presentation, Reviewing and Assessment (PRA) n Internal monitoring and reviewing n Internal quality assessment n Co-operation to other projects n Presentation of REWERSE to wider audience Management (M) n Interface to EC commission n Network organisation and integration n Management of (financial) resources n Network meetings REWERSE Overview rewerse. net September 15 th, 2005 18

Co-operation with Other Networks Dissemination and Awareness Knowledge Web n Joint awareness event 2005 n Educational infrastructure VISWE n Joint flyer Agent. Link III n Contributions to newsletter n Joint meetings n FP 6 Collaboration Workshop Knowledge. Board 2. 0 n Presentation of REWERSE at KB in May 2005 n Promotion of REWERSE events using KB infrastructure REWERSE Overview rewerse. net September 15 th, 2005 19

Conclusion and Viewpoints The project REWERSE is unique … In its research focus n Emphasis on Web reasoning languages & their apps. n Coherent set of inter-operable languages In breadth and depth of integration n Members from heterogeneous communities n Coherence of languages fosters integration n Broad set of languages deep research in each field In bridging between concrete applications and general-purpose languages n A-WGs pose requirements to I-WGs n I-WGs test their premises and technologies on concrete applications from A-WGs REWERSE Overview rewerse. net September 15 th, 2005 20

Contact Information http: //rewerse. net/contact. html http: //rewerse. net Network Co-ordinator n François Bry, Munich (rewerse. net/~bry) Manager n Uta Schwertel, Munich (rewerse. net/~schwertel) Technology Transfer n Andrea Kulas (rewerse. net/TTA/) REWERSE Overview rewerse. net September 15 th, 2005 21