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:31:29 +0100
Message-id: <1f2ed5cd0601211531x4b983521sa934018b43872fe@xxxxxxxxxxxxxx>
PS. Note also when talking about naming that type is also used in RDF
for instances -    (01)

A rdf:type B
- says B is an instance of rdfs:Class and A is an instance of B    (02)



On 1/22/06, Danny Ayers <danny.ayers@xxxxxxxxx> wrote:
> On 1/21/06, Michael Gruninger <mudcat@xxxxxxxxxxxxxxx> wrote:
>
> > Can someone please post the axiomatic definitions of
> > RDF/OWL Class in Common Logic?
>
> Not sure if I've seen them in CL, but here are the normative specs:
>
> http://www.w3.org/TR/rdf-mt/
> http://www.w3.org/TR/owl-semantics/
>
> (OWL DL has extra constraints, e.g. all owl:Class are disjoint from
> individuals, unlike rdfs:Class)
>
> --
>
> http://dannyayers.com
>    (03)


--    (04)

http://dannyayers.com    (05)

_________________________________________________________________
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    (06)
<Prev in Thread] Current Thread [Next in Thread>