相关疑难解决方法(0)

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

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

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

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

..alternatively:  

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

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

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

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