Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation

Hi Robert,

[...]
> 1) You mean RDF/S.

Right.

> 2) Ever wondered why you will not find

>        owl:Class isa owl:Class

> ?

No, actually I didn't. Now I wondered and came to the conclusion that
owl:Class and rdfs:Class are interchangeable in OWL-Full, so there is
an implicit "owl:Class isa owl:Class" definition (in OWL-Full) since
RDF/S defines rdfs:Class isa rdfs:Class.

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>

<http://www.topicmaps.de/mailinglist/> German Topic Maps mailing list
<http://tinytim.sourceforge.net/> Open Source Topic Maps engine
<http://mappa.semagia.com/> Mappa - Python Topic Maps engine