逻辑语
{{Infobox language | name = 逻辑语 | nativename = | pronunciation = /laʔˈloʒbanʔ/ | image = File:Lojban logo.svg | imagecaption = 逻辑语标志 | creator = “邏輯語-{zh-hant:社群;zh-hans:群组;}-” （Logical Language Group,LLG） | date = 1987年…
标签：#邏輯語言
共 5 篇文章
通用表意文字
通用表意文字（拉丁语术语为characteristica universalis；英语当中常解释为 universal characteristic 或 universal character；中文之中又常常称为普遍表意文字、普遍语言、通用语言、普适语言以及普适科学语言等），是德国哲学家戈特弗里德·莱布尼茨所设想的一种通用的形式化语言；该语言能够表达数学、科学以及形而上学（纯粹哲学）方面的概念。莱布尼茨希望创建的是一种可以在通用逻辑运算…
分布式描述逻辑
分布式描述逻辑（Distributed Description Logic，DDL）是描述逻辑的一种特例。在DDL中，整个逻辑系统由一组DL单元组成，相互之间用桥（Bridge Rule）相互连接。 DDL的主要特点是语义的局部性，也就是说在DDL中并不要求存在一致的全局语义。传统的Tableau推理算法可以推广到DDL的情况。 DDL是基于分布式一阶逻辑而发展起来的，而它也继承了分布式一阶逻辑的一些缺点。例如，其表达力比较有限，桥规则…
描述逻辑
描述逻辑（description logic）是一種用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，如数字图书馆和面向万维网的信息处理。描述逻辑是当前语义网发展中本体的理论基础。例如，OWL因特网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。 描述逻辑根据其表达能力的程度不同，形成不同的逻辑子语言。绝大多数的描述逻辑类型都可以被看成对应着一阶逻辑…
SHIOQ (D)
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。 SHIOQ（D）中允许如下的语言构造符： S = ALC+ 允许\neg, \sqcap, \sqcup, \exists, \forall和传递属性（Transitive Role） H 属性包含 I 逆属性 O 概念 Q 基数限制 (D) 具体域属性