W3C Swell stuff

Algernon fundamental taxonomy

This is a transcription of the taxonomy of fundamental objects in algernon.

This is maintained as HTML but it's converted to RDF form using a transformation. Use the namespace name http://www.w3.org/2000/07/hs78/algernon# to refer to these properties and classes in RDF 1.0 syntax.

@@TODO: express the relationship between algernon:subset and rdfs:subClass, etc.



@@this is an if-added rule on things. We could use some "for all things x ... " notation. hmm....

isa(x, s2)
if (@@if-added)

here's a "slot rule", i.e. quantification over slots (predicates)

r (x, z)

Slot declarations

or, in RDF terms, properties

Dan Connolly
$Revision: 1.13 $ of $Date: 2000/07/25 05:16:29 $ by $Author: connolly $