SHIOQ (D)

✍ dations ◷ 2025-12-01 18:31:55 #逻辑语言

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

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

相关

  • 跗骨跟骨   距骨   骰骨   足舟骨在四足类动物中,跗骨(英语:Tarsus)指的是足部由七个突出的骨骼构成的集合,位于跖骨和下肢胫骨和腓骨的下端,属于短骨。人类最大的跗骨是跟骨
  • 子宫肌层子宫肌膜(英语:myometrium),也称子宫肌层,是子宫壁的中间层,包括主要的子宫平滑肌细胞(uterine smooth muscle,也称子宫肌,uterine myocytes),也包括一些间质及血管组织。它主要的功能
  • 王念孙《清代学者像传》第一集之王念孙像王念孙(1744年-1832年),字怀祖,号石臞。江苏高邮州(今高邮市)人。清代学者、音韵学、训诂学、校勘学家、官员,是乾嘉学派的代表人物。曾任给事中,与
  • 祖玛岩祖玛岩(Zuma Rock),是位于尼日利亚的尼日尔州阿布贾北部的磐石,为一巨大的侵入岩。它正好位于阿布贾通往卡杜纳的主干道边,所以有时候大家也会称之为“阿布贾门户”。它高出地面
  • 新北市新北市文化资产是位于台湾新北市的古迹与历史建筑等文化资产,以下的文化资产均收录在中华民国行政院文化部文化资产局的网站里。改修碑:1926年
  • 米德尔斯堡米德尔斯伯勒(Middlesbrough,i/ˈmɪdəlzbrə/ MID-əlz-brə)是位于英国东北部的一座城市。在行政上属英格兰北约克郡的米德尔斯伯勒区。市区人口约有14万人。米德尔斯伯勒地
  • 西南联大国立西南联合大学,简称西南联大,是抗战时期由当时的北大、清华、南开在云南昆明共同组成的大学,前身为国立长沙临时大学。校务最初由当时清华校长梅贻琦、北大校长蒋梦麟和南开
  • 彭亨彭亨州(马来语:Pahang),全称Pahang Darul Makmur(意为“彭亨-繁荣的家邦; Darul:家邦,Makmur:繁荣),是西马来西亚最大的州属,州首府为关丹(Kuantan),皇城位于北根(Pekan)。马来西亚半岛最高
  • 陈福田 (教授)陈福田(英语:Fook-Tan Chen,1897年-1956年),中国外国语言学家、西洋小说史专家。1897年出生于夏威夷,哈佛大学教育学硕士。曾任美国檀香山明伦学校教师,美国波士顿中华青年会干事。1
  • 周访周访(260年-320年),字士达,晋朝名将,本籍汝南安城,因祖辈于汉末避乱江南,于是在吴亡时改为庐江寻阳(今江西省九江市西)人。东晋初年著名将领,曾讨平江州刺史华轶及作乱荆州的杜曾叛乱,又