Semantic Web Help

I am a student in grade 8 doing a science fair project on Artificial
Intelligence, and I decided to use semantic technologies to solve a logic
puzzle. The logic puzzle is simple; you have 3 jars one that holds 8 Liters
another that holds 5 Liters and yet another that holds 3 Liters. You want to
have 4 Liters. How do you pour the water in order to have 4 Liters. I was
doing pretty good until now. I have already established that there is only
one way to answer the question. I did this by drawing out all the
possibilities. I have created a Java program that creates each status
(status of the problem for example: At the beginning you might have 0Liters
in the 3L jar 0Liters in the 5L jar and 8 Liters in the 8L jar. The status
in this case would be 008. I also have the step number there so the final
status is S1 008 (S1 stands for step 1) ) So I have created a Java program
that writes each status as an F-Logic instance, now I want to put the logic
in the F-Logic ontology.I just want to make a rule that de-validates a
pouring action if it overflows. To do this I need to use the Minimum
function/predicate I am using OntoStudio, but I can also try making it in
Protege or Snoggle. Does anyone know how to calculate the minimum in between
2 instances with a integer attribute? 

Any help would be greatly appreciated, I would also be willing to put a
reference to the user on my science fair board, for more information on my
science fair project go to my blog: http://www.zgentech.com 

-- 
View this message in context: http://old.nabble.com/Semantic-Web-Help-tp27094442p27094442.html
Sent from the w3.org - semantic-web mailing list archive at Nabble.com.

Received on Monday, 11 January 2010 09:14:57 UTC