- From: Nathan <nathan@webr3.org>
- Date: Tue, 29 Mar 2011 23:13:54 +0100
- 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 UTC