On 1/21/06, Michael Gruninger <mudcat@xxxxxxxxxxxxxxx> wrote: (01)
> Can someone please post the axiomatic definitions of
> RDF/OWL Class in Common Logic? (02)
Not sure if I've seen them in CL, but here are the normative specs: (03)
http://www.w3.org/TR/rdf-mt/
http://www.w3.org/TR/owl-semantics/ (04)
(OWL DL has extra constraints, e.g. all owl:Class are disjoint from
individuals, unlike rdfs:Class) (05)
-- (06)
http://dannyayers.com (07)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (08)
|