Southampton and The Open University. Preface(21)

Advanced Knowledge Technologies is recognised as a leading research programme conducted at some of the foremost informatics departments in Britain. It is also a training ground for a new generation of researchers. To highlight the work of these students, a

AKTiveWorkgroupBuilder:SemanticWeb

InstanceDataReasoning

CraigMcKenzie,AlunPreece,andPeterGray

DepartmentofComputingScience,

UniversityofAberdeen

AberdeenAB243UE,UK

{cmckenzie,apreece,pgray}@csd.abdn.ac.uk

Abstract.Ourinterestliesinexploringtheinterplaybetweenonto-

logicalandrulebasedreasoningwithinstancedatawhenappliedto

ConstraintSatisfactionProblem(CSP)solving.TheAKTiveWorkgroup

Builder(AWB)isaSemanticWebapplicationdevelopedtohelpus

achievethisaim.WeshareourexperiencesofdevelopingtheAWB–

howthecurrenttechnologiescanin uencetheusabilityanddesignof

suchanapplication–anddescribeourapproachtoreasoningusingboth

ontologicalandrulebasedmethods.Weshowhowtheserulescanberep-

resentedusingtheSemanticWebRuleLanguage(SWRL).Constraints

arethenexpressedagainstthesemanticdatausingourConstraintInter-

changeFormat(CIF)combinedwithSWRLtoformafullyquanti ed

constraintrepresentationCIF/SWRL.Finally,theproblemspeci ccon-

straintsandthereasoneddomainknowledgearethenbundledtogether

intoaCSPwhichtheAWBattemptstosolve,returningthesolution(if

thereisone)totheuser.

1Introduction&Motivation

Asmoreandmoresemanticallymarkedupinformationbecomesavailable,themajorityofSemanticWeb(SW)applicationstendtoo ersomeformofqueryornavigationservice.InlinewiththevisionthattheLogicLayeroftheSWar-chitecturemeansnotonlytheuseoflogictoenrichdatabutalsotheapplicationoflogicto‘dosomething’withthedata[3],werequiredatangible,SWproblemthatincorporatesalltheseelements.Sinceourinterestliesininvestigatingrea-soningwithSWinstancedataandapplyingittoaconstraintbasedproblem–speci cally,theinterplayofontologicalinferenceandrulebasedreasoningalongwith( nitedomain)constraintsolving–itseem ttingtotackleaclassicalAIconstruction/con gurationproblem.AninterestingstartingdomainwaswiththecontextoftheCSAKTiveSpace1[6],namelytheComputingScience(CS)communityintheUK.Ourdemoapplication,theAKTiveWorkgroupBuilder(AWB),isaSWapplicationthatattemptstoconstructaworkshop,containingoneormoreworkinggroupsofpeoplefromapoolofknownindividuals,thatadherestoasetofuserde nedconstraints.

1

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新人文社科Southampton and The Open University. Preface(21)全文阅读和word下载服务。