Semantic Web Rule Languages and Rule Interchange on the Web
From Wiki
- topic := Semantic Web
- primaryTopic := Semantic Web Rules
- secondaryTopic := Rule Interchange
Contents |
Outline
The main goal of this tutorial is to give an introduction into the state-of-the-art of Semantic Web rule languages and rule interchange on the Web. Starting from the basics of the Semantic Web and rule languages, the tutorial will discuss the various issues of rule interchange, and will then present the approaches of RuleML, REWERSE I1 and W3C-RIF.
In this tutorial, you will learn...
- Basic knowledge about ontology languages and ontology tools
- Basic knowledge about the main rule languages such as F-Logic, RuleML, SWRL, Jena Rules, N3, SWSL Rules, WSML-Rules
- How to build application vocabularies using RDF(S), OWL and tools
- How to design and implement rules in top of vocabularies using rule languages.
- Basic knowledge about REWERSE I1 approach on semantic web rules
- What is RIF and what are the requirements for rules interchange.
- How to use an interchange language.
- A basic architecture for interchanging
- Which rule languages deal with Web Services
Overview of Semantic Web and Semantic Web Rule Languages
This part presents the basic concepts of Semantic Web and about rule languages as well as significant rule languages such as F-Logic, RuleML, SWRL, Jena Rules, N3, SWSL Rules, WSML-Rules.
Slides. Estimated Time: 35'
Semantic Web Rule Engineering
The goal of this part is to accommodate the participants with the concept of rule: what is a rule, different kinds of rules, where rules have to be used, etc. Next, we present different modeling approaches for rules vocabularies using Semantic Web languages such as RDF(S) and OWL. The core of this part consists of examples and demonstrations of building rules in top of vocabularies either from scratch also using visual tools.
Slides. Estimated Time: 35'
The REWERSE Semantic Web Rule Markup Language
This tutorial part is concerned with the presentation and usage of the ERDF rule markup language. It starts with a brief survey of the language and continues with examples of rules, analysis of constructs.
Slides. Estimated Time: 35'
Rule Interchange
The W3C Rule Interchange Format WG
The RIF WG launched by W3C in is a joint effort both from academia and industry with the main goal to design a standard for a rule interchange format. The participants will find information about:
- the RIF requirements,
- RIF Examples
- actual state-of-the-art
- description and implementation of some specific use cases including interchange examples such as between F-Logic and JBoss Rules or between OCL and SWRL.
Slides. Estimated Time: 20'
SWSL Rules
SWSL Rules language is a logic-based language for specifying formal characterizations of Web service concepts and descriptions of individual services. It includes two sublanguages: SWSL-FOL -- a full first-order logic language, which is used to specify the service ontology (SWSO), and SWSL-Rules -- a rule-based sublanguage, which can be used both as a specification and an implementation language.
Slides. Estimated Time: 20'
WSML-Rule Language
This rule language is another actor on the Semantic Web community which was developed by ESSI WSML working group, part of the ESSI WSMO working group in DERI. The language follows the compatibility with OWL vocabularies. We present the WSML-Core as a platform for developing vocabularies and WSML-Rule on top of WSML-Core.
Slides. Estimated Time: 20'
