SHIOQ (D)

✍ dations ◷ 2025-10-12 18:52:44 #逻辑语言

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

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

相关

  • 克劳德·贝托莱克劳德·路易·贝托莱(法语:Claude Louis Berthollet,1748年12月9日-1822年11月6日),法国化学家。贝托莱生于萨伏依公国的Talloires(现属法国上萨瓦省,在省会阿讷西附近)。1768年在都
  • 川烫汆(拼音:cuān;注音:ㄘㄨㄢ)是烹饪时对食材的一种处理方法,又称汆烫、川烫、焯水或飞水。较常用的一个意思是指把食材放入沸水中片刻,透过水的热力烧煮食材。可以达到去除肉类血水
  • 天气学气象学是把大气当作研究的客体,从定性和定量两方面来说明大气特征的学科,集中研究大气的天气情况和变化规律和对天气的预报。气象学是大气科学的一个分支。第一位建立气象学的
  • 骆清铭骆清铭(1966年1月-),湖北蕲春人,中国科学院院士,海南大学教授、博士生导师,现任海南大学校长,党委常委、副书记和华中科技大学武汉光电国家研究中心主任。。1986年毕业于西北电讯工
  • 何芳腾何芳腾,字德迈。福建晋江县人,清朝政治人物。顺治十五年(1658年)戊戌科进士,授广东雷州府推官,降补浙江宁波府经历,到任数月,丁忧归里。
  • 原台湾总督府专卖局台南支局台南出张所原台湾总督府专卖局台南出张所,为台南市的市定古迹,其曾做为台湾总督府专卖局台南出张所和台南支局,负责烟草、酒、盐等专卖业务。此建筑于民国92年(2003年)5月13日公告为台南市
  • 圣名大学圣名大学(Holy Names University)是位于美国加利福尼亚州奥克兰的一所私立大学,2015年《美国新闻与世界报道》 “西部地区大学”排名中排在第68位。其历史可追溯到1868年来自魁
  • 吸附吸附是指某种气体,液体或者被溶解的固体的原子,离子或者分子附着在某表面上。这一过程使得表面上产生由吸附物构成的膜。吸附不同于吸收,吸收是指作为吸附物的液体浸入或者溶解
  • 2010年Running Man节目列表本列表为《Running Man》2010年的每集节目列表。整集节目中有经常参与的出演者,无论其以何种身份出演或是否有游戏胜出权皆视为嘉宾,其他只参与某一环节的出演者则视为“特别
  • 阿尔法·卡里姆·拉德哈瓦阿尔法·卡里姆·拉德哈瓦(乌尔都语:ارفع کریم رندھاوا,Arfa Karim Randhawa‎‎,1995年2月2日-2012年1月14日),巴基斯坦学生、电脑奇才。2004年,仅9岁时成为微软认