旋转

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中的参考文献(参考文献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)