W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

Re: subPropertyOf and domains

From: Jitao Yang <jitao.yang@gmail.com>
Date: Tue, 29 Mar 2011 15:01:51 +0200
Message-ID: <AANLkTi=ENPJvL3WPm4rzzWoYWFi7nTJ-PL=xSu4ymXNj@mail.gmail.com>
To: mariokofler <mariokofler@gmx.at>
Cc: public-owl-dev@w3.org
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT