旋转

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


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

显示结果1到20,共48个。
按年份排序(引用)
  1. Lam,Ho-Pun;Hashmi,Mustafa:用法律规则实现推理(2018)
  2. Sikos,Leslie F.:多媒体推理中的描述逻辑(2017)
  3. Analyti,Anastasia;Viegas Damásio,Carlos;Antoniou,Grigoris:扩展RDF:可计算性和复杂性问题(2015)
  4. 格里姆,伯特;霍洛克斯,伊恩;莫蒂克,鲍里斯;斯托伊洛斯,乔戈斯;王哲:隐士:猫头鹰2推理者(2014)
  5. Razzaq,Abdul;Latif,Khalid;Ahmad,H.Farooq;Hur,Ali;Anwar,Zahid;Bloodworth,Peter Charles:《针对web应用程序攻击的语义安全》(2014)ioport公司
  6. 徐青,I.:与语义web技术集成的可扩展访问控制标记语言(2013)ioport公司
  7. Lin,Xi;Zhang,Hehua;Gu,Ming:OntCheck:一种基于组件模型的本体驱动静态正确性检查工具(2013)
  8. Martínez Carreras,M.Antonia;Muñoz,Andres;Botía,Juan:构建和评估上下文感知协作工作环境(2013)ioport公司
  9. Schoefegger,Karin;Tammet,Tanel;Granitzer,Michael:社会语义信息检索调查(2013)ioport公司
  10. Achim Rettinger;Lösch,Uta;Tresp,Volker;D'amato,Claudia;Fanizzi,Nicola:为下一代知识库挖掘语义网络统计学习(2012)
  11. Würsch,Michael;Ghezzi,Giacomo;Hert,Matthias;Reif,Gerald;Gall,Harald C.:SEON:软件进化及其应用的本体论金字塔(2012)ioport公司
  12. Almendros Jiménez,Jesús M:一种基于Prolog的OWL查询语言(2011)ioport公司
  13. Bruijn,Jos De;Eiter,Thomas;Polleres,Axel;Tompits,Hans:将非地面逻辑程序嵌入到知识库组合的自动认知逻辑中(2011)
  14. Fischer,Thomas;Ruhland,Johannes:基于描述逻辑知识库优化关系背包问题的遗传算法(2011)
  15. Riboni,Daniele;Bettini,Claudio:OWL 2复杂人类活动建模与推理(2011)ioport公司
  16. Claudio Bettini;Oliver Brdiczka;Karen Henricksen;Jadwiga Indulska;Nicklas,Daniela;Anand Ranganathan;Daniele Riboni:上下文建模和推理技术综述(2010)ioport公司
  17. Dersingh,Anand;Liscano,Ramiro;Jost,Allan;Finnson,John;Senthilnathan,Rajiv:在普适和无处不在系统中利用语义知识进行访问控制(2010)ioport公司
  18. Fornara,Nicoletta;Colombetti,Marco:使用语义web技术的义务和禁止的本体论和时间演化(2010)
  19. Fornara,Nicoletta;Colombetti,Marco:使用OWL表示和监督承诺和规范(2010)
  20. Józefowska,Joanna;Ławrynowicz,Agnieska;Łukaszewski,Tomasz:语义在用规则描述逻辑中从知识库挖掘频繁模式中的作用(2010)