Tim Finin (finin@cs.umbc.edu)
Thu, 24 Apr 2003 17:12:21 -0400
For next week (April 28 and 30), please read the following.
For Tuesday
Fikes, R.; McGuinness, D. L.; & Waldinger, R. A First-Order Logic
Semantics for Semantic Web Markup Languages. Knowledge Systems
Laboratory, January, 2002.
http://www.ksl.stanford.edu/people/dlm/papers/semantics-with-validation-abstract.html
Richard Fikes and Deborah L. McGuinness. ``An Axiomatic Semantics for
RDF, RDF Schema, and DAML+OIL'' KSL Technical Report KSL-01-01,
2001. Updated October, 2001.
http://www.ksl.stanford.edu/people/dlm/daml-semantics/abstract-axiomatic-semantics.html
For Thursday
"OWL Web Ontology Language Semantics and Abstract Syntax", W3C Working
Draft 31 March 2003, http://www.w3.org/TR/owl-absyn/
Patrick Hayes (ed), "RDF Semantics", W3C Working Draft 23 January
2003, http://www.w3.org/TR/rdf-mt/.
This archive was generated by hypermail 2.0b3 on Thu Apr 24 2003 - 17:12:42 EDT