Bossam's OWL Test Results Available

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