SHIOQ (D)

✍ dations ◷ 2025-04-26 14:44:22 #逻辑语言

SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。

SHIOQ(D)中允许如下的语言构造符:

相关

  • 人参人参又称为亚洲参、红参、生晒参、山晒山参、石柱参、朝鲜参、野山参、人衔、鬼盖、土精、神草,在中国东北土名棒槌,是五加科人参属的一种,具有肉质的根,可药用,主要生长在东亚,特
  • 三甲苯三甲苯是苯环上连接三个甲基而形成的烃类化合物,分子式为 C6H3(CH3)3 ,包括三个同分异构体:
  • 费米悖论费米悖论(Fermi paradox,又称费米谬论)阐述的是对地外文明存在性的过高估计和缺少相关证据之间的矛盾。 宇宙惊人的年龄和庞大的星体数量意味着,除非地球是一个特殊的例子,否则地
  • 核关大学核关大学(Herguan University)是位于美国加利福尼亚州森尼韦尔的一所私立大学,成立于2008年,虽然2012年曾被美国移民和海关执法局指控签证欺诈, 2014年12月17日仍然获ACICS许可。
  • TIMTIM是腾讯推出的办公版聊天软件,前身为腾讯QQ轻聊版。可用QQ号登录,软件风格比腾讯QQ更简约且更方便办公使用,并且能够更好地管理在线文档和日程,同时可邀请他人同时编辑。消息
  • 大黑山大黑山是中国辽宁省大连市金州区的一座山峰。又名大赫山、大和尚山,海拔663米,是辽东半岛南部最高峰。位于金州城区以东5公里,距大连市区25公里。因山石多为黑色而得名。山上有
  • 风衣风衣中文里指一种能遮风、挡雨、御寒的多功能日用长衣外衣,是外套的一类。英文中可以指改良自雨衣用来防风防雨的大衣(英语:)或是仅是用来防风保暖的外套(英语:、)。同时因为英文中
  • 侧风侧风是指与某一方向或行进方向有正交分量的风。 在航空中,侧风是指风的一部分吹过跑道,使得起飞降落较风向与跑道平行时更加困难的风。如果侧风足够强烈,并超过了飞机侧风限制,
  • 伊皮尤塔克文化坐标:68°20′35″N 166°49′20″W / 68.34306°N 166.82222°W / 68.34306; -166.82222伊皮尤塔克文化(英语:Ipiutak culture),阿拉斯加西北爱斯基摩人文化,时间为2—6世纪。沿
  • 三聚氰氯三聚氰氯,又称三聚氯氰,是一种有机化合物,化学式为(NCCl)3。它是一种白色固体,通过1,3,5-三嗪氯化得到。它是氯化氰的三聚体。三聚氰氯是广泛使用但有环境问题的除草剂草脱净之