Subject:

Via mijn broer Jan kwam ik in contact met de heer Jos Deroo van de firma Agfa .
De heer Deroo deed mij het volgende uitermate interessante voorstel voor een
eindverhandeling aan de hand :
"Python version of Euler for the Semantic Web Application Platform".
The Semantic Web [1] is a web of data that can be processed directly
or indirectly by machines (Tim Berners-Lee in "Weaving the Web").
It is the idea of having data on the web defined and linked in a way
that it can be used by machines not just for display purposes, but for
automation, integration and reuse of data across various applications.
SWAP [2] is a prototype and stands for "Semantic Web Area for Play" or,
if you like, "Semantic Web Application Platform".
The Euler proof mechanism [3] generates a proof for a question about
a given set of facts and rules which are acquired from the Web.
The proof engine only follows Euler paths (the concept Euler found
several hundred years ago) so that endless deductions are avoided.
Euler, currently written in Java, should be rewritten in Python [4]
and alligned with the SWAP architecture.
We consider Python as something you could start quickly but which would
scale to a large system.
[1] http://www.w3.org/2001/sw/
[2] http://www.w3.org/2000/10/swap/
[3] http://www.agfa.com/w3c/euler/
[4] http://www.python.org/
]]
Ik heb dit samen met Tim Berners-Lee besproken en hij kijkt daar
echt wel naar uit (als Python fan, maar vooral als Semantic Web
"running code").
Zie je dit zitten Guido?
Uiteraard staan we open voor een creatieve invulling/uitbreiding
van dit voorstel.
-Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Ik kan daarbij in eerste instantie reeds volgende activiteiten onderscheiden :
1)
2)
3)
4)
5)
6)
Bestuderen van de taal Python .
Herhalen van de theorie van de grafen .
Bestuderen van ‘the semantic web ‘ : RDF, CWM, SWAP .
Bestuderen van het programma Euler .
Vertalen van het programma naar Python en alignment met SWAP .
Verdere studie van web componenten zoals daar zijn CIF, DAML+OIL,XSL,
Xschema; …
Relevantie voor web services . Algemene bespreking en inkadering van ‘the
semantic web ‘.
Als output van de eindverhandeling zie ik het volgende :
-
beknopte samenvatting
introductie tot ‘the semantic web’ – situering van de problematiek
bespreking van het programma Euler
bespreking van de vertaling naar Python en de inpassing in SWAP .
Bespreking van ‘the semantic web’ in een breder kader en eveneens in verhouding
tot web services .
Een andere en/of bijkomende mogelijkheid die ik zie is een studie te maken van
logica en inference engines en aldus te komen tot een situering van het programma
Euler en van de rol van inference methoden in ‘the semantic web’ .