Tobias, this is great news! I am very happy you are able to find the time to continue to improve AceWiki. At some point in the future I hope to be able to make a contribution myself, but my time and energy has been diverted for the time being. Please keep up the good work. It is appreciated! -- Ken <div class="gmail_quote">On Thu, Jul 29, 2010 at 7:52 AM, Tobias Kuhn <<a href="mailto:kuhntobias@gmail.com">kuhntobias@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"> Hi everyone, I released a new version of AceWiki: 0.4.0. It can be downloaded on Launchpad: <a href="https://launchpad.net/acewiki" target="_blank">https://launchpad.net/acewiki</a> See the AceWiki page for the public demo instances: <a href="http://attempto.ifi.uzh.ch/acewiki/" target="_blank">http://attempto.ifi.uzh.ch/acewiki/</a> This release contains major updates on the reasoner integration. Most importantly, the reasoner is now exchangeable and external reasoners can be connected. The default reasoner is no longer Pellet, but HermiT. Version 3 of the OWL API is now used, instead of version 2. New parameters are available when launching an AceWiki instance. Several parts of the user interface, including the predictive editor, have been improved. Furthermore, there is a new export option to download the wiki content as two CSV lists. Additionally, there has been general code refactoring and clean-up. See the change log below for more details. Cheers, Tobias Change Log AceWiki 0.4.0: - Moved from version 2 to version 3 of the OWL API. - Moved from OWL 1.1 to OWL 2. - HermiT is used instead of Pellet as default reasoner (because of license reasons). Pellet is still supported but is not part of the AceWiki package anymore. - Support for OWLlink added. In this way, other reasoners like FaCT++ or RacerPro can be used. - New web.xml parameters: - owl_profile: restricts the reasoning on statements that are part of a certain OWL profile. - global_restrictions_policy: defines how the global restrictions of OWL 2 should be enforced. - readonly: allows for launching an AceWiki instance that cannot make changes on the ontology. - possible_answers: an experimental feature that enables to show possible answers, i.e. individuals that cannot be proven not to be an answer. - Sentences can now be manually retracted from reasoning without being removed from the wiki. - Sentences that do not participate in reasoning are now consistently displayed in red font. Before, this was only the case for sentences that violated at some point the consistency of the knowledge base. - Improved dropdown menus: - Tooltips for the menu entries. - Reordering of the menu entries. - A new "About" page has been added with information about the given wiki instance. - The predictive editor has been improved: - Improved calculation of the content of the menu blocks. - Better implementation of the asynchronous menu creation. - Refactoring of the ontology classes of AceWiki. - New export feature for AceWiki: The wiki content can now be downloaded as two CSV lists (one containing the entities and another one containing the statements). - Unix shell script added to run the web applications with Jetty Runner. - Simple progress bar on the standard error channel when an AceWiki ontology is being loaded. _______________________________________________ attempto mailing list <a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a> <a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a> </blockquote></div>