I am not sure why you are seeing some inferences, but not others. We would
need to try this out.

<I noted that superclasses do not get the instance-count '(x)' as in TBC>

Our plan is to have a systematic RDFS++ inferencing available directly in
TBE (that is RDFS plus transitivity). This would handle the counts and a few
other things. Because of this, a decision was made not to do component
specific implementations such as handling counts in the tree. While the
inferencing will not make it into the 3.0 release (as we expect the release
within the next 2 weeks), it is in the plan for 3.1 which should come out 6
to 8 weeks after 3.0.

Regards,

Irene Polikoff


-----Original Message-----
From: [email protected]
[mailto:[email protected]] On Behalf Of Michel Bohms
Sent: Thursday, April 09, 2009 3:26 AM
To: TopBraid Composer Users
Subject: [tbc-users] Missing object property instances in Ensemble


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


--~--~---------~--~----~------------~-------~--~----~
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