Seuraa
Baris Sertkaya
Baris Sertkaya
Professor of Computer Science, Frankfurt University of Applied Sciences
Vahvistettu sähköpostiosoite verkkotunnuksessa fb2.fra-uas.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Description logics
F Baader, I Horrocks, U Sattler
Foundations of Artificial Intelligence 3, 135-179, 2008
5592008
Completing description logic knowledge bases using formal concept analysis
F Baader, B Ganter, U Sattler, B Sertkaya
IJCAI 7, 230-235, 2007
2422007
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
Journal of Applied Logic 5 (3), 392-420, 2007
1182007
On the complexity of enumerating pseudo-intents
F Distel, B Sertkaya
Discrete Applied Mathematics 159 (6), 450-466, 2011
832011
Applying formal concept analysis to description logics
F Baader, B Sertkaya
International Conference on Formal Concept Analysis, 261-286, 2004
702004
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
532004
Understanding the complexity of axiom pinpointing in lightweight description logics
R Penaloza, B Sertkaya
Artificial Intelligence 250, 80-104, 2017
512017
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
492010
A survey on how description logic ontologies benefit from formal concept analysis
B Sertkaya
arXiv preprint arXiv:1107.2822, 2011
412011
Complexity of axiom pinpointing in the DL-Lite family of description logics
R Penaloza, B Sertkaya
ECAI 2010, 29-34, 2010
312010
OntoComP: A Protégé Plugin for Completing OWL Ontologies
B Sertkaya
European Semantic Web Conference, 898-902, 2009
312009
Formal concept analysis methods for description logics
B Sertkaya
Verlag nicht ermittelbar, 2008
252008
On the complexity of computing generators of closed sets
M Hermann, B Sertkaya
Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal …, 2008
222008
Axiom pinpointing is hard
R Penaloza, B Sertkaya
CEUR WORKSHOP PROCEEDINGS 477, 2009
192009
The ELepHant Reasoner System Description.
B Sertkaya
ORE, 87-93, 2013
182013
Some computational problems related to pseudo-intents
B Sertkaya
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt …, 2009
182009
Towards the complexity of recognizing pseudo-intents
B Sertkaya
Conceptual Structures: Leveraging Semantic Technologies: 17th International …, 2009
162009
Complexity of axiom pinpointing in the DL-Lite family
R Penaloza, B Sertkaya
CEUR WORKSHOP PROCEEDINGS 573, 173-184, 2010
142010
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
102011
OntoComP System Description.
B Sertkaya
Description Logics 477, 2009
102009
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20