SHIOQ (D)

✍ dations ◷ 2025-06-08 16:13:57 #逻辑语言

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

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

相关

  • 生物疗法生物药物(Biopharmaceutical)是指从生物来源制造、提取的药物和医疗产品。癌症细胞有多种机制来逃脱免疫细胞的识别与杀伤,成为现代医学难题,癌免疫治疗就是借助分子生物学技术
  • 无性别厕所中性厕所(Unisex toilet,又称:无性别厕所、男女通用/共用厕所、男女共厕、家庭厕所、性别中立厕所或性别友善厕所等)是没有性别之分,供任何需要使用者使用的公共厕所。一些设为独
  • 太阳系的形成与演化太阳系的形成和演化始于46亿年前一片巨大分子云中一小块的引力坍缩。大多坍缩的质量集中在中心,形成了太阳,其余部分摊平并形成了一个原行星盘,继而形成了行星、卫星、陨星和其
  • 中国科学院深圳先进技术研究院中国科学院深圳先进技术研究院,简称先进院,位于广东省深圳市南山区西丽大学城。2016年,深圳市与中国科学院大学决定在先进技术研究院的基础上建设中国科学院大学深圳校区。2018
  • 皮肤肿瘤皮肤癌是一种生长在皮肤上的癌症,它是由异常的细胞发展而来,甚至有可能会侵犯扩散到身体不同部位。由于皮肤癌常常在表皮层中发展,肿瘤常常清晰可见,因此大部分时间,可以在早期发
  • 诱导效应诱导效应,即因分子中原子或基团极性(电负性)不同而致使成键电子云在原子链上向某一方向移动的效应。其本质是静电感应。电子云偏向电负性较强的基团或原子(如氟)移动。诱导效应的
  • 瓦西里·彼罗夫瓦西里·彼罗夫(俄语:Васи́лий Григо́рьевич Перо́в 1834年1月2日-1882年6月10日),是一位俄罗斯画家、俄罗斯现实主义运动重要人物。巡回展览画派创始
  • 帕米尔河帕米尔河是塔吉克斯坦和阿富汗的河流,为喷赤河的支流,组成了阿富汗瓦罕县北部边界的一部分。帕米尔河发源于塔吉克斯坦东南部山地巴达赫尚自治州的帕米尔高原中,始于海拔4130m
  • 丁部领丁先皇(越南语:Đinh Tiên Hoàng/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H"
  • 郭隆真郭隆真(1894年-1931年4月5日)原名郭淑善,女,回族,出生于直隶元城(今河北省大名县)金滩镇。中国共产党早期活动家。1930年在青岛被捕,1931年4月5日在济南被韩复榘下令枪决。