Re: [tbc-users] child derivation advanced

[Holger Knublauch]

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: 
> PREFIX product: 
> PREFIX rdfs: 
> PREFIX owl: 
> PREFIX rdf: 
> PREFIX 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.

-- 

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.

[tbc-users] child derivation advanced

[Michel Bohms]

Hi Holger,

Your solution for 'child' derivation worked perfect:

PREFIX bim: 
PREFIX product: 
PREFIX rdfs: 
PREFIX owl: 
PREFIX rdf: 
PREFIX 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.