Bound variables
URL Correction
names, URIs and ontologies
Instance Data Question
Expressing Inference Rules
Re[1] DAML-ONT: the case for closedness
daml-ont and oil
Re: Variables in rdf (Re: capturing 'foreall' in a graph picture)
complexity of reasoning in DAML-ONT
status of DAML-ONT
Semantics or not semantics?
Meta-classes? (layered architecture)
Assertion -v- inference
Relying on RDF(S) semantics
Does DAML-ONT extend RDFS?
DAML-ONT: the case for closedness
- Re: DAML-ONT: the case for closedness
- Re: DAML-ONT: the case for closedness
- RE: DAML-ONT: the case for closedness
- RE: DAML-ONT: the case for closedness
DAML/RDF: a semantics and 2 more syntaxes
more DAML-ONT comments
basic decisions underlying DAML-ONT
- Re: basic decisions underlying DAML-ONT (defined classes)
- Re: basic decisions underlying DAML-ONT
Dintinguish among ontology, metadata repositories and data dictionary
Re: semantics of daml:equivalentTo [was: Comments on Annotat
- Re: semantics of daml:equivalentTo [was: Comments on Annotat
- Re: semantics of daml:equivalentTo [was: Comments on Annotat
EU Commission: SEMANTIC WEB TECHNOLOGIES Workshop
Comments on Annotated DAML Ontology Markup, rev 1.6, date 2000/10/07
- Re: Comments on Annotated DAML Ontology Markup, rev 1.6, date 2000/10/07
- Assertion by reference [was: Comments on Annotated DAML...]
- semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: comparing DAML-ONT and OIL (was Re: semantics of daml)
- Re: comparing DAML-ONT and OIL (was Re: semantics of daml)
- Re: comparing DAML-ONT and OIL (was Re: semantics of daml)
- Concrete types
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]
- Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]