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". That makes it a little awkward to detect when someone had confused, in their model declarations, that something is a subclass of something else when they really mean something was an instance of something else.
Andrew Crapo Information Scientist GE Global Research T +1 518 387 5729 F +1 518 387 6104 D *833 5729 E [email protected] www.research.ge.com One Research Circle Niskayuna, NY 12309 USA General Electric Company GE imagination at work
smime.p7s
Description: S/MIME cryptographic signature
