Re: subPropertyOf and domains

by RDFS Extensional Entailment Rules ext3:

uuu rdfs:domain vvv .
www rdfs:subPropertyOf uuu .	

--> www rdfs:domain vvv .

On Tue, Mar 29, 2011 at 14:46, mariokofler <mariokofler@gmx.at> wrote:
> dear list,
>
> if i have the following triples in my ontology:
>
> A,B = rdf:Property
> C = rdfs:Class
>
> B rdfs:SubPropertyOf A
> A rdfs:domain C
>
> can it be inferred that the domain of A (which is the class C) is also the domain of B? or is B's domain unconstrained?
>
> thank you for helping,
>
> best regards,
>
> mario
> --
> NEU: FreePhone - kostenlos mobil telefonieren und surfen!
> Jetzt informieren: http://www.gmx.net/de/go/freephone
>
>

Received on Tuesday, 29 March 2011 13:03:03 UTC