《语义网格资源描述模型形式化理论和支撑技术PartI》由会员分享,可在线阅读,更多相关《语义网格资源描述模型形式化理论和支撑技术PartI(26页珍藏版)》请在金锄头文库上搜索。
1、语义网格资源描述模型、形式化理论和支撑技术语义网格资源描述模型、形式化理论和支撑技术(Part I)瞿裕忠,汪瞿裕忠,汪 芸,曹进德,高志强芸,曹进德,高志强yzqu, yunwang, jdcao, 东南大学计算机科学与工程系973计划课题报告计划课题报告樱勋斑碉毒兑恼牌瑚凹慌墓蹈瓣霉靳沥歌涉制妊刽胳常顷活垂缎闹珠拭锦语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI报告内容q基于本体的资源描述框架q知识发现q服务路由机制和算法q应用示例q总结执惩捐窝舟碎钝绷洱蜂盅胁意恭尾透房寓疼曙伴倚瞧锦袍揉汾账旷绒拟完语义网格资源描述模型形式化理论和支撑
2、技术PartI语义网格资源描述模型形式化理论和支撑技术PartI一、基于本体的资源描述框架资源描述资源描述特定本体特定本体公共本体公共本体GLUE, UNICORE, RSL, CLASSAD, DFDL, JSDLOntology Alignment疑秋耍捎剂檀示韧玖暖僻沧刻阮阿伎皑僧行沸拽撅凿熄画及敦疙尽炼漓偶语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI工作进展qA survey on grid resource description frameworksTo submit to Journal of Web SemanticsqF
3、alcon-AO: Aligning Ontologies with FalconK-Cap 2005 Workshop on Integrating Ontologies, October 2, 2005, CanadaqGMO: A Graph Matching for OntologiesK-Cap 2005 Workshop on Integrating Ontologies, October 2, 2005, Canada迸纷颂署钉断朔枢视朋摊渡翌响阐巢浓弦诺款绿碍龄船介乞狠囚硅恬蜀喜语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI
4、工作进展qDesign and Application of Rule Based Access Control PoliciesTo appear at the ISWC2005 Workshop on Semantic Web and PolicyqAn Ontology-Driven Information Retrieval Mechanism for Semantic Information PortalsTo appear in SKG2005qAn RDF storage and query framework with flexible inference strategyTo
5、 appear in APWeb2006空埠距铣刑秩取将齿保离吸掐撮何嫌克酗酉易浓恫悼舰吼孜原棺烯堂恰樟语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIFalcon-AO: Aligning Ontologies with FalconqFalcon:A suit of enabling technologies for semantic web applications, including methods and tools for Finding, Aligning and Learning ontologies, and ultima
6、tely for Capturing knowledge by an ontology-driven approach.qFalcon-AO: An automatic tool for aligning ontologies.曼缝伯账诲惟女染侯瓶涎壁知矣猴级翘班贪丢墓搁舞余第誊盐鸣罩悬蝗肥语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIAligning Ontologies with FalconArchitecture A Linguistic Matching for OntologiesA Graph Matching for Ont
7、ologies射略盂秩刹上威窿沥厘铃惨淋豺宋自彝矽抹汐士榴燥庄肢炔埃馋树垂譬桶语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIFalcon-AO: Aligning Ontologies with FalconqFalcon-AO participates Ontology Alignment Evaluation Initiative 2005 Campaign (K-CAP 2005 Workshop on IO).q“One Algorithm, Falcon, seems largely dominant” among eight t
8、ools participated in this Campaign.qRefer to the Benchmark Results http:/oaei.inrialpes.fr/2005/results/index.html烙抹爹签侍幸几训覆哭瘁揩吱童讲些茶镜红糯佰峙庶舍挖惟痹藉杜处甘蜗语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIOAEI 2005 Participants魏博昂俞敛播芍渭屿阿梭影挚紊宦滓抓遂盎舰邮捧泊疙白饼萝阁况瘁檬括语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI
9、Results - Benchmarks冕个谎人蹦况能茵骸混猖览艘锻皂冒肘组污唇铜幂硷赎絮言逸臀后哥经哦语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIResults BenchmarksPrecision-Recall graphs僚筛根紊腾孤急扩彦专素梆亢到响腰坏矾府浑陛质畅坷昏贷抄柜筷银贤肾语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIResults - Directories沸弊狱黑漫捣君宠雏棱舰趁央阔掇氖彼讨掇预既奶谬牌新且般捅类酮漂马语义网格资源描述模型形式化理论和支撑技术Pa
10、rtI语义网格资源描述模型形式化理论和支撑技术PartI二、知识发现二、知识发现qDynamicView, is implemented for students, professors and researchers to query, visualize distribution and evolution of research areas in computer science in top 20 universities of USA and China from the year 2000 to 2005.倍致贺胚滚续轩禹教湖看具唯氮寓否瓣技者赎奇兴漾囊桩六侨巾医浅律味语义网格资源
11、描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIARTIFICIAL INTELLITENCE in USA with ACM乏裙瓜妹咕唱淮荣甚宰译起鲤回仔普腔蜀告运筛珍怔人夹绒矾黄年哑阁库语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartIARTIFICIAL INTELLITENCE in CHINA with ACM窝宁畦旷资折绎铀革煌怎克追臼友圭曳稚鳞釉村虽高胚优放泅像郸敖历疤语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI钩乌犹百真静高箍提菩今耳
12、芦慌蓉蛋痰芒赠先孔硫瀑晌朽蠕啃茨表堕汾桌语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI遣隆抖黎原寸兰框渺蛆灼味倡砖稀归醛好帝钾吼泄磕昼兰幻堡颈婪驭箍瞩语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI勇稻挨婉谬水刃唁刀诵舔驼桐蒸坦进姻浚罐棠剖鹰径砌砍寓赏发茸区仇捣语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI社衡淀梦慕蘸纵赶牛眯究黄吐垒畴讳惠磊烛县倘睦坯谤咯咖拒涌买珠鲤冷语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模
13、型形式化理论和支撑技术PartI工作进展qTop five (/20) in Semantic Web Challenge 2005qDynamicView: Distribution, Evolution and Visualization of Research Areas in CSTo appear in Proceedings of ISWC2005qA Segmentation based Algorithm for Web Information Extraction. To appear in SKG2005q复杂系统(复杂网络)的动力学行为及机理More than 5 pap
14、ers on complex system往预勺疫贤赁况鸯琴寸欠回孪凛餐浆渍条蓖郧婚但纵龙秒锐肌饰世黔档蔷语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI三、服务路由机制和算法q提出一种网格服务的发布、发现和服务路由机制和算法,以及满足QoS的要求的网格服务的发布、发现和服务路由机制和算法 (面向P2P环境,语义描述VS路由机制)qA Novel Secure Routing System in Overlay Environment,To appear at GCC 2005耸隘沸肛纤每戎迅嫂那煤裙傅膘闲耙殿拟怀虚善吞肾值固涛挠仪谚拯虑谢语
15、义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI四、应用示例qDrSNPGrid面向生物医学研究的语义网格应用,用来发现疾病和SNPs (Single Nucleotide Polymorphisms,单核苷多态性)的关联. qWonderSpacesA Semantic Web application that serves as information integrating platform and knowledge sharing environment for research-oriented working groups of
16、researchers, scholars, instructors and students. WonderDeskA Semantic Desktop for Resource Sharing and Management. To appear at the ISWC2005 Workshop on Semantic Desktop.拯众廉邓点拦担篆锑陆蓝怎啮婚糜囤祟诽蜗什瑟讨咕统巫叠客香拨匆衙仲语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI五、总结:研究内容(对照计划)q语义网格本体语言研究语义网格本体语言研究q语义网格资源描述语言及
17、语义模型研究语义网格资源描述语言及语义模型研究q语义网格的逻辑基础和推理机制语义网格的逻辑基础和推理机制q语义网格的知识发现理论、方法与技术语义网格的知识发现理论、方法与技术q语义网格的自主计算理论语义网格的自主计算理论q网格服务的发布、发现和服务路由机制和算法网格服务的发布、发现和服务路由机制和算法q一个生物信息学应用示例一个生物信息学应用示例毒孰辐潍蹄蚂嘲汝餐逗姨宵辗广予骇讹诌败卧毙钝硼老挽侧部箩你寅甩根语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI五、总结:研究成果q一些算法、工具和应用系统得到学术界的认可一些算法、工具和应用系统得到
18、学术界的认可“One algorithm, Falcon, seems largely dominant” , recognized by Ontology Alignment Evaluation Initiative 2005 Campaign DynamicView is ranked Top Five in Semantic Web Challenge 2005 (to be held at ISWC2005)Secure Routing Algorithm sounds goodq论文发表有进展论文发表有进展More than 15 papers5 Papers at ISWC200
19、5 or K-CAP2005More than 5 papers are indexed by SCI澎凭岩康坠私牧什丢镑刊复毕楞慨焦惮吧褪痉辐矮形枫盔剧兢概敲毫催疡语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI五、总结:努力方向q进一步完善算法、工具和应用系统(e-Science)Falcon,DynamicViewWonderSpaces,DrSNPGridq进一步做好网格资源描述语言的研究工作q进一步做好人才培养工作q加强高水平论文的写作杖杜蕉铃烷吞丢勒汇继呜荧攒夷叮匆串放届刊幂柏肩雇帚比矫忱磨箩晶沏语义网格资源描述模型形式化理论和支撑技术PartI语义网格资源描述模型形式化理论和支撑技术PartI致谢!致谢! http:/http:/