旋转

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中的参考文献（参考文献50篇文章)

显示第1到第20个结果，共50个。
按年份排序(引用)
  1. 康托纳，多梅尼科；尼古洛西·阿斯蒙多，玛丽安娜；Santamaria，Daniele Francesco:描述逻辑的一种改进的基于集合的推理机（\mathcalDL\mathrmD^4，\times\dagger）（2021）
  2. Badie，Farshad:走向描述逻辑中的偶然世界描述（2020）
  3. 林和朋；Hashmi，Mustafa:用法律规则实现推理（2019）
  4. Sikos，Leslie F.：多媒体推理中的描述逻辑（2017）
  5. 分析，安娜斯塔西娅；维加斯·达马西奥，卡洛斯；Antoniou，Grigoris:扩展RDF:可计算性和复杂性问题（2015）
  6. 微光，白桦；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：《隐士：猫头鹰2推理者》（2014）
  7. 拉扎克，阿卜杜勒；拉蒂夫，哈立德；艾哈迈德，H.法鲁克；啊，阿里；安瓦尔，扎希德；Bloodworth，Peter Charles:针对web应用程序攻击的语义安全（2014）ioport公司
  8. 徐青，I.：与语义web技术集成的可扩展访问控制标记语言（2013）ioport公司
  9. 林，喜；张和华；顾明：OntCheck：本体驱动的组件模型静态正确性检查工具（2013）
  10. 马丁内斯·卡雷拉斯，M.安东尼娅；穆尼奥斯，安德烈；Botiía，Juan：构建和评估上下文感知协作工作环境（2013）ioport公司
  11. 肖菲格，卡琳；塔米特，塔内尔；Granitzer，Michael:关于社会语义信息检索的调查（2013）ioport公司
  12. 阿基姆，再提格；犹他州Lösch；特雷斯普，沃尔克；达马托，克劳迪娅；Fanizzi，Nicola:为下一代知识库挖掘语义web统计学习（2012）
  13. 沃尔什，迈克尔；盖兹，贾科莫；赫特，马提亚斯；雷夫，杰拉尔德；Gall，Harald C.：SEON：软件进化及其应用的本体论金字塔（2012）ioport公司
  14. Almendros Jiménez，Jesús M:一种基于Prolog的OWL查询语言（2011）ioport公司
  15. 布鲁恩，乔斯·德；艾特，托马斯；波莱雷斯，阿克塞尔；汉斯，汤姆皮茨：将非地面逻辑程序嵌入到知识库组合的自认知逻辑中（2011）
  16. 托马斯·费舍尔；Johannes Ruhland:基于描述逻辑知识库优化关系背包问题的遗传算法（2011）
  17. 核糖，丹妮尔；贝蒂尼，克劳迪奥：具有复杂人类活动的owl2建模和推理（2011）ioport公司
  18. 贝蒂尼，克劳迪奥；布迪茨卡，奥利弗；亨里克森，凯伦；印度河，贾德威加；尼可拉斯，丹尼拉；兰加纳坦，阿南德；Riboni，Daniele:上下文建模和推理技术综述（2010）ioport公司
  19. 德尔辛格，阿南德；里斯卡诺，拉米罗；乔斯特，艾伦；芬森，约翰；Senthilnathan，Rajiv:在普适和普适系统中利用语义知识进行访问控制（2010）ioport公司
  20. 福娜拉，尼古莱塔；Colombetti，Marco:使用语义web技术的义务和禁止的本体论和时间演化（2010）