I'm working though another interesting example from Dean's book. This time typing data by usage from rdfs:domain. I just need a little help on setting this up in TB. So from page 98, we'd expect that if x has property P and P has domain D then x is an instance of D, correct? To set this up in TB let's say I create a resource P of type Property. Then I create D as an rdfs:SubClass of rdfs:Class and use P's form to assert this SubClass as the domain of P. Next I create x as an instance of rdfs:Class. My goal is to assert the relation x P y such that swiftowlim infers x rdf:type D. As close as I've come is to add the rdf:predicate to x's form, then run the inferencer. But that only infers that x rdf:type rdf:Statement. How can I use TB to demonstrate the expected inference that x rdf:type D?
--~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to topbraid-composer-users@googlegroups.com To unsubscribe from this group, send email to topbraid-composer-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---