http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37016 <pre>Hi, I have a question about the expressiveness of OWL2. Is it possible to state that an individual (e.g. peter) can know everything (the individuals of the class Thing): Person(peter) and peter knows "all Individuals of Thing"? In SWRL it would be: Thing(?x) -&gt; knows(peter, ?x) But I am not sure, if it is possible to use peter in such a way in an SWRL rule. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Can-somebody-know-everything-tp4644375.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-18T11:31:38 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37015 <pre>Dne 18.5.2012 10:26, Stephan Opfer napsal(a): Sorry, you have not included the first post in the second post, and I had not remembered what you have sent earlier. The W3C Note at http://www.w3.org/TR/swbp-n-aryRelations/ is the best document on n-ary relations in OWL that I know of. My mistake, please replace "no-tree" with "tree-like" :-) In OWL without SWRL, you cannot describe non-tree structures, for example the concept of "child of parents who are married to each other" or "person who have their brother as their boss", to cite examples which I have seen. You can only describe "person who has a brother and a boss", but you cannot describe the relationship between the value of the brother and the value of the boss properties. In short, you have to use SWRL for your case. Best regards Martin </pre> Martin Kuba 2012-05-18T08:55:40 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37014 <pre>Hi Martin, funny page (http://lmgtfy.com/), but the first result of your link shows up the page I already linked in the first post. ;-) The paper, you posted, has no proof in section 4.1. Only some nice advice or hints about several restrictions. What do you mean, saying that "OWL without SWRL can describe only no-tree structures". The cited paper states that OWL is somehow restricted to tree-like structures, although there are some exceptions mentioned in the footnotes. Best Regards, Stephan On 05/18/2012 08:34 AM, Martin Kuba wrote: _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-18T08:26:59 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37013 <pre> ==================================================================================== 2nd International Conference on Green Communications and Networking - GreeNets 2012 24th and 26th October 2012 Gandia, Spain http://greenets.org/ ==================================================================================== HIGHLIGHTS - The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Te lecommunications CALL FOR PAPERS [Scope] Global warming and cli</pre> Sandra Sendra 2012-05-18T07:35:22 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37012 <pre>Dne 17.5.2012 20:49, Stephan Opfer napsal(a): Hi Stephan, n-ary relations in OWL: http://lmgtfy.com/?q=n-ary+relations+owl As for relations between parameters without SWRL rules, it has been proven that OWL without SWRL can describe only no-tree structures, see [1] part 4.1 Expressive Restrictions. [1] Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: combining logic programs with description logic. In Proceedings of the 12th international conference on World Wide Web, WWW ’03, pages 48–57, New York, NY, USA, 2003 http://dx.doi.org/10.1145/775152.775160 Best regards Martin </pre> Martin Kuba 2012-05-18T06:34:56 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37011 <pre>Hi, I think that it is possible to achieve it with the help of SWRL rules, but it would be nice, if it is also possible without SWRL rules. Any suggestions? Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/N-Ary-Relations-and-Relations-between-their-Parameters-tp4641285p4643416.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Stephan Opfer 2012-05-17T18:49:00 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37010 <pre>You could add an exception handler around each general type of interface element - text field, popup, image, etc that gives a default error contents "error", red circle with x, popup with title "error" etc, or which just changes the background color and leaves everything else alone, and push the exception information into a list to be included in the red box. At least the window will be coherent and should be able to redraw itself properly after the errors stop happening. On Thu, May 17, 2012 at 5:28 AM, Markus Krötzsch &lt; markus.kroetzsch&lt; at &gt;cs.ox.ac.uk&gt; wrote: _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Alan Ruttenberg 2012-05-17T14:44:19 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37009 <pre>On Thu, May 17, 2012 at 10:15 AM, Markus Krötzsch &lt;markus.kroetzsch&lt; at &gt;cs.ox.ac.uk&gt; wrote: This is what I thought as well, but it does not seem that Protege calls the reasoner's interrupt() method when the "cancel" button of the progress monitor is pressed. I recall I was trying to print some messages to the console inside this method, but nothing seems to be printed when I press "cancel". _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Yevgeny Kazakov 2012-05-17T10:57:28 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37008 <pre>&lt;snip&gt; This behaviour of Protege also leads to some other problems. All OWL API reasoning methods can throw exceptions (e.g., for timeouts). If a buffered OWL API reasoner does not accept fresh entities, then Protege will make many calls that cause FreshEntitiesExceptions. Now due to the current implementation, these exceptions occur during window paint activities, thus cancelling the UI painting. The user ends up with a broken UI that does not display all elements. Protege catches the exceptions (displaying the red triangle), but too late to complete the window painting. Any attempt to fully repaint the window leads to new exceptions. Since OWLAPI declares all of its exceptions as RuntimeExceptions, it is easy to miss such problems, of course. I suppose Protege has just generic Exception catching code somewhere at the top and is not even aware of the actual OWL API exceptions it causes. So this needs to be fixed (reasoners that implement the OWL API are required to throw exceptions in certai</pre> Markus Krötzsch 2012-05-17T09:28:30 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37007 <pre>&lt;snip&gt; Our current understanding is that this request triggers a call to the OWL API reasoner's interrupt() method. The reasoner should then stop itself globally (i.e., terminate all reasoning processes that this reasoner object is running in any thread in the current JavaVM; the implicit assumption seems to be that every reasoner object only works on one reasoning operation at any one time, even if it uses many threads for them). Markus </pre> Markus Krötzsch 2012-05-17T08:15:17 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37006 <pre>Hi, I have a N-Ary Relation designed as suggested by the http://www.w3.org/TR/swbp-n-aryRelations/#pattern1 w3c design pattern 1 . The name of the relation class is InRelation and it has 4 parameters, which are instances of the following classes: Agent, Plan, Task, State. E.g., "In(peter, cookingPasta, boilNudles, heatWater)" means that Agent peter is executing the cookingPasta plan and that peter is assigned to the task boilNudles. Within this task he is at the state of heating the water. Now my question: Is it possible to restrict the InRelation-Class such that the Task and State parameter has to be part of the Plan parameter. My naive formalisation of that would be: InRelation isSubClassOf ( inRelPlan P and inRelState S and inRelTask T and P hasState S and P hasTask T ) inRelPlan, inRelTask, inRelState are relation between the InRelation and its paramters. Best Regards, Stephan -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/N-Ary-R</pre> Stephan Opfer 2012-05-16T12:17:47 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37005 <pre>On Tue, May 15, 2012 at 5:18 PM, Markus Krötzsch &lt;markus.kroetzsch&lt; at &gt;cs.ox.ac.uk&gt; wrote: Regarding the ui: my concern with the red warning sign in the upper right corner might not be sufficiently noticeable for the user. A dedicated panel, similar to the one Eclipse, that shows log4j messages would be much better, but of course, it might be tricky to find a space for that. One compromise solution, which I think, should work OK, at least for reasoners, would be to build this panel into the "progress monitor" window, where in addition to the progress of operations one could display log4j messages. It would probably be even more cleaner if this integrated window can be "minimised" into small area of the Protege window, again, in a similar way it is done in Eclipse. This has several advantages, namely: (1) one can monitor progress of operations without having popup windows at all, so most operations are un-obstructive, (2) this would encourage the plugin developers to make more progress monitors: we could add, e</pre> Yevgeny Kazakov 2012-05-16T10:31:22 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37004 <pre>Hello       I am a beginner to Protege software. I would like to convert the information in a .xml file to ontology(.owl) file. Please let me know whether there is any option in Protege for this conversion. If not, is there any other procedure by which i can achieve my goal. regards_______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> divya udayan 2012-05-15T22:48:44 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37003 <pre> The definition of what a reasoner can and cannot handle can be very complex and even implicit (it may only know when it sees it). So I am not sure how much a custom profile could do. Something that could be useful would be a simple log4j appender that writes to Protege's existing notification panel (the one that shows red warning signs on exceptions). Plugins could then register this appender to their own log4j logging levels, and it would even be possible to configure this behaviour in Protege's log4j configuration. In general, log4j is a good basis for a global message reporting architecture that is already used in Protege. I have now written a log4j appender to show popup windows on (important) log messages; it will be extended to allow this to be configured ("do not show this message again"). This is getting application-specific (what means "this message"?) and may not have a generic solution that Protege could provide. Also, this can be tricky because Protege is issuing reasoner queries</pre> Markus Krötzsch 2012-05-15T15:18:47 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37002 <pre> In Protege 4.1+, go to the entities tab. In the lower left hand corner select Datatypes. Click the circle with the plus (attached) and follow the prompts. -Timothy _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Timothy Redmond 2012-05-15T14:54:41 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37001 <pre> Maybe it would help if we designed the profile mechanism so that you could create your own? I had toyed with the idea that the lower left hand corner of Protege could be a message area where plugins would write relevant information. There is not much space there though. I think that several plugins could use a message capability but I am not sure how it should look in the ui. Here we are getting into an OWL api discussion. It would seem sad if this capability was only accessible to Protege. The other problem that the OWL api (and Protege) bring is that the developers try to be conservative about making changes to the API. I will talk to Matthew today and see what thoughts he has. -Timothy On 05/11/2012 01:50 AM, Markus Krötzsch wrote: _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Timothy Redmond 2012-05-15T14:50:12 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/37000 <pre>Hi Zakaria, could you tell me how can I do it? I have looked for information about how can I do it but I can't. Thanks. Laura. -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Create-own-datatype-in-protege-3-4-7-tp4631906p4634006.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Laura 2012-05-15T06:50:18 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/36999 <pre> of course it is posssible to create that if you can not create owl datatype ,,, you should be try the protétdé 3.4.4 because it is the best version of protégé good luk _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> zakaria djemoui 2012-05-14T19:05:21 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/36998 <pre> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to UBICOMM 2012. The submission deadline is set to May 18, 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== UBICOMM 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS UBICOMM 2012, The Sixth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies September 23 - 28, 2012 - Barcelona, Spain General page: http://www.iaria.org/conferences2012/UBICOMM12.html Call for Papers: http://www.iaria.org/conferences2012/CfPUBICOMM12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitUBICOMM12.html Submission deadline: May 18, 2012 Proceedings: ISBN: 978-1-61208-2</pre> Cristina Pascual 2012-05-14T16:32:15 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/36997 <pre> I don't think so - this is an OWL 2 thing. -Timothy _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Timothy Redmond 2012-05-14T15:59:22 http://permalink.gmane.org/gmane.comp.misc.ontology.protege.owl/36996 <pre>Hi, I was wondering if it is possible to create your own datatype in Protégé 3.4.7. If so, how is it done? Thanks. Laura. -- View this message in context: http://protege-ontology-editor-knowledge-acquisition-system.136.n4.nabble.com/Create-own-datatype-in-protege-3-4-7-tp4631906.html Sent from the Protege OWL mailing list archive at Nabble.com. _______________________________________________ protege-owl mailing list protege-owl&lt; at &gt;lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/protege-owl Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 </pre> Laura 2012-05-14T10:13:44 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.misc.ontology.protege.owl