旋转

结合SWRL和SWRL的语义Web语言。本文档包含一个语义Web规则语言(SWRL)的建议,该语言基于owlweb本体语言的owldl和owllite子语言与规则标记语言的一元/二进制数据日志RuleML子语言的组合。SWRL在owldl和owllite子语言中都包含了一个用于Horn-like规则的高级抽象语法。给出了一个模型论语义,为OWL本体(包括用这种抽象语法编写的规则)提供形式化的意义。给出了基于RuleML的XML语法和OWL-XML表示语法,以及基于OWL-RDF/XML交换语法的RDF具体语法,并给出了几个实例。


zbMATH参考文献(48篇文章引用)

显示第21到40个结果,共48个。
按年份排序(引用)
  1. Muehlen,Michael Zur;Indulska,Marta:业务流程和业务规则的建模语言:一个代表性分析(2010)ioport公司
  2. Nalepa,Grzegorz J.;Ligęza,Antoni:HeKatE方法论。智能系统混合工程(2010)
  3. Noguera,Manuel;Hurtado,María V.;Rodríguez,María Luisa;Chung,Lawrence;Garrido,JoséLuis:使用OWL-DL和CPN对基于UML的协作过程进行本体驱动分析(2010)
  4. Joost Vennekens;Denecker,Marc;Bruynooghe,Maurice:FO(ID)作为DL与规则的扩展(2010)
  5. Calì,Andrea;Lukasiewicz,Thomas;Predoiu,Livia;Stuckenschmidt,Heiner:语义网的紧耦合概率描述逻辑程序(2009)
  6. de Vergara,Jorge E.López;Guerrero,Antonio;Villagrá,Víctor A.;Berrocal,Julio:《基于本体的网络管理:研究案例和经验教训》(2009)ioport公司
  7. Ivan Jureta;Herssens,Caroline;Faulkner,Stéphane:面向服务系统的综合质量模型(2009)ioport公司
  8. Koumoutsos,Giannis;Thranboulidis,Kleanthis:复杂、主动和面向服务的电子谈判系统的基于知识的框架(2009)ioport公司
  9. Levshin,D.V.;Markov,A.S.:PostgreSQL与语义web集成的算法(2009)ioport公司
  10. 《企业》杂志,2009年版;罗曼蒂娜·安托洛;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯,2009年;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯,2009年)
  11. Thomas Eiter;Ianni,Giovambattista;Lukasiewicz,Thomas;Schindlauer,Roman;Tompits,Hans:将答案集编程与语义web描述逻辑相结合(2008)
  12. 林家雄;洪仁申;多尔,马丁:演绎知识生成的推理平台问题:基于CIDOC CRM的文化遗产数字图书馆案例研究(2008)ioport公司
  13. Samuel,Ken;Obrst,Leo;Stoutenberg,Suzette;Fox,Karen;Franklin,Paul;Johnson,Adrian;Laskey,Ken;Nichols,Deborah;Lopez,Steve;Peterson,Jason:将OWL和语义web规则翻译成序言:走向描述逻辑程序(2008)
  14. García,Roberto;Gil,Rosa;Delgado,Jaime:数字版权管理的web本体论框架。(2007年)ioport公司
  15. Heymans,Stijn;Van Nieuwenborgh,Davy;Vermeir,Dirk:语义web的开放答案集编程(2007)
  16. Martin,David;Burstein,Mark;McDermott,Drew;Mcilraith,Sheila;Paolucci,Massimo;Sycara,Katia;Mcguinness,Deborah L.;Sirin,Evren;Srinivasan,Naveen:用OWL-S将语义引入Web服务(2007)ioport公司
  17. Papazoglou,Mike P.;vandenheuvel,Willem-Jan:《面向服务的体系结构:方法、技术和研究问题》(2007)ioport公司
  18. Ricca,Francesco;Leone,Nicola:带类型和对象的析取逻辑程序设计:(\mathrmDLV^+)系统(2007)
  19. Zarri,Gian Piero:(法律)智能信息检索系统的本体论和推理技术。(2007年)ioport公司
  20. Baral,Chitta;Dzifcak,Juraj;Takahashi,Hiro:宏、宏调用和组合在模块化答案集编程中的使用(2006)