Concepedia

Barış Sertkaya

BS

Statistics

Publications

9

Citations

290

H-Index

9

Active since

2006

Affiliations

Technische Universität Dresden(Current)

Systems, Applications & Products in Data Processing (United Kingdom)

Barış Sertkaya is an author at Technische Universität Dresden specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsComputer ScienceComputational ComplexityLanguageLinguisticsSemantic WebDescription Logics

Publications per year

2006–2017

9

Publications

9

Computing the least common subsumer w.r.t. a background terminology

Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan · Journal of Applied Logic · 2006 · 86 citations

Statistical Signal Processing, Computational Complexity Theory, Engineering +6

On the complexity of enumerating pseudo-intents

Felix Distel, Barış Sertkaya · Discrete Applied Mathematics · 2011 · 62 citations

Engineering, Abstract Complexity, Automated Reasoning +8

Understanding the complexity of axiom pinpointing in lightweight description logics

Rafael Peñaloza, Barış Sertkaya · Artificial Intelligence · 2017 · 38 citations

Engineering, Automated Reasoning, Description Logic +12

On the complexity of axiom pinpointing in the EL family of description logics

Rafael Peñaloza, Barış Sertkaya · BOA (University of Milano-Bicocca) · 2010 · 37 citations · Full text

Completing Description Logic Knowledge Bases using Formal Concept Analysis.

Franz Baader, Bernhard Ganter, Ulrike Sattler et al. · 2007 · 19 citations · Full text

1–5 of 9