Baris Sertkaya

According to our database, Baris Sertkaya authored at least 31 papers between 2004 and 2025.

Collaborative distances:

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

2025

PAC learning of concept inclusions for ontology-mediated query answering.

Sergei Obiedkov, Baris Sertkaya

Int. J. Approx. Reason., 2025

2024

Probably Approximately Correct Ontology Completion with pacco (Extended Abstract).

Sergei Obiedkov, Baris Sertkaya

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis.

Sergei Obiedkov, Baris Sertkaya

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract).

Fabiola Hodo, Sai Pranav, Baris Sertkaya

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2021

Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract).

Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Mining EL Bases with Adaptable Role Depth.

Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

Probably Approximately Correct Completion of Description Logic Knowledge Bases.

Sergei Obiedkov, Baris Sertkaya, Denis Zolotukhin

Proceedings of the 32nd International Workshop on Description Logics, 2019

2017

Understanding the complexity of axiom pinpointing in lightweight description logics.

Rafael Peñaloza, Baris Sertkaya

Artif. Intell., 2017

2013

The ELepHant Reasoner System Description.

Baris Sertkaya

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

2011

On the complexity of enumerating pseudo-intents.

Felix Distel, Baris Sertkaya

Discret. Appl. Math., 2011

A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis

Baris Sertkaya

CoRR, 2011

Formal Concept Analysis for Qualitative Data Analysis over Triple Stores.

Frithjof Dau, Baris Sertkaya

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

In the Search of Improvements to the EL+ Classification Algorithm.

Baris Sertkaya

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores.

Frithjof Dau, Baris Sertkaya

Proceedings of the 1st CUBIST (Combining and Uniting Business Intelligence with Semantic Technologies) Workshop 2011, 2011

2010

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.

Rafael Peñaloza, Baris Sertkaya

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.

Rafael Peñaloza, Baris Sertkaya

Proceedings of the ECAI 2010, 2010

Complexity of Axiom Pinpointing in the DL-Lite Family.

Rafael Peñaloza, Baris Sertkaya

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

A Survey on how Description Logic Ontologies Benefit from FCA.

Baris Sertkaya

Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

2009

Some Computational Problems Related to Pseudo-intents.

Baris Sertkaya

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

Usability Issues in Description Logic Knowledge Base Completion.

Franz Baader, Baris Sertkaya

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

Towards the Complexity of Recognizing Pseudo-intents.

Baris Sertkaya

Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

OntoComP: A Protégé Plugin for Completing OWL Ontologies.

Baris Sertkaya

Proceedings of the Semantic Web: Research and Applications, 2009

OntoComP System Description.

Baris Sertkaya

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

Axiom Pinpointing is Hard.

Rafael Peñaloza, Baris Sertkaya

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

2008

On the Complexity of Computing Generators of Closed Sets.

Miki Hermann, Baris Sertkaya

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

Explaining User Errors in Knowledge Base Completion.

Baris Sertkaya

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Formal concept analysis methods for description logics.

Baris Sertkaya

PhD thesis, 2007

Completing Description Logic Knowledge Bases using Formal Concept Analysis.

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

2004

Computing the Least Common Subsumer w.r.t. a Background Terminology.

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.

Baris Sertkaya, Halit Oguztüzün

Proceedings of the Computer and Information Sciences, 2004

Applying Formal Concept Analysis to Description Logics.

Franz Baader, Baris Sertkaya

Proceedings of the Concept Lattices, 2004