On May 5, 2007, at 12:57 PM, Jukka Zitting wrote:
It's time for me to learn something new, so I'd like to propose a lab
for experimenting with RDF and automated reasoning based on OWL.
+1.
The project, named Juuso after my cat, will be written in the
logic-functional Mercury programming language
(http://www.cs.mu.oz.au/research/mercury/)
If anyone else was wondering, mercury apparently looks like this:
:− module hello.
:− interface.
:− import module io.
:− pred main(io::di, io::uo) is det.
:− implementation.
main(IOState in, IOState out) :−
io.write string(“Hello, World!\n”, IOState in, IOState out).
with the idea of using the
deduction capabilities of the language to implement OWL reasoning.
The primary purpose of the project is to learn something new and
experiment with cool new
technologies.
Looks like you picked quite a few at a time :-)
Previously I've done similar experiments in other fields
and languages just by myself, but now within the Labs framework I'd
like to welcome other interested people to participate. I hope it'll
be fun!
To all interested people: a PDF tutorial on Mercury is at
http://www.cs.mu.oz.au/research/mercury/tutorial/book/book.pdf
and a place to start learning about OWL (after you learned about RDF) is
http://www.w3.org/TR/owl-guide/
cheers,
- Leo
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
