Baris Sertkaya

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 9

Top Venues

Description Logics

CoRR

Artif. Intell.

J. Artif. Intell. Res.

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Sergei Obiedkov, Baris Sertkaya
Probably Approximately Correct Ontology Completion with pacco (Extended Abstract). Description Logics (2024)
Fabiola Hodo, Sai Pranav, Baris Sertkaya
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract). Description Logics (2023)
Sergei Obiedkov, Baris Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. JELIA (2023)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining ℰℒ⊥ Bases with Adaptable Role Depth. J. Artif. Intell. Res. 76 (2023)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL Bases with Adaptable Role Depth. AAAI (2021)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL Bases with Adaptable Role Depth. CoRR (2021)
Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya
Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). Description Logics (2021)
Sergei Obiedkov, Baris Sertkaya, Denis Zolotukhin
Probably Approximately Correct Completion of Description Logic Knowledge Bases. Description Logics (2019)
Rafael Peñaloza, Baris Sertkaya
Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. 250 (2017)
Baris Sertkaya
The ELepHant Reasoner System Description. ORE (2013)
Baris Sertkaya
In the Search of Improvements to the EL+ Classification Algorithm. Description Logics (2011)
Frithjof Dau, Baris Sertkaya
An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores. CUBIST Workshop (2011)
Frithjof Dau, Baris Sertkaya
Formal Concept Analysis for Qualitative Data Analysis over Triple Stores. ER Workshops (2011)
Baris Sertkaya
A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis CoRR (2011)
Felix Distel, Baris Sertkaya
On the complexity of enumerating pseudo-intents. Discret. Appl. Math. 159 (6) (2011)
Baris Sertkaya
A Survey on how Description Logic Ontologies Benefit from FCA. CLA (2010)
Rafael Peñaloza, Baris Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. KR (2010)
Rafael Peñaloza, Baris Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. ECAI (2010)
Rafael Peñaloza, Baris Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family. Description Logics (2010)
Franz Baader, Baris Sertkaya
Usability Issues in Description Logic Knowledge Base Completion. ICFCA (2009)
Rafael Peñaloza, Baris Sertkaya
Axiom Pinpointing is Hard. Description Logics (2009)
Baris Sertkaya
Some Computational Problems Related to Pseudo-intents. ICFCA (2009)
Baris Sertkaya
OntoComP System Description. Description Logics (2009)
Baris Sertkaya
OntoComP: A Protégé Plugin for Completing OWL Ontologies. ESWC (2009)
Baris Sertkaya
Towards the Complexity of Recognizing Pseudo-intents. ICCS (2009)
Baris Sertkaya
Explaining User Errors in Knowledge Base Completion. Description Logics (2008)
Miki Hermann, Baris Sertkaya
On the Complexity of Computing Generators of Closed Sets. ICFCA (2008)
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED (2007)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log. 5 (3) (2007)
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI (2007)
Baris Sertkaya, Halit Oguztüzün
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. ISCIS (2004)
Franz Baader, Baris Sertkaya
Applying Formal Concept Analysis to Description Logics. ICFCA (2004)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics (2004)
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA (2004)

Baris Sertkaya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Baris Sertkaya