- From: Minsu Jang <minsu@etri.re.kr>
- Date: Thu, 6 Nov 2003 23:50:08 +0900
- To: <public-webont-comments@w3.org>
- Cc: <sandro@roke.hawke.org>
Hi All, OWL test results for Bossam rule engine are available at http://machine-knows.etri.re.kr/bossam/owlinference/result.rdf. Bossam is a forward-chaining production rule system implemented in Java. I tried to put some interesting features into the engine, such as support for both strong & weak negations, disjunctions in the antecedent, procedural attachments etc. Currently, Bossam is in its premature stage, but I could write some OWL inference rules for OWL positive entailment tests. The results are not spectacular, but I think it's not too bad. ;-) I wrote OWL inference rules in Buchingae, a rule language for Bossam. A simple rulebase written in Buchingae looks like: prefix owl = http://www.w3.org/2002/07/owl#; namespace is http://etri.re.kr/2003/10/Bossam#; rulebase OwlRules { rule SymmetricProperty001 is if owl:SymmetricProperty(?p) and ?p(?x,?y) then ?p(?y,?x); } For overview of the engine and the language, please visit http://machine-knows.etri.re.kr/bossam/. Regards, Minsu
Received on Thursday, 6 November 2003 09:50:23 UTC