Semantic Web Advanced Development

8 May 2002
WWW2002
Honolulu, Hawaii, USA

http://www.w3.org/2002/Talks/0508-swad/

Ralph Swick, Dan Brickley

SWAD Objectives

SWAD-MIT

Semantic Web Advanced Development/MIT

SWAD-MIT Current Work

CWM - RDF logic processor

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <#> .

this log:forAll <#p> .

{  <#p> a daml:TransitiveProperty . }

 log:implies

{
    { <#a> <#p> <#b>.
      <#b> <#p> <#c>. }

  log:implies

    { <#a> <#p> <#c>. }.
  this log:forAll <#a> , <#b> , <#c>.
} .


<#ancestor> a daml:TransitiveProperty .
<#billy> <#ancestor> <#pa> .
<#pa> <#ancestor> <#grandpa> .

Algae - logic-enabled query processor

(ask '(
  (http://...#ancestor ?person ?ancestor)
):collect '(?person ?ancestor)) 

returns all statements (triples) in the database where http://...#ancestor is the predicate;

from the previous example, returns both billy and pa statements.

(ask '(
  (http://...#ancestor http://...#billy ?ancestor)
):collect '(?ancestor)) 

returns only 'pa'.

(namespace '(g http://.../genealogy#)
 fwrule (head '((g::ancestor ?a ?b)
                (g::ancestor ?b ?c))
         body '((g::ancestor ?a ?c)))

 ask '(
  (http://...#ancestor http://...#billy ?ancestor)
):collect '(?ancestor))

returns both 'pa' and 'grandpa'.

RDF Validation Service

Annotea

Zakim Meeting Agent

SWAD-Europe

Semantic Web Advanced Development/Europe

SWAD-Europe Goals

SWAD-Europe Education&Outreach

Education will be lead by scenarios.

Example:

User/developer wants a standards-based way of publishing his organizational chart.

Does he: