perfect again!, some triples too much* that I have to filter out some way... thx Michel
* the decomposition closures now also show up as subject in the constructed triples On 20 jan, 10:43, Holger Knublauch <hol...@topquadrant.com> wrote: > Try > > ?whole rdfs:subClassOf* ?restriction > > The star operator will walk up the superclass hierarchy, transitively. > > Cheers, > Holger > > On Jan 20, 2010, at 1:38 AM, Michel Bohms wrote: > > > > > Hi Holger, > > > Your solution for 'child' derivation worked perfect: > > > PREFIX bim: <http://www.bimtoolset.org/ontologies/IntUBE-EnergyBIM.owl#> > > PREFIX product: <http://www.bimtoolset.org/ontologies/pmo-lite.owl#> > > PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> > > PREFIX owl: <http://www.w3.org/2002/07/owl#> > > PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> > > PREFIX list: <http://jena.hpl.hp.com/ARQ/list#> > > CONSTRUCT { > > ?whole product:child ?part . > > } > > WHERE { > > ?whole rdfs:subClassOf ?restriction . > > ?restriction owl:allValuesFrom ?unionclass . > > ?restriction owl:onProperty product:hasPart_directly . > > ?unionclass rdf:type owl:Class . > > ?unionclass owl:unionOf ?unionset . > > ?unionset list:member ?part > > } > > > The only issue left is that inherited parts are not yet in. > > > I tried the above with adding a superclass variable and then some union > > like: > > {?whole rdfs:subClassOf ?restriction} UNION {?superclass rdfs:subClassOf > > ?restriction) > > but this did not work...any suggestions? (like having other inference > > first?) > > > thx Michel > > -- > > 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-us...@googlegroups.com. > > To unsubscribe from this group, send email to > > topbraid-composer-users+unsubscr...@googlegroups.com. > > For more options, visit this group > > athttp://groups.google.com/group/topbraid-composer-users?hl=en.
-- 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-us...@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.
