fre 2010-10-15 klockan 00:29 +0200 skrev Bernard Vatant:
>
> Does the following hold
> ForAll x (x rdf:type dct:AgentClass) => ( x rdfs:subClassOf
> dct:Agent) (and the other way round).
>
> Or in less formal terms : An instance of dct:AgentClass is a subClass
> of dct:Agent?
>
> Yes? No?
Yes, that is the intention.
/Mikael
|