Euler/X: A toolkit for logic-based taxonomy integration

Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Ludäscher

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationTechnische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel
PublisherInstituts fur Informatik der Christian-Albrechts-Universitat zu Kiel
Pages219-224
Number of pages6
Edition1306 REPORT NO.
StatePublished - 2013
EventKiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013 - Kiel, Germany
Duration: Sep 11 2013Sep 13 2013

Other

OtherKiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013
CountryGermany
CityKiel
Period9/11/139/13/13

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Euler/X: A toolkit for logic-based taxonomy integration'. Together they form a unique fingerprint.

Cite this