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 at http://groups.google.com/group/topbraid-composer-users?hl=en.