[tbc-users] child derivation advanced
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.
[tbc-users] Re: ANN: TopBraid Suite 3.2.1
Could you say a bit more on the bug fix: - Bug fix: Better handling of user-defined named datatypes (using owl:equivalentClass) Just curious how it affects our modelling of userdefined datatypes (especially because we earlier discusses the OWLII Primer use of equivalent compared to your advice to use subClassOf; wondered whether this was related...) Thx, Michel On Nov 24, 6:28 am, Nilesh nil...@topquadrant.com wrote: Dear users, we are pleased to announce a point release 3.2.1 of TopBraid Composer, TopBraid Live and TopBraid Ensemble. It fixes several minor issues with 3.2.0. To upgrade, please download the appropriate binary from the TopBraid download site. The product update feature is not working for this release. Windows users should note that we have not supplied an installer, but instead the download is simply a zip of the product directory. The release notes can be found at http://www.topquadrant.com/products/release_notes/v3_2_0.html The detailed changes from 3.2.0 are as follows http://www.topquadrant.com/docs/versions/changes-3.2.1.txt Download area at http://www.topquadrant.com/products/TB_download.html Regards, The TopBraid Team -- 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] 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 topbraid-composer-users@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] No search results in Ensemble
It seems nothing happens when I do a search in Ensemble. I have three Wall instances, one have a length of 20. When I fill in 20 in the length field of Wall search, nothing happens. If I fill in 21 also nothing happens (no a note saying: no results..). any idea? 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-users@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] Re: No search results in Ensemble
Solved, please let Serach Research Grid tab get some attention ie by letting it become visible in front when a submit for search is done, Michel On Apr 9, 9:33 am, Michel Bohms michel.bo...@gmail.com wrote: It seems nothing happens when I do a search in Ensemble. I have three Wall instances, one have a length of 20. When I fill in 20 in the length field of Wall search, nothing happens. If I fill in 21 also nothing happens (no a note saying: no results..). any idea? 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-users@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] Re: ME Life? how to get it in the air?
I'll give the answer myself :) The URL should be more precise: http://localhost:8083/tbl/ On Apr 8, 11:48 am, Michel Bohms michel.bo...@gmail.com wrote: In the manual of ME it says: TopBraid Composer - Maestro Edition launches a personal TopBraid Live server in the background, onhttp://localhost:8083. But when I have ME running, I get: HTTP ERROR: 404 ProxyServlet: / RequestURI=/ Powered by Jetty:// at:http://localhost:8083/ any idea, some other config to set? or explciitly to run server? 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-users@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] Re: ME Life? how to get it in the air?
so...Holgermaybe correct the url in the help item: Overview of TopBraid Live Integration This feature is available in TopBraid Composer - Maestro Edition only. TopBraid Live is TopQuadrant's client-server platform in the TopBraid Suite product family. TopBraid Live can be used to execute semantic web applications or (SPARQLMotion) Web Services in conjunction with rich internet applications, especially Flash clients such as TopBraid Ensemble. TopBraid Composer - Maestro Edition launches a personal TopBraid Live server in the background, on http://localhost:8083, so that developers can run TopBraid Live applications on the local machine. While this server is limited to a single user and session, it provides most of the other capabilities of TopBraid Live and therefore is an ideal test environment for web applications. On Apr 8, 1:22 pm, Michel Bohms michel.bo...@gmail.com wrote: I'll give the answer myself :) The URL should be more precise:http://localhost:8083/tbl/ On Apr 8, 11:48 am, Michel Bohms michel.bo...@gmail.com wrote: In the manual of ME it says: TopBraid Composer - Maestro Edition launches a personal TopBraid Live server in the background, onhttp://localhost:8083. But when I have ME running, I get: HTTP ERROR: 404 ProxyServlet: / RequestURI=/ Powered by Jetty:// at:http://localhost:8083/ any idea, some other config to set? or explciitly to run server? 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-users@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] No vizualisation in Ensemble
I copied my TBC example ontologies to the new TBC-ME work space. when I try to visualise in ensemble the client keeps reading from server without result 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-users@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] Re: No vizualisation in Ensemble
No problem I wait, quite sure the proposed refresh in ensemble will solve the problem; will try that out tomorrow, thanks again, Michel On Apr 8, 5:10 pm, Irene Polikoff ir...@topquadrant.com wrote: Additionally, you can run SM scripts directly from Ensemble. These can include any inference operations. In the beta build only the tree component is SM enabled, but in the release build most of the components are integrated with SM/SPIN. There is also a bug in the beta build that prevents you to pass additional arguments to the scripts (no popups will apear for a user to enter data). We have a patch for it (which also includes abilities to use images in the visualization component). Scott could send it to you off the list. On the other hand, the final release is expected very soon (two weeks or so), so you may prefer to wait. Irene Polikoff -Original Message- From: topbraid-composer-users@googlegroups.com [mailto:topbraid-composer-us...@googlegroups.com] On Behalf Of Scott Henninger Sent: Wednesday, April 08, 2009 10:58 AM To: TopBraid Composer Users Subject: [tbc-users] Re: No vizualisation in Ensemble If you run SPIN inferences on Composer and refresh Ensemble, the derived information will appear. -- Scott On Apr 8, 9:35 am, Bohms, H.M. (Michel) michel.bo...@tno.nl wrote: Ok, clear! One thing I missed further: data of my derived information (after TopSpin)... Is there anyway to get that available in the client too? -Original Message- From: topbraid-composer-users@googlegroups.com [mailto:topbraid-composer-us...@googlegroups.com] On Behalf Of Scott Henninger Sent: 08 April 2009 16:23 To: TopBraid Composer Users Subject: [tbc-users] Re: No vizualisation in Ensemble The Visualization tab does work, but drag-and-drop is not yet available in the beta release. To get a node into the Visualization tab, click on Visualization, click the Add Node to View button, click inside the visualization area, then use command completion to specify the node to add to the graph. Use right-click on the node to display relationships. There will be improvements forthcoming to this interface. -- Scott On Apr 8, 8:30 am, Bohms, H.M. (Michel) michel.bo...@tno.nl wrote: Hi Scot, I can open my workspace and select my projects in Ensemblethat's not the problem. The problem comes when I wanted to do what I saw in your nice video: show in this client the visual representation of the ontology. In other words: the Visualization Tab stays empty... But maybe I have to do something first ... In the meantime I see I can add node and then click view...maybe I was just expecting a more direct way like dubbelclicking... -Original Message- From: topbraid-composer-users@googlegroups.com [mailto:topbraid-composer-us...@googlegroups.com] On Behalf Of Scott Henninger Sent: 08 April 2009 15:00 To: TopBraid Composer Users Subject: [tbc-users] Re: No vizualisation in Ensemble Michel; I'm not quite sure what you mean by visualise in ensemble. Th way it works is that when you open the server (http://localhost: 8063/tbl), two completed applications appear. Choose one of the applications (the configurable one for example). This opens your current workspace (no reason to copy anything anywhere) and you can choose one of your ontologies to display. Let me know if this is enough to get you started. -- Scott On Apr 8, 7:24 am, Michel Bohms michel.bo...@gmail.com wrote: I copied my TBC example ontologies to the new TBC-ME work space. when I try to visualise in ensemble the client keeps reading from server without result MIchel This e-mail and its contents are subject to the DISCLAIMER athttp://www.tno.nl/disclaimer/email.html This e-mail and its contents are subject to the DISCLAIMER athttp://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 topbraid-composer-users@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] Re: own functions in spin:rules
Replying myself after reading the manual :)
I now first defined a subclass of sp:Functions called sumFunction.
Then I defined a spin:constraint for it: Argument sp:arg1 : House
Finally I defined a body for it (delete at House...):
SELECT SUM(?cost) AS ?totalCost
WHERE {
arg1 :hasPart_transitive ?Part .
?Part :cost ?cost .
OPTIONAL {
?Part :hasPart_directly ?anotherPart .
} .
FILTER (!bound(?anotherPart)) .
}
still 2 problems:
1. the box for the body stays red
2. at House: the box for the spin:rule:
CONSTRUCT {?this :totalCost ?totalCost } WHERE { LET (?totalCost :=
sumFunction (?this)).
}
is still red (despite the function is now known...).
Feel I am getting closerthx for getting it to work!
Michel
On 17 mrt, 13:28, Michel Bohms michel.bo...@gmail.com wrote:
Hi Holger,
In earlier mails we discussed the determination of totalCost (of some
'whole') via a helper function.
When I do as spin:rule:
CONSTRUCT {?this :totalCost ?totalCost } WHERE { LET (?totalCost :=
sumFunction (?this)).
}
it seems the box stays red although I defined:
a spin:body
SELECT SUM(?cost) AS ?totalCost
WHERE {
?this :hasPart_transitive ?Part .
?Part :cost ?cost .
OPTIONAL {
?part :hasPart_directly ?anotherPart .
} .
FILTER (!bound(?anotherPart)) .
}
clearly I am missing the sumFuction definition itself but how do I
do that ? (assuming SUM is now implemented in the latest beta).
(to refresh your memory: the idea was to calculate the cost of the
whole by counting all the leaf part's cost via querying over the all
transitive parts and then filter out the atomic leafs)
thx a lot, 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-users@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] activate owl1.1 - small issue
Hi Holger, when you load an ontology that already has the owl11 name space, the owl11 tick box is empty would be more logical that this is detected and box is already ticked I know you could say it is activate and not activated but then I would prefer the interpretation activated and preticked after detection(ie I prefer a tick box to correspond to a state iso a event...) 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-users@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] no constraint violation warnings?
when I have constraint violation warnings when only using TopSpin, these disappaer after inference when I have added swift (after topspin)... is this normal behaviour? (will swift add triples that de-violate the constraints again?) 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-users@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 -~--~~~~--~~--~--~---
