Baris Sertkaya

Orcid: 0000-0002-4196-0150

According to our database1, Baris Sertkaya authored at least 29 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Mining ℰℒ⊥ Bases with Adaptable Role Depth.
J. Artif. Intell. Res., 2023

Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract).
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).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2019
Probably Approximately Correct Completion of Description Logic Knowledge Bases.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2017
Understanding the complexity of axiom pinpointing in lightweight description logics.
Artif. Intell., 2017

2013
The ELepHant Reasoner System Description.
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.
Discret. Appl. Math., 2011

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

Formal Concept Analysis for Qualitative Data Analysis over Triple Stores.
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.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores.
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.
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.
Proceedings of the ECAI 2010, 2010

Complexity of Axiom Pinpointing in the DL-Lite Family.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

A Survey on how Description Logic Ontologies Benefit from FCA.
Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

2009
Some Computational Problems Related to Pseudo-intents.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Usability Issues in Description Logic Knowledge Base Completion.
Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Towards the Complexity of Recognizing Pseudo-intents.
Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

OntoComP: A Protégé Plugin for Completing OWL Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2009

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

Axiom Pinpointing is Hard.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
On the Complexity of Computing Generators of Closed Sets.
Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

Explaining User Errors in Knowledge Base Completion.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Formal concept analysis methods for description logics.
PhD thesis, 2007

Computing the least common subsumer w.r.t. a background terminology.
J. Appl. Log., 2007

Completing Description Logic Knowledge Bases using Formal Concept Analysis.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

2004
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.
Proceedings of the Computer and Information Sciences, 2004

Applying Formal Concept Analysis to Description Logics.
Proceedings of the Concept Lattices, 2004


  Loading...