SHIOQ (D)

✍ dations ◷ 2025-07-22 02:24:31 #逻辑语言

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

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

相关

  • 地表水水资源包括经人类控制并直接可供灌溉、发电、给水、航运、养殖等用途的地表水和地下水,以及江河、湖泊、井、泉、潮汐、港湾和养殖水域等。水资源是发展国民经济不可缺少的重
  • 亨利·艾林亨利·艾林(英语:Henry D. Eyring,1901年2月20日-1981年12月26日),墨西哥出生的美国理论化学家。艾林曾任1963年度美国化学会主席和1965年度美国科学促进会主席,1966年因为对反应速
  • 弗拉基米尔-苏兹达尔大公国弗拉基米尔-苏兹达尔大公国(俄语:Владимиро-Су́здальское кня́жество)又被称为弗拉基米尔-苏兹达尔罗斯(俄语:Владимирско-Су́з
  • 跨时区澳大利亚时区是覆盖澳大利亚及其属地三个时区的总称。三个时区分别为澳大利亚西部标准时间(AWST; UTC+08:00)、澳大利亚中部标准时间(ACST; UTC+09:30)和澳大利亚东部标准时间(AE
  • 三韩三韩是公元前2世纪末至公元后4世纪左右朝鲜半岛南部三个部落联盟,包括马韩、辰韩和弁韩。《三国志·魏志·东夷传》中提到:“韩在带方之南,东西以海为限,南与倭接,方可四千里。
  • 多多马多多马(斯瓦希里语:Dodoma)是坦桑尼亚中部城市,位于达累斯萨拉姆以西486公里、东非共同体理事会所在地阿鲁沙以南441公里,也是坦桑尼亚首都和多多马区首府。面积2,669平方公里,建
  • span style=color: white;总裁/span欧洲中央银行行长主管负责管理欧元与欧盟欧元区货币政策的欧洲中央银行。欧洲央行行长主管欧洲央行执行董事会、管理委员会和全体理事会。在G20峰会中,他也代表海外银行。央
  • 索菲斯·李马里乌斯·索菲斯·李(Marius Sophus Lie,1842年12月17日-1899年2月18日)挪威数学家。李群和李代数的创始人。李1865年毕业于挪威克里斯蒂安尼亚(今奥斯陆大学)。1868年开始专攻数
  • RD-170火箭发动机RD-170系列是人类有史以来威力最强的液态火箭发动机,是动力机械科研生产联合体为了能源号运载火箭设计及生产的。RD-170发动机的研制最早要追溯到1973年。当时N1运载火箭发射
  • 詹姆士·奥格尔索普詹姆士·爱德华·奥格尔索普(英语:James Edward Oglethorpe,1696年12月22日-1785年6月30日),英国陆军上将、英国国会议员、慈善家,同时也是殖民地乔治亚省创始人。作为社会改革者,他