thedays.cn
今日百科
百科
登录
注册
首页
>
SHIOQ (D)
✍ dations ◷ 2025-09-04 20:04:23
#逻辑语言
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ(D)中允许如下的语言构造符:
相关
人牛怪运载火箭
米诺陶运载火箭是美国发展的一系列固态燃料运载火箭,又称为人牛怪运载火箭,源自LGM-30义勇兵导弹以及LGM-118A和平守护者导弹这两种洲际弹道导弹的改良版。经由轨道科学公司所
经济作物
经济作物指高经济价值的农作物,主要种植目的为赚取高回报,而不以提供粮食为其目标。亚洲热带地区的经济作物主要有油棕、橡胶、咖啡、可可、胡椒、椰子、甘蔗等。如油棕的种植
刘湘
刘湘(1890年7月1日-1938年1月20日),又名元勋,法号玉宪,汉族,生于四川省大邑县安仁镇。四川大邑人,字甫澄:4039。中华民国军事将领,川军领导人之一。四川陆军速成学堂毕业:4039。死后
放射状胶质细胞
放射状胶质细胞,又称伯格曼胶质细胞(Bergmann glia cell),为神经胶质细胞的一种。“放射状胶质细胞”一词描述了此种细胞的两大特征:自脑室区延伸至软脑膜之放射状突出物,以及若
大余县
大余县位于江西省西南端,为赣州所辖县级行政区。大余原名大庾,得名于“五岭”(南岭)之首——大庾岭。早在新石器时代,在今大余县境内就有人类居住与活动。秦始皇分天下为三十六郡
米哈伊尔·莱蒙托夫
米哈伊尔·尤列维奇·莱蒙托夫(俄语:Михаил Юрьевич Лермонтов;1814年10月15日-1841年7月27日),俄国作家、诗人。被视为普希金的后继者。父亲尤里·彼得罗
豪杰超级解霸
豪杰超级解霸为北京世纪豪杰计算机技术有限公司推出的一款支持Windows平台的影音媒体播放器,2000年左右在中国大陆的视频播放领域具有领导性地位。2005~2007年左右,豪杰公司将
张春霖
张春霖(T.L.Tchang,1897年-1963年9月27日),蒙族,河南开封人,鱼类学家、教育家,与伍献文、朱元鼎等同为中国现代鱼类学的主要开创者及奠基人。早年师从秉志等人。1926年6月毕业于国立东
美国中西部钓鱼台示威游行
美国中西部钓鱼台示威游行是因回应日本宣称拥有钓鱼台列屿主权问题所发起的示威游行。由芝加哥大学五位钓鱼台行动委员负责。游行决定于1971年元月30日(星期六)举行。当天芝加
柏尼·罗登拔
柏尼·罗登拔(Bernie Rhodenbarr),是劳伦斯·卜洛克笔下系列推理小说内的虚构主角。首次登场于1977年出版的;直到2004年,他总共在卜洛克的十本小说里出场过,也出现在两篇短篇故