小编sha*_*rky的帖子

请注意:虽然赏金不再可用,但我仍然热衷于回答这个问题的人做出贡献; 我还在看着它,我在等着看是否有更好的答案.谢谢,请继续阅读......

我正在寻找一种方法来将描述约束网络的任意RCC类空间关系(或类似)转换为类似维恩图的图像.例如,RCC8中表示的约束网络:

W {EC} Y,X {TPP} Y,Z {NTPP} Y,Z {PO} X.

..可以用下图用圆形或方形区域表示:

..alternatively:  

是否有人知道软件至少可以通过编程方式(通过API)从类似RCC的约束规范生成这样的图表？

我知道这样的约束网络可能未被指定,从而排除了与任何单个此类图表的匹配(可能存在许多解决方案).理想情况下,我想通过能够生成可能的替代方案来处理这个问题,但现在可以求助于(并提出错误).

为了清楚起见,在这个问题中,我特别要求软件能够以声明的方式基于类似RCC的约束来计算图表布局.我不关心将RCC的DSL转换成其他语法的工具,也不关心特定的图像序列化格式或方法.我希望找到一个算法来处理最多六个唯一集的任意数量的约束.

注意: Graphviz(如下面提到的@vickirk)是一个图表布局软件包的例子,它类似于我所追求的.不幸的是,似乎Graphviz本身无法解决这个问题(但我很高兴被证明是错误的!).这似乎是一个非常难的问题.

是否有从XSD生成RDFS的工具？

我最近将我的Xcode更新到了5.1版.更新后,它可以在除iOS 7.1之外的所有模拟器上正常运行,其中会出现mach-O链接错误.此外,"构建设置"选项卡中只有64位架构选项.据我所知,这是所有问题和错误的原因.有谁知道这个的原因以及如何解决它？

以下是我收到的一些警告和错误:

警告 :

Values of type 'NSInteger' should not be used as format arguments; add an explicit cast to 'long' instead

错误:

Symbol(s) not found for architecture x86_64

谢谢.

考虑有向图,如下所示:

其中,(A)最初,实体黑边被断言:

• 0→{1,3}
• 1→{2}
• 3→{4}
• 4→{2}

然后(B)计算传递闭包以添加以下(虚线)边:

• 0→{2,4}
• 3→{2}

对于最终图形中的任何顶点,如何有效地计算某些边缘可访问的"直接"邻居,这些邻居无法通过不同的更长路径访问？我想要的输出显示在(A)中.我没有区分断言(粗体)或推断(虚线)的边缘.

这个问题是否有一个众所周知的名称,有没有一种直接的方法来实现这个JGraphT？

思考:

也许这可以通过使用拓扑排序的顶点来实现,例如TS = [0,1,3,4,2].

for(i=0, i<TS.len; i++) {
  var v0 = TS[i]
  for (j=i+1; i<TS.len; j++) {
    var v1 = TS[j]
    if (edge exists v0 -> v1) {
      var otherPath = false
      for (k=i+1; k<j; k++) {
        var v2 = TS[k]
        if (path exists v0 -> v2 && path exists v2 -> v1) {
          otherPath = true 
          break
        } …

我要做的是创建一个接受和识别数字间隔的数据类型属性.例如,假设我有"温度"属性.在本体中,我想创建2个子属性"hot"和"cold".炎热的温度是20-30,冷的是0-19.我现在正在做的是将一些属性设置为lowerlim和upperlim.但有没有更方便的方式直接通过属性表达间隔？因此,当我查询例如"23"时,它会识别出它的"热".有小费吗？

先感谢您