Friday, 1 December 2000
Thursday, 30 November 2000
- Re: Logic and Using The Semantic Web Toolbox
 - Re: Logic and Using The Semantic Web Toolbox
 - Re: I have a trouble with The RDF Model
 - Re: I have a trouble with The RDF Model
 
Wednesday, 29 November 2000
Thursday, 30 November 2000
Wednesday, 29 November 2000
- Model Theory on one page [was: I have a trouble with The RDF Model]
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: I have a trouble with The RDF Model
 - Re: Equality and subclass axioms
 - Re: An Axiomatic Semantics for RDF, RDF Schema, and DAML-ONT
 
Tuesday, 28 November 2000
- Re: Equality and subclass axioms
 - Re: I have a trouble with The RDF Model
 - Re: Equality and subclass axioms
 - Re: I have a trouble with The RDF Model
 
Wednesday, 29 November 2000
- Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: Logic and Using The Semantic Web Toolbox
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: A question about DAML lists
 - Re: Logic and Using The Semantic Web Toolbox
 - Re: Logic and Using The Semantic Web Toolbox
 - Re: An Axiomatic Semantics of RDF, RDF Schema, and DAML-ONT
 - Re: I have a trouble with The RDF Model
 - Re: Logic and Using The Semantic Web Toolbox
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: Logic and Using The Semantic Web Toolbox
 - ANNOUNCEMENT: Converters for RDF(S), DAML-O, UML/XMI, Protege, reification, new XML serializer
 
Tuesday, 28 November 2000
- Re: I have a trouble with The RDF Model
 - Logic and Using The Semantic Web Toolbox
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: tracing statement origin (was Re: I have a trouble with The RDF Model)
 - errors in daml-ex
 
Monday, 27 November 2000
- Closedness strikes back! [Was: Equality and subclass axioms]
 - Re: tracing statement origin (was Re: I have a trouble with The RDF Model)
 - Re: I have a trouble with The RDF Model
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: tracing statement origin (was Re: I have a trouble with The RDF Model)
 - Re: I have a trouble with The RDF Model
 - Re: tracing statement origin (was Re: I have a trouble with The RDF Model)
 - RE: tracing statement origin (was Re: I have a trouble with The RDF Model)
 - tracing statement origin (was Re: I have a trouble with The RDF Model)
 - Re: A question about DAML lists
 
Sunday, 26 November 2000
- Re: I have a trouble with The RDF Model
 - A question about DAML lists
 - Fw: looking at description logics
 - Re: Equality and subclass axioms
 - Re: I have a trouble with The RDF Model
 - Re: Equality and subclass axioms
 - Re: Equality and subclass axioms
 - Re: I have a trouble with The RDF Model
 - Re: I have a trouble with The RDF Model
 - Re: Equality and subclass axioms
 - I have a trouble with The RDF Model
 
Saturday, 25 November 2000
Thursday, 23 November 2000
Wednesday, 22 November 2000
Tuesday, 21 November 2000
Friday, 17 November 2000
- CfP - Semantic Web 2001 Workshop at WWW10
 - Re: A Model Theoretic Semantics for DAML-ONT
 - inferences in the axiomatic semantics
 - Re: model-theoretic semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 
Thursday, 16 November 2000
- Re: A Model Theoretic Semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: model-theoretic semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT
 - model-theoretic semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT
 
Wednesday, 15 November 2000
Tuesday, 14 November 2000
- Re: A Model Theoretic Semantics for DAML-ONT
 - comments on DAML-ONT semantics document
 - Re: A Model Theoretic Semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT (now, an Axiomatic Semantics)
 - Re: semantics of daml:equivalentTo, subClassOf, subPropertyOf
 - Re: A Model Theoretic Semantics for DAML-ONT
 - DAML-ONT TODO list
 
Monday, 13 November 2000
Sunday, 12 November 2000
Saturday, 11 November 2000
Friday, 10 November 2000
- RE: Semantic mail
 - RE: Semantic mail
 - Announcing Rule Markup Initiative
 - SV: Semantic mail
 - Semantic mail
 - RE: Semantic mail
 - RE: Semantic mail
 - RE: Semantic mail
 - RE: Semantic mail
 - RE: Semantic mail
 - Re: Semantic mail
 - Re: A Model Theoretic Semantics for DAML-ONT
 - Re: A Model Theoretic Semantics for DAML-ONT
 
Thursday, 9 November 2000
- Re: Semantic mail
 - Re: A Model Theoretic Semantics for DAML-ONT
 - Semantic mail - weekend edition
 - RE: Semantic mail
 - Re: A Model Theoretic Semantics for DAML-ONT
 - A Model Theoretic Semantics for DAML-ONT
 - RE: Semantic mail
 - Re: Semantic mail
 - Re: Semantic mail
 
Wednesday, 8 November 2000
Tuesday, 7 November 2000
- Ontologies for the Semantic Web
 - SV: Semantic mail
 - A proposal for an RDF query language
 - Re: Semantic mail
 - Semantic mail
 
Monday, 6 November 2000
Sunday, 5 November 2000
Saturday, 4 November 2000
- Re: Integrity constraints in DAML-O (was: Chainsaw?)
 - Re: Integrity constraints in DAML-O (was: Chainsaw?)
 
Friday, 3 November 2000
- Re: TODO++: daml-ont TallThing
 - RE: TODO++: daml-ont TallThing
 - Re: Integrity constraints in DAML-O (was: Chainsaw?)
 - RE: TODO++: daml-ont TallThing
 - Re: TODO++: daml-ont TallThing
 - Re: Integrity constraints in DAML-O (was: Chainsaw?)
 - RE: TODO++: daml-ont TallThing
 - Re: restrictions in DAML-O
 - Integrity constraints in DAML-O (was: Chainsaw?)
 - restrictions in DAML-O
 
Thursday, 2 November 2000
- Your Online Trading Account
 - RE: Upper Cyc Ontology as MS Access DB
 - Re: Bound variables
 - Re: names, URIs and ontologies
 
Wednesday, 1 November 2000
- RE: What is an Ontology? [was: daml-ont]
 - Re: Bound variables
 - RE: TODO++: daml-ont TallThing
 - RE: What is an Ontology? [was: daml-ont]
 - Re: names, URIs and ontologies
 - Re: names, URIs and ontologies
 - RE: Re[1] DAML-ONT: the case for closedness
 - RE: TODO++: daml-ont TallThing
 - TODO++: daml-ont TallThing
 - What is an Ontology? [was: daml-ont]
 - Re: DAML-ONT: RDF syntax
 - daml-ont
 - Re: names, URIs and ontologies
 - RE: names, URIs and ontologies