rewerse reasoning on the web with rules and semantics eu network of excellence september 15th, 2005

REWERSEREasoning on the WEb with Rules and SEmantics

EU Network of Excellence

http://rewerse.netSeptember 15th, 2005

September 15th, 2005rewerse.net 2REWERSE Overview

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 and the Semantic Web VisionSemantic Web systems require reasoning

Current Web Rendering data

Semantic Web Meaning of Web data

machine 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.


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 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 Workpackages4 core work areas, 12 workpackages

Web reasoning languages and their processing I1: Rule Markup I2: Policies I3: Composition & Typing I4: Query I5: Evolution

Advanced Web Applications

A1: Time & Location A2: Bioinformatics A3: Personalisation

Assessment and Management PRA: Assessment M: Management

Dissemination Activities ET: Education and Training TTA: Technology Transfer


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 – 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 – 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 – 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 – 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 – 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



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



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 – 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 – 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 – Dissemination Activities Research

PPSWR Workshop Series (since 2003) “Principles and Practice of

Semantic Web Reasoning” PPSWR 2005

Dagstuhl, Germany, 11-16 September 2005 http://contraintes.inria.fr/~fages/PPSWR05/

REWERSE Publication Browser http://rewerse.net/publications.html


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


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


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


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 reasoning on the web with rules and semantics eu network of excellence september 15th, 2005

Documents

markup of rules

automated reasoning

netrewerse overviewreasoning

rules constraintsconstraint

inference rules

business facts

tools rewerse

rule markup i2