A Finite Basis for the Set of EL-Implications Holding in a Finite Model. - Franz Baader; Felix Distel (ICFCA, 2008)

Model-Based Most Specific Concepts in Some Inexpressive Description Logics. - Felix Distel (Description Logics, 2009)

Exploring Finite Models in the Description Logic . - Franz Baader; Felix Distel (ICFCA, 2009)

Hardness of Enumerating Pseudo-intents in the Lectic Order. - Felix Distel (ICFCA, 2010)

An Approach to Exploring Description Logic Knowledge Bases. - Felix Distel (ICFCA, 2010)

Fast Computation of Proper Premises. - Uwe Ryssel; Felix Distel; Daniel Borchmann (CLA, 2011)

Mining of EL-GCIs. - Daniel Borchmann; Felix Distel (ICDM Workshops, 2011)

Some Complexity Results about Essential Closed Sets. - Felix Distel (ICFCA, 2011)

On the complexity of enumerating pseudo-intents. - Felix Distel; Baris Sertkaya (Discret. Appl. Math., 2011)

Learning description logic knowledge bases from data using methods from formal concept analysis. - Felix Distel (2011)

How Fuzzy Is My Fuzzy Description Logic? - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (IJCAR, 2012)

Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics. - Felix Distel (CLA, 2012)

Gödel Negation Makes Unwitnessed Consistency Crisp. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2012)

Learning Formal Definitions for Snomed CT from Text. - Yue Ma 009; Felix Distel (AIME, 2013)

A Hybrid Approach for Learning SNOMED CT Definitions from Text. - Felix Distel; Yue Ma 009 (Description Logics, 2013)

A fuzzy extension of explanatory relations based on mathematical morphology. - Jamal Atif; Isabelle Bloch; Felix Distel; Céline Hudelot (EUSFLAT Conf., 2013)

Mathematical Morphology Operators over Concept Lattices. - Jamal Atif; Isabelle Bloch; Felix Distel; Céline Hudelot (ICFCA, 2013)

Concept adjustment for description logics. - Yue Ma 009; Felix Distel (K-CAP, 2013)

Learning Formal Definitions for Biomedical Concepts. - George Tsatsaronis 001; Alina Petrova; Maria Kissa; Yue Ma 009; Felix Distel; Franz Baader; Michael Schroeder 001 (OWLED, 2013)

Gödel Description Logics with General Models. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2014)

Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations. - Felix Distel; Jamal Atif; Isabelle Bloch (ECAI, 2014)

Decidable Gödel Description Logics without the Finitely-Valued Model Property. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (KR, 2014)

Concept Dissimilarity with Triangle Inequality. - Felix Distel; Jamal Atif; Isabelle Bloch (KR, 2014)

Fast algorithms for implication bases and attribute exploration using proper premises. - Uwe Ryssel; Felix Distel; Daniel Borchmann (Ann. Math. Artif. Intell., 2014)

The limits of decidability in fuzzy description logics with general concept inclusions. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Artif. Intell., 2015)

Formalizing biomedical concepts from textual definitions. - Alina Petrova; Yue Ma 009; George Tsatsaronis 001; Maria Kissa; Felix Distel; Franz Baader; Michael Schroeder 001 (J. Biomed. Semant., 2015)

Axiomatisation of general concept inclusions from finite interpretations. - Daniel Borchmann; Felix Distel; Francesco Kriegel (J. Appl. Non Class. Logics, 2016)