SHIOQ (D)

✍ dations ◷ 2025-11-02 18:05:26 #逻辑语言

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

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

相关

  • AOL美国在线(AOL Inc.,前身为:America Online,AOL),著名的互联网服务提供者,现为电信商威讯旗下Verizon Media公司的子公司。今天的美国在线,源自20世纪80年代的一家计算机服务公司Cont
  • 铰剪剪刀,古称铰剪或铰刀,粤语称鉸剪,闽语称铰刀,是一种剪裁物件的工具,有双刀刃。剪刀是约公元前1500年时由古埃及人发明的,最早在古埃及人的废墟中找到,这些剪刀都是用某一种金属制成
  • 分娩高潮分娩高潮(英语:birthgasm,orgasmic childbirth)是指在分娩期间所出现的性高潮。一些女性会以性刺激的方式去减轻宫缩,并以此替代麻醉药物。波斯特尔(Postel)于2013年发表了一项调查
  • 超连续光谱超连续光谱是一种具有极宽带宽的光源,一般利用高峰值功率的超短脉冲通过非线性材料来产生,例如利用飞秒激光脉冲通过光子晶体光纤可以获得覆盖整个可见光波段的连续光谱。在光
  • 维科扬斯克山脉上扬斯克山脉(俄语:Верхоянский хребет,或有翻译维科扬斯克山脈)位于西伯利亚东部,纵贯俄罗斯的萨哈共和国,长1,000公里。位于勒拿河—阿尔丹河和亚纳河之间。南
  • 文森特文森特(英语:Vincent)是位于美国加利福尼亚州洛杉矶县的一个人口普查指定地区。文森特的座标为34°05′55″N 118°55′28″W / 34.09861°N 118.92444°W / 34.09861; -118.92
  • 河南农业大学河南农业大学,为中国河南省郑州市的一所公立大学。校园4800多亩,图书馆藏书234万册。河南农业大学创办于1912年,前身是成立于1912年的河南公立农业专门学校,之后相继经历了国立
  • 千叶县第8区千叶县第8区是日本众议院的选区,设立于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 |
  • 米歇尔·德勃雷米歇尔·德勃雷(Michel Debré,1912年1月15日-1996年8月2日),法国政治人物,被誉为法国现行宪法之父。曾任法兰西第五共和国首任总理。德勃雷出身于法国影响力很大的德布雷家族。支
  • 徐正光徐正光(1943年2月16日-),台湾社会学、民族学、文化人类学研究者,客家人,祖籍广东梅县。1943年2月16日出生在台湾省屏东县的客家为主的内埔乡东片村。 在国立台湾大学社会学系得到