Search the dblp DataBase

Publications of Author

1. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
   Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
2. Franz Baader, Baris Sertkaya
   Applying Formal Concept Analysis to Description Logics. [Citation Graph (0, 0)][DBLP]
   ICFCA, 2004, pp:261-286 [Conf]
   
3. 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:230-235 [Conf]
   
4. 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:976-985 [Conf]
   
5. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
   Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:400-412 [Conf]
   
6. Franz Baader, Baris Sertkaya, Anni-Yasmin 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:392-420 [Journal]
   
7. 
   Explaining User Errors in Knowledge Base Completion. [Citation Graph (, )][DBLP]
   
   
8. 
   Axiom Pinpointing is Hard. [Citation Graph (, )][DBLP]
   
   
9. 
   OntoComP System Description. [Citation Graph (, )][DBLP]
   
   
10. 
    Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. [Citation Graph (, )][DBLP]
    
    
11. 
    OntoComP: A Protégé Plugin for Completing OWL Ontologies. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards the Complexity of Recognizing Pseudo-intents. [Citation Graph (, )][DBLP]
    
    
13. 
    Usability Issues in Description Logic Knowledge Base Completion. [Citation Graph (, )][DBLP]
    
    
14. 
    On the Complexity of Computing Generators of Closed Sets. [Citation Graph (, )][DBLP]
    
    
15. 
    Some Computational Problems Related to Pseudo-intents. [Citation Graph (, )][DBLP]
    
    
16. 
    On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. [Citation Graph (, )][DBLP]
    
    
17. 
    Completing Description Logic Knowledge Bases using Formal Concept Analysis. [Citation Graph (, )][DBLP]