dblp.uni-trier.dewww.uni-trier.de

Baris Sertkaya

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Franz Baader [1] [3] [4] [5] [6] [7]
2Bernhard Ganter [6] [7]
3Miki Hermann [8]
4Halit Oguztüzün [2]
5Ulrike Sattler [6] [7]
6Anni-Yasmin Turhan [1] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)