Mindswap

Maryland Information and Network Dynamics Lab Semantic Web Agents Project

CMCS482w, Spring 2004, The Semantic Web

Programming Assignment 3 is now posted. It is due on May 12th. Note that there are parts due on April 28 and May 3 as well

Slides from April 26 and 28 are available

Check out the examples

I've started accumulating examples, both from me and from you, in this directory. Examine them! Use them for test cases! Part of being interesting is establishing coverage of cases not already in the test library (look at ex1_2.py and ex1_3.py for a coverage example). There is also a template.py if you're still having trouble with the format. I suggest putting some helpful comments at the top so I can have an easier time discerning the intent of your examples.

May 3rd, reading

Oops forgot to mention this last time. Grr.

• OWL-S: Semantic Markup for Web Services
• OWL-S Ontologies (just skim)
• WS Architecture Ontologies (just skim)
• What's in an instance?
• RDFS(FA) and RDF MT: Two Semantics for RDFS
• What is a Knowledge Representation?

Programming Assignment 2 is now posted. It is due on April 14, 2004

There is a helper script.

April 12th, reading

• Finish from SHIQ and RDFS to OWL
• An Overview of Tableau Algorithms for DLs, sections 1, 2, 3, 5 for review, section 4.1, skim 4.2, sections 6.2.1, 6.2.2

April 7th, slides

• DL reasoning

April 7th, readings

• DLHB Chapter 2, review prior sections, sections 2.2.4 (2.2.4.4 is important, but tricky, and not immediate critical path, 2.3.1 (skim), 2.3.2 (study).
• From SHIQ and RDFS to OWL, section 7.2 (semantics). We'll be discussing the rest, but not on the 7th :)

April 5th, slides

• Basic DLs, from FL to OWL

Some recent slides

• Midterm Review
• Intro to DLs

April 5th, Readings

• Description Logic Handbook (DLHB) Chapter 1: background, Sections 1.1, 1.2 1.3, 1.7 and 1.8
• DLHB Chapter 2, Sections 2.1, 2.2.1, skim 2.2.2 (except 2.2.2.3), 2.2.3 (If you want a jump start for reasoning, try 2.2.4)

Programming Assignment 1 is now due on March 10th

Some examples for PA1

Due to problems with the latest rdflib, we've decided to give you another week to work on the assignment. You should use rdflib 1.2.4. There have also been other minor changes to the second part that make the non-inference parts *much* easier.

Homework 2 is now posted.

The lecture for Monday, Feb. 16, 2003, has the instructions for Programming Assignment 1 (due at the beginning of class on March 3, 2004).

Monday's lecture and Wednesday's Lecture are both on line. Monday's has a few bugs in it still, but should be overall ok.

The slides from Monday, Feb 9th are online as well. I swear I'll make this a list, soon.

The first homework assignment is due on Wednesday, Feb 11, 2004. Submission instructions are on the slide.