
Search the dblp DataBase
Baris Sertkaya:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Franz Baader, Baris Sertkaya, AnniYasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP] Description Logics, 2004, pp: [Conf]
 Franz Baader, Baris Sertkaya
Applying Formal Concept Analysis to Description Logics. [Citation Graph (0, 0)][DBLP] ICFCA, 2004, pp:261286 [Conf]
 Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:230235 [Conf]
 Baris Sertkaya, Halit Oguztüzün
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] ISCIS, 2004, pp:976985 [Conf]
 Franz Baader, Baris Sertkaya, AnniYasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:400412 [Conf]
 Franz Baader, Baris Sertkaya, AnniYasmin Turhan
Computing the least common subsumer w.r.t. a background terminology. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2007, v:5, n:3, pp:392420 [Journal]
Explaining User Errors in Knowledge Base Completion. [Citation Graph (, )][DBLP]
Axiom Pinpointing is Hard. [Citation Graph (, )][DBLP]
OntoComP System Description. [Citation Graph (, )][DBLP]
Complexity of Axiom Pinpointing in the DLLite Family of Description Logics. [Citation Graph (, )][DBLP]
OntoComP: A Protégé Plugin for Completing OWL Ontologies. [Citation Graph (, )][DBLP]
Towards the Complexity of Recognizing Pseudointents. [Citation Graph (, )][DBLP]
Usability Issues in Description Logic Knowledge Base Completion. [Citation Graph (, )][DBLP]
On the Complexity of Computing Generators of Closed Sets. [Citation Graph (, )][DBLP]
Some Computational Problems Related to Pseudointents. [Citation Graph (, )][DBLP]
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. [Citation Graph (, )][DBLP]
Completing Description Logic Knowledge Bases using Formal Concept Analysis. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
