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.

Reply via email to