|
Search the dblp DataBase
Anni-Yasmin Turhan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Anni-Yasmin Turhan, Christian Kissig
Sonic - Non-standard Inferences Go OilEd. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:321-325 [Conf]
- Sebastian Brandt, Anni-Yasmin Turhan
Computing Least Common Subsumers for FLE+. [Citation Graph (0, 0)][DBLP] Description Logics, 2003, pp:- [Conf]
- 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]
- 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]
- Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
HAM-ALC. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- 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]
- 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]
- 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]
- Anni-Yasmin Turhan, Christian Kissig
Sonic: System Description. [Citation Graph (0, 0)][DBLP] Description Logics, 2004, pp:- [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Speeding up Approximation with Nicer Concepts. [Citation Graph (, )][DBLP]
Reasoning and Explanation in EL and in Expressive Description Logics. [Citation Graph (, )][DBLP]
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|