上油的

OilEd:语义web本体的一个理性的本体编辑器将在“语义web”中扮演一个关键角色,在语义web中,它们将提供一个可以跨人员和应用程序进行通信的精确定义的术语源。OilEd是一个本体编辑器,它有一个易于使用的框架界面,但同时允许用户充分利用表达性web本体语言(OIL)的全部功能。OilEd使用推理来支持本体设计,促进更详细和更准确的本体的开发。


zbMATH中的参考文献(参考文献25条,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 鲍尔,约瑟夫A。;Bolotnikov,Vladimir:Drury上Schur乘子的插值问题——Arveson空间:从Nevanlinna——选择到抽象插值问题(2008)
  2. 巴德尔,弗兰兹;塞尔特卡亚,巴里斯;Turhan,Anni Yasmin:计算最不常见的子用户w.r.t.a背景术语(2007)
  3. Sattler,Ulrike:描述逻辑中的推理:基础,扩展和相关(2007)
  4. 埃洛,A。;福纳里,芒果先生;马萨罗蒂,A。;布兰迪,S。;卡普托,V。;Barone,V.:信息网格环境中的实验本体服务器(2006)
  5. 巴德尔,弗兰兹;Küsters,Ralf:描述逻辑中的非标准推理:迄今为止的故事(2006)
  6. 霍洛克斯,伊恩;Voronkov,Andrei:使用定理证明器对表达本体语言的推理支持(2006)
  7. 巴德尔,弗兰兹;霍洛克斯,伊恩;Sattler,Ulrike:描述逻辑作为语义web的本体语言(2005)
  8. 沃兹,拉斐尔;斯塔布,斯特芬;Motik,Boris:增量维护存储在逻辑数据库中的本体的物化(2005)
  9. 冈萨雷斯,伊夫利奥J。;汉密尔顿,阿尔贝托F。;莫雷诺,洛伦佐;玛丽查,罗伯托L。;托莱多,乔奈:自动调度的多智能体系统中的本体论(2004)
  10. 兰布里克斯,帕特里克:生物信息学和系统生物学中的本体论(2004)
  11. 图尔汗,安妮亚斯敏;基希格,克里斯蒂安:音速——非标准推断被润滑(2004)
  12. 巴兹,马提亚斯;费姆勒,克里斯蒂安G.:描述古典理论建设性内容的翻译(2003)
  13. 布兰特,塞巴斯蒂安;图尔汗,安妮亚斯敏;Küsters,Ralf:非标准推理对具有传递角色的描述逻辑的扩展(2003)
  14. 甘特,伯恩哈德;Stumme,Gerd:本体顶层的创建和合并(2003)
  15. 当然,约克;安吉尔,尤尔根;Staab,Steffen:本体编辑:本体工程的多方面推理(2003)ioport公司
  16. Bonham,Charles D.:评估富营养海滩残余油减少的碳氢化合物变量选择(2002)
  17. 寇丘,Ó疤;费尔南德斯-洛佩斯,马里亚诺;戈梅斯-佩雷斯,亚松森;Vicente,Óscar:WebODE:本体表示、推理和交换的集成工作台(2002)
  18. 费尔芬尼,亚历山大;弗里德里希,格哈德;贾纳赫,迪特玛;Zanker,Markus:CAWICOMS项目中的语义配置web服务(2002)
  19. 霍洛克斯,伊恩:推理与表达描述逻辑:理论与实践(2002)
  20. Omelayenko,Borys:集成词汇表:发现和表示词汇图(2002)