Reportofthemeetingdd.29/1/2002Present:Ir.JosDeRoo,Prof.Dr.JohanJeuring,Ir.FrankWester,studentGuidoNaudts.Subject:SubjectofthemetingwastodefinethesubjectandconditionsfortheMasterThesisofthestudentGuidoNaudtsforhismasterdegreefulfilledaspartoftheComputerScienceEducation(softwaresystems)attheOpenUniversityinHeerlen.Thisdocumentwillgiveanoverviewoftheagreementswichwerereachedatthemeeting.ProceduralagreementsBecausethereisalimitontheperiodoffinishingthestudiesforthestudentswhofollowtheold56modulessystemthethesiswillhavetobefinishedbeforeaugust2003.GuidoNaudtswilltrytofinishhisproposalforthethesisbeforemarch2002.Thegraduationcommitteewillbecomposedofthefollowingpersons:President:prof.dr.JohanJeuring.Secretary:ir.FrankWesterCoach:ir.JosDeRooReportsinbetweenareconsideredusefull.Theywillbeproducedeachtimetherearesomeresults.BecausethisthesisisframedinaresearchprojectofpeopleoftheW3Cthisreportswillbemadeinenglishbecauseoftheinternationalenvironment.Theprogramsresultingfromthethesisareopensource.Theendworkwillbeabout30pages;supplementaryresultswillbeplacedinannexe.ThestudentwillbeinvitedtomeeetingsinUtrechtwithothersthesisstudents.ContentofthethesisFig1givesarepresentationofthesystemthatwillbethesubjectoftheresearch.Fig1.Schemaofthesubjectsystem.Iwillonlybrieflydescribethissystem.Itwillbemoreextensivelydescribedintheproposalforthethesis.Abasicenginewillservethepurposeofexecutingquery’sononeormoreN3inputfiles.ThequerytooisintheN3format.TheengineproducesaproofinN3.Theengineisfedwithmeta-rules.Theserulesmodifythebehaviouroftheengine.Thethesiswillbecomposedoffollowingpoints:Studyofliterature:thiswillcomprisethestudyoflogicalframeworksandoftheSWAPspaceandtheDesignIssuesfromTimBerners-Lee.Assumptionsofthedesign:noclosedworld:inaclosedworldnegationispossible;wecansaythatsomethingdoesnotexist.Thusifwecannotprovepthenwesaythatpisfalse.Thisistrueifourworldiscomplete.Thiswillnotbethecaseontheinternet.monotonicity:thismeansthatfactsorrulescanbea