From: Philipp Zaltenbach <zaltenbach@on...> - 2009-02-17 09:53:40
I would like to announce that we have set up a demo wiki for logical
The prototype allows you to encode F-Logic rules  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
Feel free to play around with the demo wiki and we would be happy if you
post comments and questions at
The rules prototype was also presented at the SemanticWiki mini-series.
Slides and session recording can be found at .
ontoprise GmbH - know how to use Know-how
An der RaumFabrik 29; 76227 Karlsruhe
Tel.: +49 721 509809-0; Fax: +49 721 509809-11
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.