1 / 21

REWERSE REasoning on the WEb with Rules and SEmantics

EU Network of Excellence. REWERSE REasoning on the WEb with Rules and SEmantics. http://rewerse.net September 15th, 2005. REWERSE – Reasoning on the Web The project. European Network of Excellence EU 6th Framework Programme Project no. 506779

barelas
Download Presentation

REWERSE REasoning on the WEb with Rules and SEmantics

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

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

  3. REWERSE and the Semantic Web VisionSemantic Web systems require reasoning • Current Web • Rendering data • Semantic Web • Meaning of Web datamachine accessible … • through meta-data and(meta-)data processing • Automatic reasoning with data possible • Semantic Web applications require • Reasoning capabilities • Underlying reasoning languages& systems should be • Functionality and application independent • Functioning as generic building stones “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. rewerse.net

  4. Reasoning on the (Semantic) WebSemantic 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.net

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

  6. REWERSE Workpackages4 core work areas, 12 workpackages Web reasoning languages and their processing I1: Rule Markup I2: Policies I3: Composition & Typing I4: Query I5: Evolution Dissemination Activities ET: Education and Training TTA: Technology Transfer Advanced Web Applications A1: Time & Location A2: Bioinformatics A3: Personalisation Assessment and Management PRA: Assessment M: Management rewerse.net

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

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

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

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

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

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

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

  14. REWERSE – Advanced Web Applications Personalized Information Systems (A3) • Objectives • Personalized Information Systems that • Optimize access to digital information according to the needs and requirements of each end user • Use-scenarios • 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 • Automated extraction of semantic information • Rules to reason over publication data and project info • Personalization, visualization services to syndicate results rewerse.net

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

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

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

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

  19. Co-operation with Other NetworksDissemination and Awareness • Knowledge Web • Joint awareness event 2005 • Educational infrastructure VISWE • Joint flyer • AgentLink III • Contributions to newsletter • Joint meetings • FP6 Collaboration Workshop • KnowledgeBoard 2.0 • Presentation of REWERSE at KB in May 2005 • Promotion of REWERSE events using KB infrastructure rewerse.net

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

  21. Contact Informationhttp://rewerse.net/contact.html • Network Co-ordinator • François Bry, Munich (rewerse.net/~bry) • Manager • Uta Schwertel, Munich (rewerse.net/~schwertel) • Technology Transfer • Andrea Kulas (rewerse.net/TTA/) http://rewerse.net rewerse.net

More Related