Hi, I would like to announce that we have set up a demo wiki for logical rules: http://ruledemo.ontoprise.com
The prototype allows you to encode F-Logic rules [1] in order to derive new information that was not explicitly stated in the wiki. One of such rules is e.g. the prominent "hasUncle" rule: X[HasParent->Y] AND Y[HasBrother->Z] IMPLIES X[HasUncle->Z] The wiki is based on an adapted SMW+ extension and relies on Ontobroker for inferencing. Feel free to play around with the demo wiki and we would be happy if you post comments and questions at http://smwforum.ontoprise.com/smwboard/viewtopic.php?f=5&t=23 The rules prototype was also presented at the SemanticWiki mini-series. Slides and session recording can be found at [2]. Regards, Philipp Zaltenbach [1] http://www.ontoprise.de/fileadmin/user_upload/Publications_EN/Tutorial_FLogic_en.pdf [2] http://smwforum.ontoprise.com/smwforum/index.php/Talks_Presentations -- Philipp Zaltenbach Professional Services ontoprise GmbH - know how to use Know-how --- An der RaumFabrik 29; 76227 Karlsruhe Tel.: +49 721 509809-0; Fax: +49 721 509809-11 E-Mail: zaltenb...@ontoprise.de Web: http://www.ontoprise.de Sitz der Gesellschaft: Karlsruhe, Amtsgericht Mannheim, HRB 109540 Geschäftsführer: Prof. Dr. Jürgen Angele, Dipl. Wi.-Ing. Hans-Peter Schnurr ___________________________________ This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden. _______________________________________________ swikig mailing list swikig@aifb.uni-karlsruhe.de http://www.aifb.uni-karlsruhe.de/mailman/listinfo/swikig