1)fuzzy description logic模糊描述逻辑
1.In order to represent fuzzy Ontology,this paper extends existing Ontology Web Language(OWL), which can only represent certain and complete concepts and knowledge at present,by encoding fuzzy construc- tors,axioms constraints and maps semantics of new vocabularies to fuzzy description logic.为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理。
2.In order to be able to represent and reason with fuzzy information,this paper presents a new fuzzy description logic axiom system—F-SHIQ axiom system based on the description logic.为了能够表示和推理模糊知识,给出了一个基于描述逻辑SHIQ的全新的模糊描述逻辑公理体系——F-SHIQ公理体系,并以此公理体系为基础,扩展了OWL本体语言,能够描述和推理模糊知识。
3.A new fuzzy description logic F-ALC(G) is therefore introduced to break through the limitation,with its web grammar,syntax and semanteme given.针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义。
英文短句/例句
1.The Semantics and Reasoning of Fuzzy Description Logic L-SI;模糊描述逻辑L-SI语义及推理的研究
2.Fuzzy Description Logic with Qualifying Number Restrictions;含限定性数目约束的模糊描述逻辑FALCQ
3.FRESG:A Kind of Fuzzy Description Logic ReasonerFRESG:一种模糊描述逻辑推理机
4.A Fuzzy Extension of OWL Based on F-ALC(G)基于模糊描述逻辑F-ALC(G)的模糊OWL扩展
5.Fuzzy Description Logic F-SHOIQ(G) Supporting Representation of Fuzzy Data Types支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)
6.Formal Concept Lattice of Fuzzy Description LogicL-ALCN模糊描述逻辑系统L-ALCN中的形式概念格
7.The Research of Type-2 Fuzzy Description Logics and Its Application in Ontology Evolution;2-型模糊描述逻辑及其在本体进化中的应用研究
8.The next section describes the mathematics that goes into the computer implementation of such fuzzy logic statements.下节将描述这种模糊逻辑语句的计算机实现所需要的数学基
9.Research of IDS Alert Correlation Model Based on Description Logics;基于描述逻辑的IDS告警关联模型研究
10.Reasoning by using boundary-based module in description logics描述逻辑中基于边界模块的推理方法
11.DL-VSM:Description logic-based VSM for semantic retrieval基于描述逻辑方法的VSM语义检索模型
12.Boundary-based module extraction in description logics描述逻辑中基于边界的模块提取方法
13.A Survey of Ten Years Studies on Fuzzy Logic and Fuzzy Reasoning;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述
14.A Tableau Decision Procedure for Rough Description Logic RALCQ粗描述逻辑RALCQ的Tableau推理
15.Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics模糊BIK~+-逻辑与非可换模糊逻辑(英文)
16.Finite Basis in Gfp-models of Description Logic FL_0最大不动点模型下的描述逻辑系统FL_0的有穷基
17.Gfp-model-based Reasoning Mechanism of Terminological Cycles in Description Logic FLε基于gfp-模型的描述逻辑FLε的循环术语集推理
18.Research on dynamic expression model of digital rights based on logic license基于逻辑证书的数字权利动态描述模型研究
相关短句/例句
Fuzzy Description Logics模糊描述逻辑
1.Fuzzy description logics is a family of knowledge representation formalisms, dealingwith structured fuzzy knowledge.模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。
3)extended fuzzy description logic扩展模糊描述逻辑
1.Reasoning complexity for extended fuzzy description logic with qualifying number restriction;限制数量约束的扩展模糊描述逻辑的推理复杂性(英文)
2.The current extended fuzzy description logics lack reasoning algorithms with TBoxes.针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法。
4)fuzzy dynamic description logic模糊动态描述逻辑
5)Type-2 Fuzzy DL2-型模糊描述逻辑
6)fuzzy description logic L-ALCN模糊描述逻辑L-ALCN
延伸阅读
模糊逻辑模糊逻辑fuzzylogic逻辑公式的真值是模糊值的各种逻辑的总称。在模糊逻辑中除逻辑真值具有模糊性外，相应地在其中定义的各种逻辑运算和推理规则也具有模糊性。模糊逻辑自提出以后，特别是在人工智能和控制等领域得到较好的应用之后，已经引起研究人员的浓厚兴趣。进入20世纪90年代，模糊逻辑无论在理论上还是在应用方面都得到了较快地发展。模糊逻辑真值模糊逻辑公式所具有的一种值，用以描述逻辑公式真的程度(或称真度)。它可在各种不同的真值范围中取值。在最简单的狭义模糊逻辑中，模糊逻辑公式的真度用[0，1]间的实数描述。0表示假，1表示真，大于0小于1的实数表示假与真之间的某种真度。值越大，真度越高。在模糊语言值逻辑中，模糊逻辑公式的真度用诸如“极真、很真、较真、不太真……”中的语言值描述。自然语言的本来语义刻画了这些语言值所表示的真度。此外，模糊逻辑还可取其他集合中的元素为真值，例如可取[0，1]中的模糊区间数和模糊中心数等为真值。模糊逻辑运算在模糊逻辑中可施行于其逻辑公式之上的各种运算。不同的模糊逻辑定义有不同的运算。例如在狭义模糊逻辑中，一般包括：①模糊逻辑与(或称模糊逻辑乘)∧。两个模糊逻辑公式A和B作模糊逻辑与的结果表示为A∧B，其真值可定义为两个模糊逻辑公式真值的极小者或乘积等。②模糊逻辑或(或称模糊逻辑加)∨。A和B作模糊逻辑或的结果表示为A∨B，其真值可定义为A和B的真值的极大者或概率和（概率和由两真值之和减去两真值之积求得)。③模糊逻辑非～。A的模糊逻辑非表示为～A，其真值可定义为1减去A的真值。此外，还可定义模糊蕴含和模糊等价等运算。模糊逻辑公式最通常的模糊逻辑系统是模糊命题演算和模糊谓词演算。其中的逻辑公式分别是模糊命题公式和模糊谓词公式。①模糊命题。指一个只能模糊地判别真假的陈述句。例如陈述“张三身高超过一米八”是一个一般的命题。它可以被严格地判断真假。但是如果把上述陈述改成“张三身材很高”，对它就不能说严格的真或假了。这就是一个模糊命题。它的真值只能用一个模糊数或语言值等来陈述。模糊命题是模糊命题演算中的原子逻辑公式。②模糊谓词。指带变量的模糊命题，或称模糊命题函数。当其中的变量被确定为常量时，它就变成模糊命题，从而具有一个模糊的真值。例如，陈述“X身材很高”，当取X为张三时，就变成“张三身材很高”，其真值不能简单地用真或假来回答，因其真的程度介于真与假之间，故其真值只能用某种模糊值来表示。模糊谓词是模糊谓词演算中的原子逻辑公式。多值逻辑和狭义模糊逻辑具有两种以上真值的谓词逻辑的总称。一般指具有有限种真值的逻辑，它是模糊逻辑的前身。由于其中所有合式逻辑公式只有有限种真值，其中的各种逻辑运算(包括或、与、非、蕴含、等价等)都可用真值表来定义。研究得最彻底的多值逻辑是三值逻辑，其中除了“真”(T)与“假”(F)两种真值之外，还有第三种真值。根据赋予第三真值的含义的不同又可得到各种不同的三值逻辑。当多值逻辑的真值可取值于区间[0，1]中的任意实数时，一般就把它称为狭义模糊逻辑。广义的模糊逻辑的概念是由美籍伊朗数学家、模糊数学的创始人L.A.扎德提出的，称为扎德模糊逻辑。模糊推理基于各种模糊逻辑的推理。根据前提的置信度如何转变为结论置信度，模糊推理被分为主观地完全置信推理和主观地不完全置信推理两大类。前者统称为模糊演绎推理，其中结论的置信度等于前提的置信度。后者统称为模糊归纳推理，其中结论的置信度小于前提的置信度。各种模糊逻辑中定义的“三段论”其实就是从一个蕴含式及其前提的真值计算其结论的真值的规则。由于各种模糊逻辑中定义的这种计算规则的不同就相应地产生了不同的模糊推理方法。从一个公理的集合出发，经过有限步模糊推理所能推出的全部模糊结论的集合称为由公理集推出的模糊定理集。为了证明一个模糊定理，既可采用从公理出发，逐步推出欲证定理的向前推理方法，称为前向模糊推理；也可采用从欲证定理出发，逐步归结为公理集的反向验证的方法，称为反向模糊推理。在反向模糊推理中，如果最终归结为需要验证的合式公式都是公理，则该模糊定理得证。与精确推理时不同，每个得证的模糊定理都有一个模糊真度，而不是完全真。在模糊推理中往往要约定(或由用户指定)两个阈限，即真阈限和假阈限。当结论的真度大于真阈限时，就认为该结论为真；当结论的真度小于假阈限时，就认为该结论为假，即推不出该结论。由于一种模糊推理可认为是根据模糊规则的置信度和前提的真度以某种方式推断结论的真度的过程。因此，广义而言，诸如根据结合律、分配律和等值替换等来解一个代数方程的过程也是一种推理。因为它仅涉及数量关系，故称定量代数推理或简称代数计算。“定性代数推理”处理一些不能精确地用数量表示的所谓“定性对象”和“定性关系”(即互相间只能作定性描述的关系)等。例如对国民经济发展的预测，有时虽不能精确地说出一个精确的数字，但可作出经济将“上升”、“下滑”、“缓慢发展”和“飞跃”等推断。这些都是一些模糊的定性描述词。定性代数就是对这种定性概念建立起来的一个符号代数系统，由于其中对各种定性对象定义了各种代数运算，从而把其中的推理化成了一串定性代数计算。由于表示定性概念或知识等可采用模糊逻辑的办法，因此定性代数也可列入模糊逻辑范畴。
