最近,这里研究生学位论文做支持条件分支的语义Web服务组装--基于扩展的图论规划算法”的江岭创办公司才几年已多次获得千万美元融资,下面介绍语义Web图论相关的工作:

  最高学历仅是本科的20世纪最具影响力的二十位科学家与思想家中排在第二位互联网之父Tim Berners-Lee2000 12 18 日在XML2000会议上正式提出语义网。其后,他又James HendlerOra Lassila2001一起在《科学美国人》杂志发表了经典的论文“The Semantic Web”,在文中,他们描述了一种基于语义网的个人智能代理(下面再详述)。其后,Berners-Lee认为对语义网更准确的名称应该是数据网(data web),和海南琼州大学一同担任历史悠久的国际大会委员的教育部信息学部副主席金海撰写的专著语义网数据管理技术及应用》就分别从数据模型/数据抽取/数据分类/数据存储技术/数据检索技术/数据检索可视化/数据应用系统等方面深入论述世界上的最新发展:

Jeremy J. Carroll, Christian Bizer, Pat Hayes, Patrick Stickler, Named graphs, J. Web Semantics,2005, 3(4): 247-267这篇论文第一句就说语义Web由许多可由URI命名的RDF图组成,其中RDF图是有向超图RDF图上的SPARQL查询语义对应于图同态,是一个NP-完全问题。因此,如何使用分布式方法在大规模RDF图上有效回答SPARQL查询是一个富有挑战性的问题)。

 Dieter Fensel, The semantic web and its language. IEEE Intelligence Systems, 2000, 11/12(6): 67-73. 

Zachary G. Ives, Alon Y. Halevy, Peter Mork, Igor Tatarinov,Piazza: mediation and integration infrastructure for Semantic Web data, J. Web Semantics,2004, 1(2):155-175,

Fabien L. Gandon, Norman M. Sadeh, Semantic web technologies to reconcile privacy and context awareness, J. Web Semantics, 2004, 1(3), 241260

 Boualem Benatallah, Quan Z. Sheng, Marlon Dumas, The self-serv environment for Web services composition. IEEE Internet Computing , 2003 , 7(1): 40-48

 Avrim L.Blum, Merrick L.FurstFast planning through planning graph analysis. Artificial Intelligence,1997, 90(1-2):281-300

 Liangzhao Zeng, B. Benatallah, A.H.H. Ngu, M. Dumas, J. Kalagnanam, H. Chang, QoS-Aware middleware for Web services composition. IEEE Trans. on Software Engineering, 2004,30(5):311327,

 Daniel A. Menasce, QoS issues in Web service . IEEE Internet Computing, 2002 , 6(6):72-75,

 Michael N. Huhns, Agents as Web services .IEEE Internet Computing , 2002 , 6(4):93-95

 Jeff Offutt, Wuzhi Xu, Generating test cases for web services using data perturbation. ACM SIGSOFT Software Engineering Notes, 2004 , 29(5):1-10

 Jorge Cardoso, Amit Sheth, John Miller, Jonathan Arnold, Krys Kochut, Quality of service for workflows and Web service processes. J. Web Semantics, 2004,1(3):281308

 参看这里邀请我们海南琼州大学去清华大学计算机系合作的80年代经费全国最多的洪先龙院士为第一作者的论文:角模块序列布图表示及基于角模块序列表示的边界约束布图规划算法,中国科学(E:信息科学) ,200203

 即图规划算法是很重要的一个工具,还可参考:董社勤,洪先龙院士,基于矩形宏模块的片上系统布图规划算法,清华大学学报(自然科学版);200304

 杨柳,马昱春,洪先龙院士,董社勤,周强,基于角模块布图表示的增量式布图规划算法(英文),半导体学报;200512期,

 董社勤,洪先龙院士,黄钢,顾均,基于新约束图模型的布图规划和布局算法(英文),软件学报;200111期,

 应昌胜, 洪先龙院士,王尔乾,黄肃亮,宏单元模式分级布图规划方法,半导体学报;199104

 杨柳,董社勤,洪先龙院士,边界约束下的增量式布图规划算法,清华大学学报(自然科学版);200710

 雅虎常务副总裁/谷歌副总裁Prabhakar Raghavan2000年的报告:Networks and Sub-Networks in the World-Wide Web(Web中的网络和子网),这报告是:讨论由万维网的超链接图论和由分布式搜索服务之间的连接所导出的图论等而呈现的图论的一些结构性质

   

      语义Web的主要任务是使数据能被计算机自动的处理和理解,其最终目标是让计算机可以在这些海量信息中找到人所需要的任何信息,从而将万维网中现存的信息发展成一个巨大的全球信息库、知识库:

 梁邦勇,李涓子,王克宏,基于语义Web的网页推荐模型,清华大学学报(自然科学版);200409  蒋运承,史忠植,汤庸,王驹,面向语义Web语义表示的模糊描述逻辑,软件学报;200706

 史忠植,董明楷,蒋运承,张海俊,语义Web的逻辑基础中国科学(E:信息科学) , 200410 唐杰,梁邦勇,李涓子,王克宏,语义Web中的本体自动映射,计算机学报,200611期,

 徐贵红,张健,语义网的一阶逻辑推理技术支持, 软件学报;200812 杜小勇,王琰,吕彬,语义Web数据管理研究进展, 软件学报;200911 张祥,葛唯益,瞿裕忠,语义网站点的发现与排序, 软件学报;200910                

 马应龙,金蓓弘,冯玉琳基于进化分布式本体的语义Web服务动态发现,计算机学报,200504期,(刚毕业不久就已是博士生导师的马应龙开2研究生课程图论与网络》(研究生)、《语义Web原理与应用》(研究生)在百度也见除这2门课外的其它课都是本科生课程 

   

      Web服务是由URI标识的软件应用程序,其接口和绑定可以通过XML标准进行定义、描述和发现,通过Internet协议与其它软件应用程序直接进行交互:

 胡春明,怀进鹏部长,孙海龙,基于Web服务的网格体系结构及其支撑环境研究,软件学报;200407期,   正如怀进鹏部长等说“Web服务是当前基于Web的分布式计算与应用的关键技术基础

 杜宗霞,怀进鹏部长,主动分布式Web服务注册机制研究与实现,软件学报;200603期,

 邓水光,李莹,吴健,邝砾,吴朝晖校长,Web服务行为兼容性的判定与计算,软件学报;200712期,   

 姜瑛,辛国茂,单锦辉,张路,谢冰,杨芙清院士,一种Web服务的测试数据自动生成方法,计算机学报,200504期,

 赵俊峰,谢冰,张路,杨芙清院士,一种支持领域特性的Web服务组装方法,计算机学报,200504期,

 车来了创始人邵凌霜, 新美互通创始人周立,赵俊峰,谢冰,梅宏副校长,一种Web Service的服务质量预测方法,软件学报;200908期,

 邵凌霜,李田,赵俊峰,王亚沙,谢冰, 梅宏副校长,一种可扩展的Web Service QoS管理框架,计算机学报,200808期,

 范小芹,蒋昌俊校长,王俊丽,庞善臣,随机QoS感知的可靠Web服务组合,软件学报;200903期,

 李曼,王大治,杜小勇,王珊副理事长,基于领域本体的Web服务动态组合,计算机学报,200504期,

 岳昆, 王晓玲, 周傲英副校长,Web服务核心支撑技术:研究综述,软件学报;200403期,

 王晓玲, 郭志懋,周傲英副校长,Web服务组合的基于文法的消息处理计算机学报,200504期,

 钱柱中, 陆桑璐,谢立副校长,基于Petri网的Web服务自动组合研究计算机学报,200607期,

 蒋哲远,韩江洪副校长,王钊,动态的QoS感知Web服务选择和组合优化模型,计算机学报,200905期,

 杨胜文,史美林,一种支持QoS约束的Web服务发现模型,计算机学报,200504期,

 廖军,谭浩,刘锦德,基于Pi-演算的Web服务组合的描述和验证,计算机学报,200504期,

 杨文军,李涓子,王克宏,领域自适应的Web服务评价模型,计算机学报,200504期,

 胡春华,吴敏,刘国平,徐德智,一种基于业务生成图的Web服务工作流构造方法,软件学报;200708

 

     语义网(Semantic Web)实现了计算机自动处理功能,其和Web服务的有机结合的语义Web服务使得计算机能够理解Web服务功能,并按Web服务的新型架构实现Web服务的自动发现、组合和执行:

邓水光,尹建伟,李莹,吴健,吴朝晖校长,基于二分图匹配的语义Web服务发现方法,计算机学报,200808期,

吴健,吴朝晖校长,李莹,邓水光,基于本体论和词汇语义相似度的Web服务发现,计算机学报,200504期,

汤宪飞, 蒋昌俊校长,丁志军,王成,基于Petri网的语义Web服务自动组合方法,软件学报;200712期,

李祯,杨放春副校长, 苏森,基于模糊多属性决策理论的语义Web服务组合算法,软件学报;200903期,

杨放春副校长,苏森,李祯,混合QoS模型感知的语义Web服务组合策略,中国科学(E:信息科学) ,200810期,

史忠植,常亮,基于动态描述逻辑的语义Web服务推理,计算机学报,200809期,

倪悦,范玉顺,基于着色Petri网的语义Web服务组合形式化验证,清华大学学报(自然科学版)

从上面吴朝晖校长等人的论文可知Ontology可作为Web服务等的建模工具-可参看“Ontology研究综述,北京大学学报(自然科学版),200205期”

谷文祥,徐丽,张新梅,图规划框架下智能规划的研究与发展,世界科技研究与发展;200504期,

刘日仙,江慧娜,谷文祥,规划图与人工智能规划,计算机科学;200209期,

贺永祥,陈万米,王之荷,秦立,图规划在家庭服务机器人仿真中的应用

  语义网格(Semantic Grid)是综合语义Web的语义表达技术和网格计算(可参考上面和海南琼大一起担任历史悠久的国际计算大会委员的教育部信息学部副主席金海教授翻译的《网格计算》)的分布式体系的架构技术,为下一代互联网技术的发展提供新的思路、方法和技术规范,可参看吴朝晖校长《语义网格:型、方法与应用》史忠植研究员的侧重语义Web的逻辑基础等,可参考Contemporary Logic Design现代逻辑设计,作者Randy Howard Katz是加州伯克利大学副校长, 也可参考史忠植研究员的博士生蒋运承的基于主体的智能Web中的服务研究以及另一博士新加坡A*STAR数分所所长李晓黎的Web信息检索与分类中的数据采掘研究) 

  还有在人工智能早期提出的语义网络Semantic network-其是一种用图论来表示知识的结构化方式,即语义网络模型是一个有向图,与逻辑表示法对应。近些年的相关发展如北京邮电大学副校长中国人工智能学会理事长钟义信等的论文基于语义网络的概念检索研究与实现说“介绍基于语义网络的中文搜索引擎概念检索模型 … 该模型对于建设知识化、智能化的 中文搜索引擎是非常有用的”,可参看和中国计算机学会理事长李国杰院士合作很多工作的著名组合优化专家的IEEE计算机学会会长香港中文大学常务校长华云生Benjamin W. Wah的工作-他的导师Ramamoorthy在哈佛大学的博士论文就是做Abstract Graphs抽象图论(华云生教授就写纪念这导师的文)--而全世界的图论书籍都引用的哈密顿图大师G. A. Dirac的抽象图论文“Some Theorems on Abstract Graphs是全世界图论界妇孺皆知重要的现代哈密顿图的开创性论文等

  随着的5G的到来5G+人工智能+ Web”也将构成下一代超级互联网