The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anni-Yasmin Turhan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:61-75 [Conf]
  2. Anni-Yasmin Turhan, Christian Kissig
    Sonic - Non-standard Inferences Go OilEd. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:321-325 [Conf]
  3. Sebastian Brandt, Anni-Yasmin Turhan
    Computing Least Common Subsumers for FLE+. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  4. 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]
  5. Franz Baader, Anni-Yasmin Turhan
    TBoxes do not Yield a Compact Representation of Least Common Subsumers. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  6. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    HAM-ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  7. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Implementing an ALCRP(D) ABox Reasoner - Progress Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  8. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
    On Terminological Default Reasoning about Spatial Information: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  9. Anni-Yasmin Turhan, Volker Haarslev
    Adapting Optimization Techniques to Description Logics with Concrete Domains. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:247-256 [Conf]
  10. Anni-Yasmin Turhan, Christian Kissig
    Sonic: System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  11. Anni-Yasmin Turhan, Ralf Molitor
    Using Lazy Unfolding for the Computation of Least Common Subsumers. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  12. 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]
  13. Franz Baader, Anni-Yasmin Turhan
    On the Problem of Computing Small Representations of Least Common Subsumers. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:99-113 [Conf]
  14. Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
    Approximation and Difference in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:203-214 [Conf]
  15. Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
    Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:122-136 [Conf]
  16. Anni-Yasmin Turhan, Thomas Springer, Michael Berger
    Pushing Doors for Modeling Contexts with OWL DL a Case Study. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2006, pp:13-17 [Conf]
  17. 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]

  18. Speeding up Approximation with Nicer Concepts. [Citation Graph (, )][DBLP]


  19. Reasoning and Explanation in EL and in Expressive Description Logics. [Citation Graph (, )][DBLP]


  20. DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002