Southampton and The Open University. Preface(29)

infuturewhentheoverallreasoningtimedropsandoptimisationisimportant.

Thedisadvantageofthisisthattherulesare redforeachnewinstanceofthe

CSP.Toovercomethis,itisnecessarytoextractthenewlyderivedfacts(inthis

case,anynewlydiscoveredbaselocations)backfromtheCSPsolverinorderto

updatethedatabasecacheafterthesolutionspacehasbeensearched.

5SemanticWebConstraints

AgapexistsintheLogiclayeroftheSWbecausethereiscurrentlynostandard

methodforexpressingfullyquanti edconstraintsagainstsemanticdataina

naturalmanner[5].InthecontextoftheAWBthismeansbeingabletopass

userspeci edconstraintinformationrelatingtotheconstructionofaparticular

workgrouporallworkgroups.Sucharepresentationisimportantbecauseit

allowsconstraintinformationtobemadeavailablealongwiththedataitself

–potentiallyallowingapartiallysolvedproblemtobepassedontoasolveror

providingprovenanceinformationabouthowasolutionisconstrained.

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