www-rdf-logic@w3.org from December 2001 by thread

Difference between syntactic building blocks and formal languages ... Seth Russell (Friday, 28 December)

Re: Difference between syntactic building blocks and formal languages ... Frank Manola (Sunday, 30 December)

RDF & XML Schema s.livingstone@btinternet.com (Sunday, 23 December)

Call for Papers: ECAI 2002 Semantic Authoring, Annotation & Knowledge Markup Workshop Siegfried Handschuh (Friday, 21 December)

One-to-One relation D.O. Siahaan (Friday, 21 December)

Interpreting DAML Charlie Abela (Thursday, 20 December)

RE: Interpreting DAML Peter Crowther (Friday, 21 December)

DAML+OIL submitted to W3C Dan Connolly (Tuesday, 18 December)

Re: DAML+OIL submitted to W3C Sean B. Palmer (Tuesday, 18 December)

DAML+OIL Charlie Abela (Sunday, 16 December)

Encoding RDF graphs and/or n3 formulas in triples (Reification) Sandro Hawke (Saturday, 15 December)

Re: Encoding RDF graphs and/or n3 formulas in triples (Reification) Tim Berners-Lee (Wednesday, 19 December)

DAML-S Process Model Charlie Abela (Friday, 14 December)

Ontology "views"/"perspetcives" Jim Starz (Friday, 14 December)

Re: Ontology "views"/"perspetcives" Sean B. Palmer (Friday, 14 December)
Re: Ontology "views"/"perspetcives" Richard Waldinger (Friday, 14 December)
Re: Ontology "views"/"perspetcives" Frank Manola (Friday, 14 December)
Re: Ontology "views"/"perspetcives" Leo Obrst (Saturday, 15 December)

Serendipitous Interoperability Jim Farrugia (Friday, 14 December)

RE: Serendipitous Interoperability Peter Crowther (Friday, 14 December)

OntoEdit: Which DAML+OIL features are/will be supported? Michael Erdmann (Wednesday, 12 December)

RE: Logic and proof tutorial resources Smith, Ned (Wednesday, 12 December)

Serializer for DAML Grit Denker (Thursday, 6 December)

Re: Serializer for DAML Mike Dean (Thursday, 6 December)
RE: Serializer for DAML Hart, Lewis (Thursday, 6 December)

DAML and WSDL Charlie Abela (Tuesday, 4 December)

Re: DAML+RDFS: potentials for simplifications? Jeen Broekstra (Tuesday, 4 December)

Re: DAML+RDFS: potentials for simplifications? Pat Hayes (Tuesday, 11 December)
- Re: DAML+RDFS: potentials for simplifications? Dan Connolly (Tuesday, 11 December)
  - Re: DAML+RDFS: potentials for simplifications? Peter F. Patel-Schneider (Tuesday, 11 December)
    - Re: DAML+RDFS: potentials for simplifications? Thomas B. Passin (Wednesday, 12 December)

Re: Logic and proof tutorial resources Ian Horrocks (Tuesday, 4 December)

Re: Logic and proof tutorial resources Pat Hayes (Wednesday, 12 December)
- Re: Logic and proof tutorial resources Piotr Kaminski (Wednesday, 12 December)
  - logic books Richard Waldinger (Wednesday, 12 December)
    - Re: logic books Richard Waldinger (Wednesday, 12 December)
  - Re: Logic and proof tutorial resources Pierluigi Miraglia (Wednesday, 12 December)
Re: Logic and proof tutorial resources Seth Russell (Wednesday, 12 December)
Re: Logic and proof tutorial resources Dan Connolly (Wednesday, 12 December)

Last message date: Sunday, 30 December 2001 15:44:13 UTC