旋转

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）