上一页

ⓘ Category:邏輯語言




                                               

SHIOQ (D)

SHIOQ 是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ的一种语法形式。 SHIOQ(D)中允许如下的语言构造符: D 具体域属性 I 逆属性 O 概念 S = ALC+ 允许 ¬, ⊓, ⊔, ∃, ∀ {\displaystyle \neg,\sqcap,\sqcup,\exists,\forall } 和传递属性(Transitive Role) H 属性包含 Q 基数限制

                                               

具体域

具体域 (Concrete Domain)是逻辑中的一个概念,通常用来指所有的(数据类型)的集合,如数字和字符串。它和抽象域所对立,后者指抽象个体的解释空间。

                                               

分布式描述逻辑

分布式描述逻辑 (Distributed Description Logic,DDL)是描述逻辑的一种特例。在DDL中,整个逻辑系统由一组DL单元组成,相互之间用桥(Bridge Rule)相互连接。 DDL的主要特点是语义的局部性,也就是说在DDL中并不要求存在一致的全局语义。传统的Tableau推理算法可以推广到DDL的情况。 DDL是基于分布式一阶逻辑而发展起来的,而它也继承了分布式一阶逻辑的一些缺点。例如,其表达力比较有限,桥规则只能用于连接概念。比它表达力强的类似模块化本体语言还有基于包的描述逻辑和E-连接 C-OWL是DDL的一种语法形式。

                                               

描述逻辑

描述逻辑 ( description logic )是一種用于知识表示的逻辑语言和以其为对象的推理方法,主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域,如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如,OWL因特网本体语言就是一种描述逻辑SHIOQ 的语法形式。 描述逻辑根据其表达能力的程度不同,形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑的一个可判定性的片段(fragment),即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。只有极少数的描述逻辑类型被认为是不可判定的。 一个描述逻辑系统中的名字可分为概念(concept),属性 ...

                                               

通用表意文字

通用表意文字 (拉丁语术语为 characteristica universalis ;英语当中常解释为 universal characteristic 或 universal character ;中文之中又常常称为 普遍表意文字 、 普遍语言 、 通用语言 、 普适语言 以及 普适科学语言 等),是德国哲学家戈特弗里德 莱布尼茨所设想的一种通用的形式化语言;该语言能够表达数学、科学以及形而上学(纯粹哲学)方面的概念。莱布尼茨希望创建的是一种可以在通用逻辑运算或者说 推理演算 框架之下加以使用的语言。