Felix Distel

28 papers A* 2A 2B 2C 7Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
Axiomatisation of general concept inclusions from finite interpretations.
J. Appl. Non Class. Logics
Daniel Borchmann, Felix Distel, Francesco Kriegel
2015 J jnl
Formalizing biomedical concepts from textual definitions.
J. Biomed. Semant.
Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder
2015 J jnl
The limits of decidability in fuzzy description logics with general concept inclusions.
Artif. Intell.
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014 A conf
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations.
ECAI
Felix Distel, Jamal Atif, Isabelle Bloch
2014 A* conf
Concept Dissimilarity with Triangle Inequality.
KR
Felix Distel, Jamal Atif, Isabelle Bloch
2014 A* conf
Decidable Gödel Description Logics without the Finitely-Valued Model Property.
KR
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014 J jnl
Fast algorithms for implication bases and attribute exploration using proper premises.
Ann. Math. Artif. Intell.
Uwe Ryssel, Felix Distel, Daniel Borchmann
2014 — conf
Gödel Description Logics with General Models.
Description Logics
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2013 — conf
A Hybrid Approach for Learning SNOMED CT Definitions from Text.
Description Logics
Felix Distel, Yue Ma
2013 — conf
A fuzzy extension of explanatory relations based on mathematical morphology.
EUSFLAT Conf.
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
2013 B conf
Concept adjustment for description logics.
K-CAP
Yue Ma, Felix Distel
2013 C ed.
Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Peggy Cellier, Felix Distel, Bernhard Ganter
2013 — conf
Learning Formal Definitions for Biomedical Concepts.
OWLED
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
2013 B conf
Learning Formal Definitions for Snomed CT from Text.
AIME
Yue Ma, Felix Distel
2013 C conf
Mathematical Morphology Operators over Concept Lattices.
ICFCA
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
2012 — conf
Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics.
CLA
Felix Distel
2012 — conf
Gödel Negation Makes Unwitnessed Consistency Crisp.
Description Logics
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2012 A conf
How Fuzzy Is My Fuzzy Description Logic?
IJCAR
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2011 — conf
Fast Computation of Proper Premises.
CLA
Uwe Ryssel, Felix Distel, Daniel Borchmann
2011 — —
Learning description logic knowledge bases from data using methods from formal concept analysis.
Felix Distel
2011 — conf
Mining of EL-GCIs.
ICDM Workshops
Daniel Borchmann, Felix Distel
2011 J jnl
On the complexity of enumerating pseudo-intents.
Discret. Appl. Math.
Felix Distel, Baris Sertkaya
2011 C conf
Some Complexity Results about Essential Closed Sets.
ICFCA
Felix Distel
2010 C conf
An Approach to Exploring Description Logic Knowledge Bases.
ICFCA
Felix Distel
2010 C conf
Hardness of Enumerating Pseudo-intents in the Lectic Order.
ICFCA
Felix Distel
2009 C conf
Exploring Finite Models in the Description Logic .
ICFCA
Franz Baader, Felix Distel
2009 — conf
Model-Based Most Specific Concepts in Some Inexpressive Description Logics.
Description Logics
Felix Distel
2008 C conf
A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
ICFCA
Franz Baader, Felix Distel