Tag: 维恩图

来自RCC（8）规范或类似的维恩图生成软件

请注意：虽然赏金不再可用，但我仍然热衷于回答这个问题的任何人做出贡献; 我还在看着它，我在等着看是否有更好的答案。 谢谢，请继续阅读…… 我正在寻找一种方法来将描述约束网络的任意RCC类空间关系（或类似）转换为类似维恩图的图像。 例如，RCC8中表示的约束网络： W {EC} Y ， X {TPP} Y ， Z {NTPP} Y ， Z {PO} X ..可以用下图用圆形或方形区域表示： ..alternatively： 是否有人知道软件至少可以通过编程方式（通过API）从类似RCC的约束规范生成这样的图表？ 我知道这样的约束网络可能是不明确的，排除了与任何单个这样的图表的匹配（可能存在许多解决方案）。 理想情况下，我想通过能够生成可能的替代方案来解决这个问题，但现在可以求助于（并提出错误）。 需要明确的是，在这个问题中，我特别要求软件能够以声明的方式基于类似RCC的约束来计算图表布局 。 我不关心将RCC的DSL转换成其他语法的工具，也不关心特定的图像序列化格式或方法。 我希望找到一个算法来处理最多六个唯一集的任意数量的约束。 注意： Graphviz （如下面提到的@vickirk）是一个图表布局软件包的例子，它类似于我所追求的。 不幸的是，似乎Graphviz本身无法解决这个问题（但我很高兴被certificate是错误的！）。 这似乎是一个非常难的问题。