www-rdf-logic@w3.org from October 2000 by subject

1st public release - DAML-ONT

Assertion -v- inference

Assertion by reference [was: Comments on Annotated DAML...]

basic decisions underlying DAML-ONT

basic decisions underlying DAML-ONT (defined classes)

Bound variables

Cardinality restrictions (was: comparing DAML-ONT and OIL)

Comments on Annotated DAML Ontology Markup, rev 1.6, date 2000/10/07

comparing DAML-ONT and OIL (was Re: semantics of daml)

complexity of reasoning in DAML-ONT

Concrete types

daml-ont and oil

DAML-ONT: RDF syntax

DAML-ONT: the case for closedness

DAML/RDF: a semantics and 2 more syntaxes

Dintinguish among ontology, metadata repositories and data dictionary

Does DAML-ONT extend RDFS?

EU Commission: SEMANTIC WEB TECHNOLOGIES Workshop

Expressing Inference Rules

First pass at DAML/OIL mapping

For review: some DAML thoughts

Instance Data Question

Meta-classes? (layered architecture)

more DAML-ONT comments

names, URIs and ontologies

Re[1] DAML-ONT: the case for closedness

Relying on RDF(S) semantics

semantics of daml

semantics of daml:equivalentTo

semantics of daml:equivalentTo [was: Comments on Annotat

semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]

Semantics or not semantics?

status of DAML-ONT

URL Correction

Variables in rdf (Re: capturing 'foreall' in a graph picture)

Last message date: Tuesday, 31 October 2000 19:00:37 UTC