An inference engine for RDF - Agfa

An inference engine for RDF
een constructieve benadering belangrijk is voor de verifieerbaarheid van de
resultaten van de inferencing.
Een query op het World Wide Web kan zich uitstrekken over meerdere servers.
Dit houdt in dat een proces van subquerying moet gedefinieerd worden. Dit
concept wordt geïntroduceerd in een experimentele inference engine,
RDFEngine.
Een belangrijke eigenschap voor een engine die actief dient te zijn in het World
Wide Web is efficiëntie. Het is daarom belangrijk te onderzoeken op welke
wijze een efficiënte engine kan gemaakt worden. De structuur dient zodanig te
zijn dat het mogelijk is om met grote volumes aan data te werken, die eventueel
in relationele databases opgeslagen zijn.
Op het World Wide Web is informatie op vele plaatsen en in allerlei vormen
aanwezig. Het samenvoegen van deze informatie en het houden van
redeneringen die erop betrekking hebben kan gemakkelijk leiden tot het ontstaan
van contradicties en inconsistenties. Deze zijn inherent aan de gebruikte logica
of zijn afhankelijk van de applicatie. Een speciale plaats nemen de
inconsistenties in die inherent zijn aan de gebruikt ontologie. Voor het
Semantisch Web wordt de ontologie bepaald door de standaarden rdfs en OWL.
Een ontologie voert een classificatie in van gegevens en legt ook beperkingen
aan deze gegevens op. Een inference engine voor het Semantisch Web dient
zulke eigenschappen te bezitten dat hij compatibel is met rdfs en OWL.
Een uitvoerbare specificatie van een inference engine in Haskell werd gemaakt.
Dit liet toe om allerlei aspecten van inferencing en de ermee verbonden logica te
testen. De engine werd RDFEngine gedoopt. Een groot aantal bestaande
testcases werd onderzocht. Een aantal testcases werd bijgemaakt, sommige
speciaal met het oogmerk om de logische eigenschappen van RDF te
onderzoeken.
14