Formal Semantics of OWL-S with Rewrite Logic

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:sjmaomaoqiu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concept
其他文献
在领导中国革命走向胜利的伟大实践中,毛泽东为建立一支强大的人民空军而深谋远虑,作出了一系列英明决策,制定了空军建设的方针、原则,这是毛泽东军事思想的重要组成部分,对人民空军的孕育、创建和成长壮大起了决定性作用。据人民日报报道,毛泽东先后对空军的建设与发展作过170多项重要指示。   重视空军在保卫国家主权和维护国家利益的军事斗争中的重要作用,为空军的建设和发展指明了方向  空军是20世纪的产物。飞
试验以传统耕作(CT)为对照,连续3 a研究了保护性耕作(NT),传统耕作+秸秆还田(TS)处理下黄土高原春玉米田土壤养分含量的动态变化。结果表明,与传统耕作相比,保护性耕作处理各土层土
In this paper, we propose a three-dimensional Set Partitioned Embedded ZeroBlock Coding (3D SPEZBC) lossy-to-lossless compression algorithm for hyperspectral im
在日趋复杂的国家安全环境和社会稳定任务新形势下,武警部队履行使命和职能任务不断拓展,担负着处突、反恐、维稳、灾害救援等多样化复杂化的遂行任务。其卫勤保障模式也将向多
Tolerance design plays an important role in the modern design process by introducing quality improvements and limiting manufacturing costs. Tolerance synthesis
大学英语教学质量的高低与独立学院能否健康持续发展息息相关。但因缺乏明确的教学定位和成熟的教学方法,独立学院的英语教学模式存在"费时低效"等诸多问题。为提高课程教学质
手足口病是由以柯萨奇A组16型、肠道病毒71型为多见的肠道病毒引发的急性传染病,多发生于学龄前儿童,尤以3岁以下年龄组发病率最高。其传染性较高,传播途径广,患者及隐性感染
在享誉中外的“红色故都”、中央红军长征出发地——瑞金,曾有4.9万人参加红军、3.1万人参加长征。如今仅存的3位中,有一位依然耳聪目明,积极参与各种社会活动,频频活跃在公众视线中,他就是红色“国宝”——98岁高龄的刘家祁老人。  刘家祁原籍江西省瑞金县黄柏区上椴村,17岁参加红军,因在长征突围的湘江战役中不幸负伤,被迫辗转返回家乡开展游击斗争。建国后,他历任赣南行署公安处秘书、瑞金县人事监察局局长
彭儒出生于1913年3月,现在已经95岁高龄,历经战争洗礼的彭儒,虽然年事已高,但身体依然硬朗,她是当今唯一还健在的井冈山时期的红军女战士,今年是湘南起义爆发80周年、井冈山会师80
采用盆栽控水试验法,研究了干旱胁迫及复水对豌豆苗期叶片超氧化物歧化酶(SOD)、过氧化氢酶(CAT)、过氧化物酶(POD)活性及丙二醛(MDA)含量、质膜相对透性(RC)的影响,对豌豆苗期抗氧化能