ontac-forum
[Top] [All Lists]

Re: [ontac-forum] Type vs. Class - last chance to vote.

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
From: Danny Ayers <danny.ayers@xxxxxxxxx>
Date: Sun, 22 Jan 2006 00:26:47 +0100
Message-id: <1f2ed5cd0601211526v2e1e2aebj4e8bb7ff4ba62ff3@xxxxxxxxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>