Publikationen von Barış Sertkaya
Aus International Center for Computational Logic
Publikationen von Barış Sertkaya
Artikel in Fachzeitschriften
Felix Distel, Barış Sertkaya
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics, 159(6):450-466, 2011
Details
Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Journal of Applied Logic, 5(3):392-420, 2007
Details Download
Artikel in Tagungsbänden
Sergei Obiedkov, Barış Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
In Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Logics in Artificial Intelligence. JELIA 2023, volume 14281 of LNAI, 176-191, September 2023. Springer
Details Download
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
In Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski, eds., Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. AAAI Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, 29-34, 2010. IOS Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010
Details Download
Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
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 Ingelligence, 1-21, 2009. Springer
Details Download
Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
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, 130-145, 2009. Springer
Details Download
Barış Sertkaya
OntoComP System Description
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
Towards the Complexity of Recognizing Pseudo-intents
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, 284-292, 2009
Details Download
Barış Sertkaya
OntoComP: A Protege Plugin for Completing OWL Ontologies
Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, 898-902, 2009. Springer
Details Download
Miki Hermann, Barış Sertkaya
On the Complexity of Computing Generators of Closed Sets
In Raoul Medina and Sergei A. Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Computer Science, 158-168, 2008. Springer
Details Download
Barış Sertkaya
Explaining User Errors in Knowledge Base Completion
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Barış Sertkaya
Explaining User Errors in Description Logic Knowledge Base Completion
Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), 2008
Details Download
Barış Sertkaya
Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006)
In Bernhard Ganter and Leonard Kwuida, eds., Contributions to ICFCA 2006, 73-86, 2006. Verlag Allgemeine Wissenschaft
Details Download
Technische Berichte
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-06, 2008. LTCS-Report
Details Download