Semantic Web Update:
OWL and Beyond

http://www.w3.org/2003/Talks/1017-swup/
$Revision: 1.11 $

Dan Connolly
MIT Computer Science & Artificial Intelligence Laboratory (CSAIL)
World Wide Web Consortium
DAML PI Meeting, Florida, 2003-10-17

Overview

OWL Development: Background

2000 2001 2002 2003
Q3 Q4 Q1 Q2 Q3 Q4 Q1 Q2 Q3 Q4 Q1 Q2 Q3 Q4
DAML kick-off
 joint-committee starts
 DAML+OIL 2nd release
 DAML+OIL submitted to W3C
 1st WG ftf at Bell Labs
 1st Working Draft: Requirements
 1st Working Drafts: Reference, Guide, ...
 Last Call
about 50 issues resolved
 Apr DAML PI meeting

see also: WG history and records

OWL Development: W3C Process

cf. World Wide Web Consortium Process Document

Aside: Modelling W3C Process

Advanced development motivation:

The bane of my existence is doing things I know the machine could do for me
  1. prose codification:
  2. Automating the publication of Technical Reports
  3. results:

OWL Development: since April

2003
Q1 Q2 Q3 Q4
 Last Call
 DAML PI meeting
 July 2003: WG charter extended thru Jan 2004
  Aug 2003: Candidate Recommendation
  DAML PI, ISWC
*you are here

OWL Candidate Recommendation Announcement

OWL Tests

OWL Tests Results

developed by by Sandro Hawke sandro@w3.org

OWL Tests Results: Benefits

... of an automated Semantic Web approach

OWL Tests Results: Join the Fun!

supported by by Sandro Hawke sandro@w3.org

OWL Candidate Rec. Exit Criteria

OWL Test Results show we're pretty much there:

  1. dependency on RDF Core specs, esp. RDF Semantics:

    10 Oct drafts look good so far

  2. two complete OWL Lite consistency checkers:

    candidates include Hoolet and Pellet.

  3. Each test (except the extra credit tests) is demonstrated to be passed by some implementation:

    DONE

  4. two reasoners implementing (different) substantial subsets of OWL DL:

    candidates include Cerebra, Jena2, Pellet, WonderWeb

  5. two reasoners implementing useful subsets of OWL Full and passing at least 80% of the postive entailment tests:

    candidates include Euler, Jena2, Pellet

  6. two owl syntax checkers passing all tests:

    candidates include OWLP, Pellet, WonderWeb, and Jena2

What next? Old Business

Interest Group discussion:

A topic: RDF and (X)HTML

EmbeddingRDFinHTML

What next? New Business

Semantic Web wave diagram

Summary

Stop! You're done. Go Back

@@w3t reviewers: if you want a peek at my take-home/thesis, see summary slide

@@What stuff is ralph covering? I assume he's covering advanced development (cwm updates, Annotea, /TR/ automation? etc. the way Sandro did last time)

Fodder:

discussions: