Felix Distel

According to our database, Felix Distel authored at least 27 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Axiomatisation of general concept inclusions from finite interpretations.

Daniel Borchmann, Felix Distel, Francesco Kriegel

J. Appl. Non Class. Logics, 2016

2015

Formalizing biomedical concepts from textual definitions.

Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder

J. Biomed. Semant., 2015

The limits of decidability in fuzzy description logics with general concept inclusions.

Stefan Borgwardt, Felix Distel, Rafael Peñaloza

Artif. Intell., 2015

2014

Fast algorithms for implication bases and attribute exploration using proper premises.

Uwe Ryssel, Felix Distel, Daniel Borchmann

Ann. Math. Artif. Intell., 2014

Concept Dissimilarity with Triangle Inequality.

Felix Distel, Jamal Atif, Isabelle Bloch

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Decidable Gödel Description Logics without the Finitely-Valued Model Property.

Stefan Borgwardt, Felix Distel, Rafael Peñaloza

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations.

Felix Distel, Jamal Atif, Isabelle Bloch

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Gödel Description Logics with General Models.

Stefan Borgwardt, Felix Distel, Rafael Peñaloza

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Learning Formal Definitions for Biomedical Concepts.

George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

Concept adjustment for description logics.

Yue Ma, Felix Distel

Proceedings of the 7th International Conference on Knowledge Capture, 2013

Mathematical Morphology Operators over Concept Lattices.

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot

Proceedings of the Formal Concept Analysis, 2013

A fuzzy extension of explanatory relations based on mathematical morphology.

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

A Hybrid Approach for Learning SNOMED CT Definitions from Text.

Felix Distel, Yue Ma

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Learning Formal Definitions for Snomed CT from Text.

Yue Ma, Felix Distel

Proceedings of the Artificial Intelligence in Medicine, 2013

2012

Gödel Negation Makes Unwitnessed Consistency Crisp.

Stefan Borgwardt, Felix Distel, Rafael Peñaloza

Proceedings of the 2012 International Workshop on Description Logics, 2012

Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics.

Felix Distel

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

How Fuzzy Is My Fuzzy Description Logic?

Stefan Borgwardt, Felix Distel, Rafael Peñaloza

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Learning description logic knowledge bases from data using methods from formal concept analysis.

Felix Distel

PhD thesis, 2011

On the complexity of enumerating pseudo-intents.

Felix Distel, Baris Sertkaya

Discret. Appl. Math., 2011

Some Complexity Results about Essential Closed Sets.

Felix Distel

Proceedings of the Formal Concept Analysis - 9th International Conference, 2011

Mining of EL-GCIs.

Daniel Borchmann, Felix Distel

Proceedings of the Data Mining Workshops (ICDMW), 2011

Fast Computation of Proper Premises.

Uwe Ryssel, Felix Distel, Daniel Borchmann

Proceedings of The Eighth International Conference on Concept Lattices and Their Applications, 2011

2010

An Approach to Exploring Description Logic Knowledge Bases.

Felix Distel

Proceedings of the Formal Concept Analysis, 8th International Conference, 2010

Hardness of Enumerating Pseudo-intents in the Lectic Order.

Felix Distel

Proceedings of the Formal Concept Analysis, 8th International Conference, 2010

2009

Exploring Finite Models in the Description Logic .

Franz Baader, Felix Distel

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Model-Based Most Specific Concepts in Some Inexpressive Description Logics.

Felix Distel

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

A Finite Basis for the Set of EL-Implications Holding in a Finite Model.

Franz Baader, Felix Distel

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008