Euler/X: A Toolkit for Logic-based Taxonomy Integration
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2014
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918340644044800 |
|---|---|
| author | Chen, Mingmin Yu, Shizhuo Franz, Nico Bowers, Shawn Ludäscher, Bertram |
| author_facet | Chen, Mingmin Yu, Shizhuo Franz, Nico Bowers, Shawn Ludäscher, Bertram |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1402_1992 |
| institution | arXiv |
| publishDate | 2014 |
| record_format | arxiv |
| spellingShingle | Euler/X: A Toolkit for Logic-based Taxonomy Integration Chen, Mingmin Yu, Shizhuo Franz, Nico Bowers, Shawn Ludäscher, Bertram Logic in Computer Science Databases 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. |
| title | Euler/X: A Toolkit for Logic-based Taxonomy Integration |
| topic | Logic in Computer Science Databases |
| url | https://arxiv.org/abs/1402.1992 |