| Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008 | 561 | 2008 |
| Completing description logic knowledge bases using formal concept analysis F Baader, B Ganter, U Sattler, B Sertkaya IJCAI 7, 230-235, 2007 | 242 | 2007 |
| Computing the least common subsumer wrt a background terminology F Baader, B Sertkaya, AY Turhan Journal of Applied Logic 5 (3), 392-420, 2007 | 118 | 2007 |
| On the complexity of enumerating pseudo-intents F Distel, B Sertkaya Discrete Applied Mathematics 159 (6), 450-466, 2011 | 84 | 2011 |
| Applying formal concept analysis to description logics F Baader, B Sertkaya International Conference on Formal Concept Analysis, 261-286, 2004 | 71 | 2004 |
| Computing the least common subsumer wrt a background terminology F Baader, B Sertkaya, AY Turhan European Workshop on Logics in Artificial Intelligence, 400-412, 2004 | 53 | 2004 |
| Understanding the complexity of axiom pinpointing in lightweight description logics R Penaloza, B Sertkaya Artificial Intelligence 250, 80-104, 2017 | 51 | 2017 |
| On the complexity of axiom pinpointing in the EL family of description logics R Penaloza, B Sertkaya Twelfth International Conference on the Principles of Knowledge …, 2010 | 50 | 2010 |
| A survey on how description logic ontologies benefit from formal concept analysis B Sertkaya arXiv preprint arXiv:1107.2822, 2011 | 41 | 2011 |
| Complexity of axiom pinpointing in the DL-Lite family of description logics R Penaloza, B Sertkaya ECAI 2010, 29-34, 2010 | 32 | 2010 |
| OntoComP: A Protégé Plugin for Completing OWL Ontologies B Sertkaya European Semantic Web Conference, 898-902, 2009 | 32 | 2009 |
| Formal concept analysis methods for description logics B Sertkaya Verlag nicht ermittelbar, 2008 | 25 | 2008 |
| On the complexity of computing generators of closed sets M Hermann, B Sertkaya Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal …, 2008 | 22 | 2008 |
| Axiom pinpointing is hard R Penaloza, B Sertkaya CEUR WORKSHOP PROCEEDINGS 477, 2009 | 20 | 2009 |
| The ELepHant Reasoner System Description. B Sertkaya ORE, 87-93, 2013 | 18 | 2013 |
| Some computational problems related to pseudo-intents B Sertkaya Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt …, 2009 | 18 | 2009 |
| Towards the complexity of recognizing pseudo-intents B Sertkaya Conceptual Structures: Leveraging Semantic Technologies: 17th International …, 2009 | 16 | 2009 |
| Complexity of axiom pinpointing in the DL-Lite family R Penaloza, B Sertkaya CEUR WORKSHOP PROCEEDINGS 573, 173-184, 2010 | 14 | 2010 |
| Formal concept analysis for qualitative data analysis over triple stores F Dau, B Sertkaya Advances in Conceptual Modeling. Recent Developments and New Directions, 45-54, 2011 | 10 | 2011 |
| OntoComP System Description. B Sertkaya Description Logics 477, 2009 | 10 | 2009 |
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigVerified email at tu-dresden.de
