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

Re: subPropertyOf and domains

From: Nathan <nathan@webr3.org>
Date: Tue, 29 Mar 2011 23:13:54 +0100
Message-ID: <4D9259A2.9010707@webr3.org>
To: mariokofler <mariokofler@gmx.at>
CC: Jitao Yang <jitao.yang@gmail.com>, public-owl-dev@w3.org
and the step before, rdfs7 of RDFS Entailment

aaa rdfs:subPropertyOf bbb .
uuu aaa yyy .

--> uuu bbb yyy .

Jitao Yang wrote:
> 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 22:14:50 GMT

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