- From: Jitao Yang <jitao.yang@gmail.com>
- Date: Tue, 29 Mar 2011 15:01:51 +0200
- 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 UTC