SHIOQ (D)

✍ dations ◷ 2024-12-23 11:04:18 #逻辑语言

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

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

相关

  • 粗面岩粗面岩是一种化学成分和正长岩相同的火山喷出岩石,基质为隐晶质,有气孔或多孔的熔渣构造,表面粗糙,所以名为粗面岩,可以有灰色、灰白色、浅褐黄色、浅肉色等多种颜色,有斑状结构,其
  • 嵌齿象嵌齿象属(学名:Gomphotherium),又名三棱齿象或四偏齿象,是一属已灭绝的长鼻目,生存于中新世早期至上新世早期的欧洲(包括法国、德国及奥地利)、北美洲(美国堪萨斯州)、亚洲(巴基斯坦)及
  • 钩吻碱钩吻碱(C20H22N2O2)是一种吲哚生物碱,分离自于原产于热带和亚热带美洲和东南亚的开花植物钩吻属。是一种麻痹剧毒化合物,接触可导致死亡。通常具有作为哺乳动物甘氨酸受体激动剂
  • 太阳望远镜太阳望远镜是专门用于太阳观测,是用途特殊的光学望远镜。太阳望远镜需要有足够大的口径以获取最佳的衍射极限,不同于其他天文望远镜的是,太阳望远镜无需考量望远镜的集光力。因
  • 笄礼,是中国、朝鲜传统的女性成年礼。笄礼作为女性的成人礼,像男性的冠礼一样,也是表示成人的仪式,在举礼的程序等问题上大体和冠礼相同。“笄”(拼音:jī ,注音符号:ㄐㄧ),《说文解字
  • 一号粮仓一号粮仓,原为台北市存放粮食的仓库,建于1944年日治末期,为台北市的第一座粮仓。建筑外墙上尚有二战美军空袭的248个弹孔。战后由行政院农业委员会农粮署北区分署接管,改作为台
  • 江右民系江右民系,即江右人,或称赣民系,是以赣语为母语的汉族分支,主要分布于江西大部分地区、湖南东部、湖北东南部、安徽西南部和福建西北部。江西地区在秦朝以前鲜少受到中原文明的影
  • 2017年至2018年意大利足球甲级联赛 2017年至2018年意大利足球甲级联赛(意大利语:Serie A 2017-2018,受意大利移动电信赞助冠名为Serie A TIM 2017-2018)是意大利顶级联赛的第116个赛季。本赛季在2017年8月19
  • 科尔马克·墨菲-奥康纳科尔马克·墨菲-奥康纳(英语:Cormac Murphy-O'Connor;1932年8月24日-2017年9月1日)是英国籍天主教已故司铎级枢机及威斯敏斯特总教区荣休总主教。科尔马克生于1932年8月24日,英国
  • 赫曼·尼克赫曼·尼克(Hermann Necke,1850年11月8日-1912年2月15日)是德国的浪漫主义作曲家。代表作是舞曲‘邮递马车’(Csikós Post)。从作品编号可知生涯作曲将近300曲,有许多小奏鸣曲等钢