Skip to content

Posts tagged ‘provenance’

New publication: A hybrid diagnosis approach combining Black-Box and White-Box reasoning

We have a new collaborative paper out in Lecture Notes in Computer Science, with Mingmin Chen of UC Davis as lead author, on inconsistency checking and repair of conflicting concept articulations for the Euler/X toolkit. Complete citation:

Chen, M., S. Yu, N. Franz, S. Bowers & B. Ludäscher. 2014. A hybrid diagnosis approach combining Black-Box and White-Box reasoning. In: A. Bikakis et al. (Editors): RuleML 2014. Lecture Notes in Computer Science 8620: 127-141. Link to publication.

Prior work on concept taxonomy – 2013 onwards

February, 2015. The first fleshed-out use case of reasoning over taxonomic concepts with the Euler/X toolkit is now published.

Franz, N.M., M. Chen, S. Yu, P. Kianmajd, S. Bowers & B. Ludäscher. 2015. Reasoning over taxonomic change: exploring alignments for the Perelleschus use case. PLoS ONE 10(2): e0118247. doi:10.1371/journal.pone.0118247. Available on-line here.

An overview – initiated in early November, 2013 and regularly updated (throughout 2015) – of papers and presentations related to the taxonomic concept approach. Since the Fall/Winter of 2013 we have a working Python toolkit Euler/X (openly available on-line) that can read in two taxonomies (T1,T2), a set or articulations (A), and additional constraints (C). The toolkit then calls up Answer Set Programming reasoners to infer and visualize an alignment among the taxonomies that satisfies the constraints. A short video is posted here.


Euler/X merge of two Hominoidea classifications sec. Groves 1993/2005.

Read more