在一个变量上有多个约束的规则。例如，是否可以扩展以下规则 b <rdfs:domain> d a <rdf:type> d
就像这样(已尝试，但规则未激活
浏览 2提问于2017-06-15得票数 0
回答已采纳
1回答
我正在使用graphDB (ontotext数据库图形)，我想在graphDB (.pie文件)中再现颗粒推理者在蛋白质中的行为。通过这种方式，我想在graphDB中得到和我在抗议者中相同的行为。我已经在GraphDB中实现了规则，但我不确定如何再现颗粒的行为。我读过关于OWL和DL语义的文章(Pellet是建立在该语言的基础上的)，但是我没有找到实现它的
浏览 5提问于2017-11-02得票数 1
回答已采纳
我正在尝试向内置的RDFSPlus (优化)规则集添加一条简单的规则，以使GraphDB能够从RDF*断言生成推断(隐式)语句。我想让GraphDB推理引擎来推断这两个语句： :woman :hasSpouse :man .对于GraphDB来说，生成第一个是没有问题的(显然)，但是RDF* one被证明有点棘手。似乎能够创建存储库，但是尝试使用SPARQL会导致以下错误消息：‘初始化推理程序失败’，并且<e
浏览 21提问于2020-10-10得票数 1
回答已采纳
2回答
GraphDB是否提供了物化策略的可配置性，以允许非单调蕴涵？也就是说，向图添加新的显式语句可能需要收回现有的隐式语句，这些语句是基于先前对图的断言而推断出来的。
浏览 2提问于2018-07-21得票数 1
我正在寻找一个大型的三元组数据库管理系统，它提供了一种机制来保证提交的事务不会以与其TBox不一致的方式改变本体的ABox。
到目前为止，我唯一确定提供这种机制的是Stardog ()。GraphDB是否提供了类似的机制？
浏览 4提问于2018-06-26得票数 0
我最近一直在阅读关于GraphDB的文章，文档中提到GraphDB是ACID一致性的。但是关于它能走多远的文档非常有限。我正在开发一个REST API，我想知道如何用GraphDB解决更新丢失的问题。对于每个资源，我们的API都会返回一个Etag。当客户端想要更新资源时，他们需要提供etag。然后，在事务中，我想检查客户端提供的etag是否与数据库中的etag匹配，然后进行更新。在高并发使用率情况下，多个</
浏览 36提问于2019-01-30得票数 0
我正在尝试通过graphdb工作台导入一个ntriples格式的2.2G文件。我将对话中的所有设置保留为空，然后按Import键。对话消失了，但导入并没有开始。控制台上没有错误消息，也没有消息。我的存储库已禁用所有推理(空规则集)。
我该怎么办？是否有更好的方法将大型三重文件导入现有存储库？
浏览 5提问于2017-01-31得票数 1
1回答
推理不能给出与*相同的结果
、、、、
我可以用这样的方式向前链接："SELECT ?" +但是，这将使而不是给出与geo:belongs_to*相同的结果。我将只得到直接的belongs_to链接，而不是推断的</e
浏览 7提问于2015-12-04得票数 3
回答已采纳
2回答
用于时空推理的本体
、、、
我想对一组对象执行定性的空间知识表示。实际上，有一个场景包括一组可以移动或替换的对象(2D或3D简单立方体对象)。我可以提取位置，边界，方向，...每一个单独的物体。我想使用和对象之间的定性时空关系。它需要一个本体和一个定义本体的软件。我可以使用，但是是否有现成的本体可以在这种情况下使用，或者我必须自己编写它？
我已经检查过了。
浏览 0提问于2014-08-08得票数 0
请有人解释(或给我一些例子或过程)为什么这些条件是必要的终止在Haskell的实例解决过程？或者至少有一个描述此算法的链接。例如，我试着找一些关于它的讲座，但是我只能找到关于类型推理的东西，而不是这个实例解析过程。我引用的话
没有类型变量在约束中比在头中出现的次数更多。该
浏览 3提问于2019-02-21得票数 3
我正在使用propertyChainAxiom来构建其中一个推理语句。我已经定义了一个基本的本体，它定义了如下属性和语句：:isParent rdf:type owl:ObjectProperty .我在Ontotext GraphDB中定义了本体和同义词，并使用了OWL2-horst规则集。Person1 :hasGrandParent语句似乎没有根据推断的语句返回Person3。
浏览 0提问于2020-05-24得票数 0
2回答
user_id | friend_id 1 | 35我尝试过添加CHECK约束1，但是我无法想出使这种情况无效的条件我不确定其他处理这个问题的方法，而不考虑更少的透明性特性(比如过程)。目前的表格结构： Column | Type | Modifiers
-----------+---------+--
浏览 0提问于2016-07-20得票数 6
我很难将大部分和大部分加载到GraphDB免费的v8.3存储库中，并进行推理。我使用用488.0 GiB和64个vCPUs填充
在周末，我使用不同的池缓冲器大小的，发现大多数这些文件单独加载最快的池缓冲区为2000或20,000条语句，而不是建议的200,000条。昨晚10点左右，我开始同时加载下面列出的所有文件。，现在是11个小时后，还有数以百万计的语句要处理。，
浏览 0提问于2017-10-23得票数 2
回答已采纳
我想确保我不会用我的neo4j数据库创建多个节点。我看到认为这是首选的方法(即使在回顾了这个之后)，但是我不理解代码在这个示例中真正做了什么。有人能为门外汉/菜鸟详细介绍一下吗？文字代码是：
{ .constraintFor( DynamicLabel.label
浏览 1提问于2014-03-09得票数 4
回答已采纳
1回答
在Protege中使用SWRLTab和SQWRLTab编写新规则时，我们使用FaCT++、Pellet等语义推理器或Drools或Jess等规则引擎在SWRL语言中定义约束规则，并使用SQWRL语言进行查询但是由于Protege的功能有限，我们不能使用Drools/Jess来定义复杂的本体规则，也不能用它们自己的编程语言编写规则。我的问题是:当我们不能使用它们的完整功能时
浏览 66提问于2016-10-11得票数 1
1回答
我想在我的约束下推理自然数。x = Int('x')，然后添加一个约束x >= 0。但是，是否有更好的方法可以避免每次声明变量时都需要添加额外的约束呢？
浏览 12提问于2022-04-11得票数 1
回答已采纳
我有一个饼文件，用于在GraphDB ontotext中进行推理。我写的规则是正确的。当上传文件时，似乎没问题。但是，在创建存储库时，它将显示“无效的Ruleset文件”。请上传有效的一个“我认为这个问题与文件中隐藏的字符有关。如果这样的角色。我的文件内容是：{
rdf : http://www.w3.org/1999/02/22-rdf-synt
浏览 1提问于2019-03-11得票数 0
3回答
:108)，org.neo4j.graphdb.factory.GraphDatabaseFactory$1.newDatabase(GraphDatabaseFactory.java:95)，org.neo4j.graphdb.factory请参阅附件中的原因例外。对象创建为全局变量，并在任何地方使用它。我没有使用这些函数的原因是，我是在使用多个执行器的暴风环境中运行这个函数的，如果我们要关闭它，那么对于每个线程，我必须再次创建它，这也是不好
浏览 6提问于2016-02-18得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
