| 2008 |
|---|
| 9 | EE | Baris Sertkaya:
Explaining User Errors in Knowledge Base Completion.
Description Logics 2008 |
| 8 | EE | Miki Hermann,
Baris Sertkaya:
On the Complexity of Computing Generators of Closed Sets.
ICFCA 2008: 158-168 |
| 2007 |
|---|
| 7 | EE | Franz Baader,
Bernhard Ganter,
Baris Sertkaya,
Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
IJCAI 2007: 230-235 |
| 6 | EE | Franz Baader,
Bernhard Ganter,
Ulrike Sattler,
Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis.
OWLED 2007 |
| 5 | EE | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the least common subsumer w.r.t. a background terminology.
J. Applied Logic 5(3): 392-420 (2007) |
| 2004 |
|---|
| 4 | EE | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
Description Logics 2004 |
| 3 | EE | Franz Baader,
Baris Sertkaya:
Applying Formal Concept Analysis to Description Logics.
ICFCA 2004: 261-286 |
| 2 | EE | Baris Sertkaya,
Halit Oguztüzün:
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.
ISCIS 2004: 976-985 |
| 1 | EE | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
JELIA 2004: 400-412 |
