Ah, my mistake. There is in the model a property "p" with range A, and an incorrect statement "Inst1 p B" (on which I wanted to give a warning), from which is concluded that "B rdf:type A". So the inference came from a known error in the model.
Thanks for making me think more clearly, Andy > -----Original Message----- > From: Ian Dickinson [mailto:[email protected]] > Sent: Monday, February 27, 2012 3:08 PM > To: [email protected] > Subject: Re: rdf:type inferred from rdfs:subClassOf > > Hi Andrew, > On 27/02/12 19:38, Crapo, Andrew (GE Global Research) wrote: > > Given the triple "A rdfs:subClassOf B", I'm a little puzzled that just > > about any Jena Reasoner Model Spec, including OWL_MEM_RDFS and > > RDFS_MEM_RDFS will infer the triple "A rdf:type B". > > It shouldn't, and indeed it didn't do so when I tried just now. Can you supply > a complete minimal example please? > > Ian
smime.p7s
Description: S/MIME cryptographic signature
