Euler/X：基于逻辑的分类整合工具包
Euler/X: A Toolkit for Logic-based Taxonomy Integration
AI总结：
Euler/X是一个用于逻辑分类整合的工具包，通过多种推理系统解决分类不一致问题并可视化合并结果。
摘要：
我们介绍了Euler/X，一个用于基于逻辑的分类整合的工具包。给定两个分类和它们之间的对齐约束，Euler/X提供了检测、解释和解决不一致的工具；找到所有可能的合并（在一致的分类之间）；以及可视化合并结果。Euler/X采用了多种不同的底层推理系统，包括一阶推理器（Prover9和Mace4）、答案集编程（DLV和Potassco）以及RCC推理器（PyRCC8）。我们展示了Euler/X的功能，并提供了实验结果，证明其在各种合成和实际例子中的可行性。
英文摘要：
We introduce Euler/X, a toolkit for logic-based taxonomy integration. Given two taxonomies and a set of alignment constraints between them, Euler/X provides tools for detecting, explaining, and reconciling inconsistencies; finding all possible merges between (consistent) taxonomies; and visualizing merge results. Euler/X employs a number of different underlying reasoning systems, including first-order reasoners (Prover9 and Mace4), answer set programming (DLV and Potassco), and RCC reasoners (PyRCC8). We demonstrate the features of Euler/X and provide experimental results showing its feasibility on various synthetic and real-world examples.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
