旋转

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