从OWL本体中获取等价类更新: 我解决了这个问题。在Java中使用OWL API,我设法检索本体中的所有公理,其中包括我正在寻找的所有等价类。据我所知,没有直接的方法来获得未定义的等价类。这是我使用的代码: OWLOntol ...2024-05-17 已阅读: n次
如何在Z3Py中验证axiom?我不熟悉Z3,但我知道公理是一个假设的前提,不管它是否明显,它被用来证明其他命题 我试图定义一个结合Z3Py的方法长度和包含的公理,我的想法的一个例子是: lista = Const('lista', ...2024-05-17 已阅读: n次
python中的简单L系统您好,我正在寻找一种在python中实现一个简单的L-system到函数中的方法,它将有三个参数:公理、规则和交互次数(如果迭代次数=0,输出将是先前输入的axiom)。我想出了一些代码,它只适用于一 ...2024-05-17 已阅读: n次
Z3发现模型与公理不一致在python3.6.7上使用z3解算器模块(4.8.0.0)运行此代码时,z3返回的模型似乎对公理无效。你知道吗 f = z3.Function('f', z3.IntSort(), z3.IntS ...2024-05-17 已阅读: n次
Owlready2访问公理我在访问现有本体的类的公理时遇到了困难。我知道有些类包含我需要的公理。例如,“cold”类包含以下公理: 冷啤酒阳性,以及 冷的⊓披萨⊑阴性 有没有办法接近这些?在 from owlready2 im ...2024-05-17 已阅读: n次
用特定公理化简我想简化一些公式。 我不知道simplify/ctx solver是如何简化工作的,但我看到它们正在执行 一些简化。 有没有一个简单的方法来添加公理,使它们被simplifier引擎使用? 我用这个简 ...2024-05-17 已阅读: n次
如何从一个列表中减去11,同时又减去同一个列表?这是素数理论。这个理论实际上表现为一个公理,它考虑了一些数字,比如2^n-1,其中n=11,n=23,n=29,当然,当这些是梅森素数时,它不会考虑n=7,n=31 希望我能在这里得到帮助我希望一次完 ...2024-05-17 已阅读: n次
如何在Z3py中定义公理?我必须在Z3中做一个公理,但是我看了https://ericpony.github.io/z3py-tutorial/advanced-examples.htm(用量词建模)的例子,我不理解大多数事情 ...2024-05-17 已阅读: n次
如何在python3中创建Lsystem? 一种基本的系统,以便函数接受一个字符串并产生进程的下一个阶段。 从X开始,所以X变成XY,Y变成X。 公理X 规则X→XY和Y→X 结果应该是这样的: X→ XY→ XYX→ XYXXY→ 下一部分 ...2024-05-17 已阅读: n次
如何在Z3Py中正确地生成公理?我在这个公理中工作,用于所有X(f(X)>;0->;b==True) 我怎么能用Z3Py做呢?我尝试这样做: from z3 import * Z = IntSort() f = Fun ...2024-05-17 已阅读: n次
choix choix是一个python库,它为模型提供推理算法 基于卢斯的选择公理。这些概率模型可以用来解释 并预测项目间比较的结果。 成对比较:当数据包含两个之间的比较时 项目,模型变量通常称为bradl ...2024-05-17 已阅读: n次
Axiom DIVMOD公理是一个对象数据库,或者是一个对象关系。 映射器,在python之上实现。 Note: Axiom currently supports only SQLite and does N ...2024-05-17 已阅读: n次
assetid#阿塞蒂德[![OTScience Science,AsthTiD.SVG ] ](http://or.cig/公理数据科学/ASSETID)< BR/> < BR/>由[公理数据科学](http:/ ...2024-05-17 已阅读: n次
exponent用于构建具有分形结构的应用程序的实验工具包,使用扭曲的、公理(对象序列化的SQLite)、AMP(RPC协议)和Foolscap(分布式系统的对象能力库)。 ...2024-05-17 已阅读: n次