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