Om de visie van het Semantisch Web volledig te realiseren, moeten we gebruik maken van logica. De architectuur van het Semantisch Web voorziet het gebruik van logica voor drie verschillende toepassingen: queries uitvoeren, ontologieën en taxonomieën uit te drukken en te begrijpen, en regelgebaseerde redenering te ondersteunen. Het is de visie om deze functionele eigenschappen te ondersteunen en de gebruikte technologieën te verbinden door gebruik te maken van één framework: de verenigende logica. Deze logica moet bovendien bewijzen ondersteunen.
In dit proefschrift onderzoeken wij Notation3 Logic (N3) - een regelgebaseerde logica - als een mogelijke verenigende logica. Het vult RDF aan met universele kwantificatie en met de mogelijkheid om formules aan te halen en regels uit te drukken. N3 maakt het mogelijk te redeneren over input die de RDF syntax volgt en N3-reasoners produceren bewijzen. Dit maakt N3 een veelbelovende kandidaat om de verenigende logica te worden, maar er zijn obstakels: de semantiek van N3 is alleen informeel gedefinieerd welke resulteert in reasoners die conflicterende resultaten produceren. Wij definiëren de semantiek van N3 en tonen aan dat N3 kan gebruikt worden om te redeneren over ontologieën en queries uit te voeren. Aansluitend onderzoeken wij hoe bewijzen toegepast kunnen worden in applicaties.
| |