Publications of Felix Distel

From International Center for Computational Logic
Toggle side column

Publications of Felix Distel


Journal Articles

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download

Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast algorithms for implication bases and attribute exploration using proper premises
Annals of Mathematics and Artificial Intelligence, Special Issue 65:1-29, 2013
Details Download

Felix Distel, Barış Sertkaya
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics, 159(6):450-466, 2011
Details


Proceedings Articles

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel description logics without the finitely-valued model property
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 228-237, 2014. AAAI Press
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014
Details Download

Felix Distel, Jamal Atif, Isabelle Bloch
Concept Dissimilarity with Triangle Inequality
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), to appear. AAAI Press
Details Download

Felix Distel, Jamal, Atif, Isabelle Bloch
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
In Torsten Schaub, eds., Proceedings of the 21st International Conference on Artificial Intelligence (ECAI'14), 2014
Details Download

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
Mathematical Morphology Operators over Concept Lattices
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Proceedings of the 11th International Conference on Formal Concept Analysis (ICFCA'13), volume 7880 of Lecture Notes in Computer Science, 28-43, 2013. Springer
Details Download

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
A fuzzy extension of explanatory relations based on mathematical morphology
In Gabriella Pasi and Javier Montero, eds., Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), to appear
Details

Felix Distel, Yue Ma
A hybrid approach for learning concept definitions from text
Proceedings of the 2013 International Workshop on Description Logics (DL'13), CEUR-WS, to appear
Details

Yue Ma, Felix Distel
Concept Adjustment for Description Logics
In Mathieu d'Aquin and Andrew Gordon, eds., Proceedings of the 7th International Conference on Knowledge Capture, 2013. ACM
Details Download

Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
In Niels Peek and Roque Marín Morales and Mor Peleg, eds., Artificial Intelligence in Medicine, volume 7885 of Lecture Notes in Computer Science, 73-77, 2013. Springer
Details Download

George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Details Download

Felix Distel
Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics
Proceedings of the 9th international conference on concept lattices and their applications (CLA 2012), 2012
Details Download

Daniel Borchmann, Felix Distel
Mining of EL-GCIs
The 11th IEEE International Conference on Data Mining Workshops, December 2011. IEEE Computer Society
Details Download

Felix Distel
Some Complexity Results about Essential Closed Sets
In Petko Valtchev and Robert J"aschke, eds., International Conference on Formal Concept Analysis, volume 6628 of LNCS, 81-92, 2011
Details Download

Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast Computation of Proper Premises
In Amedeo Napoli and Vilem Vychodil, eds., International Conference on Concept Lattices and Their Applications, 101-113, 2011. INRIA Nancy – Grand Est and LORIA
Details Download

Felix Distel
An Approach to Exploring Description Logic Knowledge Bases
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 209-224, 2010. Springer
Details Download

Felix Distel
Hardness of Enumerating Pseudo-Intents in the Lectic Order
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 124-137, 2010. Springer
Details Download

Franz Baader, Felix Distel
Exploring Finite Models in the Description Logic ELgfp
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 146-161, 2009. Springer
Details Download

Franz Baader, Felix Distel
A Finite Basis for the Set of EL-Implications Holding in a Finite Model
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, 46-61, 2008. Springer
Details Download


Technical Reports

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download

Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-03, 2013. LTCS-Report
Details Download

Franz Baader, Felix Distel
Exploring finite models in the Description Logic EL_gfp
Technical Report, Institute for Theoretical Computer Science, TU Dresden, volume 08-05, 2008. LTCS-Report
Details Download

Felix Distel
Model-based Most Specific Concepts in Description Logics with Value Restrictions
Technical Report, Institute for theoretical computer science, TU Dresden, volume 08-04, 2008
Details

Franz Baader, Felix Distel
A finite basis for the set of EL-implications holding in a finite model
Technical Report, Inst. für Theoretische Informatik, TU Dresden, volume 07-02, 2007
Details Download