[Fwd: semantic web, proof and trust]
[semantic web] proof and trust
[semanticweb] Proof and trust
a question about RDF reification
ANNOUNCE: W3C Web Ontology (WebOnt) Working Group
DAML parsing/querying
DAML+RDFS: potentials for simplifications?
- Wolfram Conen (Thursday, 29 November)
- Peter Crowther (Thursday, 29 November)
- Seth Russell (Thursday, 29 November)
- Peter Crowther (Thursday, 29 November)
- Seth Russell (Thursday, 29 November)
- Jeen Broekstra (Thursday, 29 November)
- Joachim.Peer@unisg.ch (Thursday, 29 November)
- Thomas B. Passin (Thursday, 29 November)
- Joachim.Peer@unisg.ch (Thursday, 29 November)
- Jeen Broekstra (Thursday, 29 November)
- Joachim.Peer@unisg.ch (Thursday, 29 November)
- Thomas B. Passin (Thursday, 29 November)
- Pat Hayes (Wednesday, 28 November)
- Joachim.Peer@unisg.ch (Wednesday, 28 November)
- Peter F. Patel-Schneider (Wednesday, 28 November)
- Joachim.Peer@unisg.ch (Wednesday, 28 November)
DAML-S clarification
DAML-S parsing
DAML-S parsing - XSLT File
DAML-S Service Grounding
DAML: property cardinality
Description Logic information (was Re: DAML+OIL Expressivity Question)
Latest release of ICS-FORTH RDFSuite
literals and typing
- Pat Hayes (Wednesday, 14 November)
- Pat Hayes (Wednesday, 14 November)
- Patrick.Stickler@nokia.com (Tuesday, 13 November)
- Sergey Melnik (Monday, 12 November)
- Geoff Chappell (Saturday, 10 November)
- Sergey Melnik (Saturday, 10 November)
- Geoff Chappell (Saturday, 10 November)
- Pat Hayes (Friday, 9 November)
- Geoff Chappell (Friday, 9 November)
- Pat Hayes (Friday, 9 November)
- Geoff Chappell (Friday, 9 November)
- Pat Hayes (Friday, 9 November)
- Geoff Chappell (Tuesday, 6 November)
Literals as subjects
Logic and proof tutorial resources
pics - check it hehe ;-)
property cardinality
reification representes "statings" not statements
Second Call for Papers: IEEE Special Issue Multimedia Content Description (Multimedia Annotation)
semantic web, proof and trust
The meaning of a document
Web Ontology Reasoning in the SHOQ(Dn) Description Logic
Last message date: Friday, 30 November 2001 21:12:35 UTC