In your example I see indeed grandmother/grandfather as derived.

(I see something else strange though: at the Person instances: empty labels 
(where the names are however in the tab when I select one, anyway this might be 
exp[ected behaviour...)

Michel

 
 
 
 
 
 

-----Original Message-----
From: [email protected] 
[mailto:[email protected]] On Behalf Of Scott Henninger
Sent: 09 April 2009 15:49
To: TopBraid Composer Users
Subject: [tbc-users] Re: Missing object property instances in Ensemble


Michel;  It's difficult to say where the problem is that you are experiencing.  
I would suggest taking a look at the kennedysSPIN file in the Examples folder.  
If you run TopSPIN inferences, then new properties, such as 'age', 
'grandmother' and 'grandfather' are displayed in Ensemble.  These are done as 
SPIN rules on the Person class.

Please give this a try.  If this works and yours does not, then we will need to 
look into the differences to find out what is happening - for example if you 
can send me the ontology offline.

Ensemble does not by default perform subclass reasoning.  We are looking into 
adding this as an option for future releases.

-- Scott

On Apr 9, 2:26 am, Michel Bohms <[email protected]> wrote:
> Hi Scott, Holger,
>
> For clarity I took this issue from my previous one.
>
> So the issue is that I do not see some TopSpin inferred info in the 
> Ensemble default app client. Inferred values for datatype properties 
> are there, also new/inferred individuals are there, only not the 
> references to them, i.e. the object property data.
>
> In my example I have a Wall class with a representation object 
> property that is derived via a rule. In TBC it gets the value after
> inference: <http://www.tno.nl/test5#SolidFor-:Wall1> that is obtained 
> via the rule fragment:
>     LET (?IfcExtrudedAreaSolid := smf:buildURI("http://www.tno.nl/
> test5#SolidFor-{?this}")) .
>
> In Ensemble (in the Wall1 Tab) the 'representation' field however 
> stays empty.
>
> (while the backlink IS there: "is representation of" when I go to the 
> first instance of the IfcExtrudeAreaSolid class!)
>
> Michel
>
> ps
> I noted that superclasses do not get the instance-count '(x)' as in 
> TBC

This e-mail and its contents are subject to the DISCLAIMER at 
http://www.tno.nl/disclaimer/email.html


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"TopBraid Composer Users" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/topbraid-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to