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)
|