Felix Distel

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 3

Top Venues

Description Logics

Ann. Math. Artif. Intell.

OWLED

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

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

Felix Distel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Felix Distel