SWRL

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


ZBMaCT中的参考文献(48篇文章中引用)

显示结果1至20的48。
按年份排序(引文
  1. Lam,何朋;哈希米,Mustafa:用LalalRuleML实现推理(2018)
  2. SikOS,Leslie F.:多媒体推理中的描述逻辑(2017)
  3. 阿纳斯塔西娅,Vias as Da.Sasio,卡洛斯;安东尼奥,格里高里斯:扩展RDF:可计算性和复杂性问题(2015)
  4. 格利姆、伯特、霍洛克斯、伊恩、Motik、鲍里斯、斯多洛斯、吉奥斯、王、哲:隐士:猫头鹰2推理者(2014)
  5. Razzaq,阿卜杜勒;Latif,哈立德;艾哈迈德,H. Farooq;Hur,Pig;y;y;Bloodsworth,y:对Web应用攻击的语义安全(2014)伊波尔特
  6. Ching Hsu,I.可扩展访问控制标记语言与语义Web技术的集成(2013)伊波尔特
  7. 林,奚;张,何华;顾,明:OntCheck:一种基于本体驱动的基于组件模型的静态正确性检查工具(2013)
  8. 卡雷拉斯,M. Antonia,MuNooz,安德烈斯;Boosia,胡安:建立和评估上下文感知的协同工作环境(2013)伊波尔特
  9. Schoefegger,Karin;Tammet,Tanel;Granitzer,米迦勒:社会语义信息检索研究(2013)伊波尔特
  10. 阿希姆,L;Uta,TrESP,Volker;D'AMATO,克劳蒂亚;FANZIZI,尼古拉:挖掘下一代知识库的语义Web统计学习(2012)
  11. 米迦勒、Ghezzi、Giacomo、赫特、马蒂亚斯、赖夫、杰拉尔德、GALL、Harald C.:软件演化的本体金字塔及其应用(2012)伊波尔特
  12. AOMDEROS吉姆E.NEZ,JES S M:基于Olog语言的Prolog查询语言(2011)伊波尔特
  13. Bruijn,Jos De;EITER,托马斯;Pulres,阿克塞尔;Tompits,HANS:将非地学逻辑程序嵌入到知识库逻辑的自认知逻辑中(2011)
  14. 菲舍尔,托马斯;Ruhland,Johannes:一种基于描述逻辑知识库的优化背包问题的遗传算法(2011)
  15. Riboni,Daniele;Bettini,克劳迪奥:OWL 2复杂人类活动的建模与推理(2011)伊波尔特
  16. Bettini,克劳迪奥;布里狄茨卡,奥利弗;Henricksen,凯伦;享乐斯卡,贾德维加;尼可拉斯,达妮埃拉;Riboni,^:语境建模和推理技术综述(2010)伊波尔特
  17. Dersingh,阿南德;李斯卡诺,拉米罗;约斯特,艾伦;芬森,约翰;森蒂尔南森,拉吉夫:利用语义知识进行普适系统的访问控制(2010)伊波尔特
  18. 福尔纳拉,Nicoletta,Colombetti,马珂:本体和语义Web技术的义务和禁止时间演变(2010)
  19. 福尔纳拉,Nicoletta,Colombetti,马珂:使用OWL表示和监督承诺和规范(2010)
  20. J·ZeffkSka,乔安娜;AWRYWOWICZ,Agnieszka;UKaseZWSKY,Tomasz:语义在规则描述逻辑知识库中频繁模式挖掘中的作用(2010)