A Model Theoretic Semantics for DAML-ONT
- John F. Sowa (Friday, 17 November)
- Richard Fikes (Thursday, 16 November)
- Peter F. Patel-Schneider (Thursday, 16 November)
- Dan Connolly (Thursday, 16 November)
- pat hayes (Thursday, 16 November)
- Richard Fikes (Tuesday, 14 November)
- Deborah McGuinness (Tuesday, 14 November)
- Richard Fikes (Tuesday, 14 November)
- Dan Connolly (Tuesday, 14 November)
- Jeff Heflin (Monday, 13 November)
- Peter F. Patel-Schneider (Saturday, 11 November)
- Je'ro^me Euzenat (Friday, 10 November)
- pat hayes (Friday, 10 November)
- Deborah McGuinness (Thursday, 9 November)
- Dan Connolly (Thursday, 9 November)
- Deborah McGuinness (Thursday, 9 November)
A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
A proposal for an RDF query language
A question about DAML lists
An Axiomatic Semantics for RDF, RDF Schema, and DAML-ONT
An Axiomatic Semantics of RDF, RDF Schema, and DAML-ONT
ANNOUNCEMENT: Converters for RDF(S), DAML-O, UML/XMI, Protege, reification, new XML serializer
Announcing Rule Markup Initiative
Bound variables
Business Opportunity
CfP - Semantic Web 2001 Workshop at WWW10
Closedness strikes back! [Was: Equality and subclass axioms]
comments on DAML-ONT semantics document
DAML Ontology Repository
daml-ont
DAML-ONT TODO list
DAML-ONT: RDF syntax
Equality and subclass axioms
- pat hayes (Wednesday, 29 November)
- Graham Klyne (Tuesday, 28 November)
- Graham Klyne (Tuesday, 28 November)
- Ian Horrocks (Tuesday, 28 November)
- Jeff Heflin (Tuesday, 28 November)
- Jeff Heflin (Tuesday, 28 November)
- pat hayes (Tuesday, 28 November)
- Ian Horrocks (Tuesday, 28 November)
- Ian Horrocks (Tuesday, 28 November)
- pat hayes (Monday, 27 November)
- Jeff Heflin (Monday, 27 November)
- Ian Horrocks (Sunday, 26 November)
- pat hayes (Sunday, 26 November)
- Peter F. Patel-Schneider (Sunday, 26 November)
- Jim Hendler (Sunday, 26 November)
- Ian Horrocks (Saturday, 25 November)
errors in daml-ex
FREE SAMPLE
- Sam (Thursday, 30 November)
I have a trouble with The RDF Model
- Graham Klyne (Thursday, 30 November)
- Guha (Thursday, 30 November)
- pat hayes (Wednesday, 29 November)
- Graham Klyne (Tuesday, 28 November)
- Graham Klyne (Tuesday, 28 November)
- pat hayes (Wednesday, 29 November)
- Pierre-Antoine CHAMPIN (Tuesday, 28 November)
- Seth Russell (Monday, 27 November)
- pat hayes (Monday, 27 November)
- Stefan Decker (Sunday, 26 November)
- pat hayes (Sunday, 26 November)
- Gabe Beged-Dov (Sunday, 26 November)
- Stefan Decker (Sunday, 26 November)
- Seth Russell (Sunday, 26 November)
IEEE IS special issue on semantic web technology
inferences in the axiomatic semantics
Integrity constraints in DAML-O (was: Chainsaw?)
Joint EU/US ad hoc Agent Markup Language Committee
Logic and Using The Semantic Web Toolbox
- Seth Russell (Friday, 1 December)
- Sean B. Palmer (Thursday, 30 November)
- Drew McDermott (Thursday, 30 November)
- Graham Klyne (Wednesday, 29 November)
- Seth Russell (Wednesday, 29 November)
- Sean B. Palmer (Wednesday, 29 November)
- Seth Russell (Wednesday, 29 November)
- Sean B. Palmer (Wednesday, 29 November)
- Seth Russell (Wednesday, 29 November)
- Sean B. Palmer (Tuesday, 28 November)
looking at description logics
Model Theory on one page [was: I have a trouble with The RDF Model]
model-theoretic semantics for DAML-ONT
names, URIs and ontologies
Ontologies for the Semantic Web
Proposed revision to daml-ont
Re[1] DAML-ONT: the case for closedness
restrictions in DAML-O
Semantic mail
- Aaron Swartz (Sunday, 12 November)
- Emery, Pat (Friday, 10 November)
- Raphael Malyankar (Friday, 10 November)
- Greg FitzPatrick (Friday, 10 November)
- Craig Pugsley (Friday, 10 November)
- Craig Pugsley (Friday, 10 November)
- Jim Hendler (Friday, 10 November)
- pat hayes (Friday, 10 November)
- Craig Pugsley (Friday, 10 November)
- pat hayes (Friday, 10 November)
- Je'ro^me Euzenat (Thursday, 9 November)
- Nicolas Chauvat (Thursday, 9 November)
- Terry R. Payne (Thursday, 9 November)
- Dan Connolly (Thursday, 9 November)
- Jim Hendler (Thursday, 9 November)
- Aaron Swartz (Wednesday, 8 November)
- Greg FizPatrick (Wednesday, 8 November)
- pat hayes (Wednesday, 8 November)
- William Loughborough (Tuesday, 7 November)
- Greg FitzPatrick (Tuesday, 7 November)
Semantic mail - weekend edition
semantics of daml:equivalentTo, subClassOf, subPropertyOf
SHOE to DAML-ONT Mapping and Other Resources
SV: Semantic mail
TODO++: daml-ont TallThing
- Ian Horrocks (Friday, 3 November)
- Ian Horrocks (Friday, 3 November)
- Hart, Lewis (Friday, 3 November)
- David Martin (Friday, 3 November)
- Ian Horrocks (Friday, 3 November)
- pat hayes (Wednesday, 1 November)
- McBride, Brian (Wednesday, 1 November)
- Dan Connolly (Wednesday, 1 November)
tracing statement origin (was Re: I have a trouble with The RDF Model)
unambiguousProperty
Upper Cyc Ontology as MS Access DB
What is an Ontology? [was: daml-ont]
Your Online Trading Account
Last message date: Thursday, 30 November 2000 21:06:40 UTC