| 2007 |
20 | | Diego Calvanese,
Enrico Franconi,
Volker Haarslev,
Domenico Lembo,
Boris Motik,
Anni-Yasmin Turhan,
Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
CEUR-WS.org 2007 |
19 | | Anni-Yasmin Turhan,
Yusri Bong:
Speeding up Approximation with Nicer Concepts.
Description Logics 2007 |
18 | | Franz 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) |
| 2006 |
17 | | Sean Bechhofer,
Thorsten Liebig,
Marko Luther,
Olaf Noppens,
Peter F. Patel-Schneider,
Boontawee Suntisrivaraporn,
Anni-Yasmin Turhan,
Timo Weithöner:
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.
OWLED 2006 |
16 | | Anni-Yasmin Turhan,
Thomas Springer,
Michael Berger:
Pushing Doors for Modeling Contexts with OWL DL a Case Study.
PerCom Workshops 2006: 13-17 |
| 2004 |
15 | | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
Description Logics 2004 |
14 | | Anni-Yasmin Turhan,
Christian Kissig:
Sonic: System Description.
Description Logics 2004 |
13 | | Anni-Yasmin Turhan,
Christian Kissig:
Sonic - Non-standard Inferences Go OilEd.
IJCAR 2004: 321-325 |
12 | | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
JELIA 2004: 400-412 |
| 2003 |
11 | | Sebastian Brandt,
Anni-Yasmin Turhan:
Computing Least Common Subsumers for FLE+.
Description Logics 2003 |
10 | | Sebastian Brandt,
Anni-Yasmin Turhan,
Ralf Küsters:
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.
LPAR 2003: 122-136 |
| 2002 |
9 | | Franz Baader,
Anni-Yasmin Turhan:
On the Problem of Computing Small Representations of Least Common Subsumers.
KI 2002: 99-113 |
8 | | Sebastian Brandt,
Ralf Küsters,
Anni-Yasmin Turhan:
Approximation and Difference in Description Logics.
KR 2002: 203-214 |
| 2001 |
7 | | Franz Baader,
Anni-Yasmin Turhan:
TBoxes do not Yield a Compact Representation of Least Common Subsumers.
Description Logics 2001 |
6 | | Anni-Yasmin Turhan,
Ralf Molitor:
Using Lazy Unfolding for the Computation of Least Common Subsumers.
Description Logics 2001 |
5 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
IJCAR 2001: 61-75 |
| 2000 |
4 | | Anni-Yasmin Turhan,
Volker Haarslev:
Adapting Optimization Techniques to Description Logics with Concrete Domains.
Description Logics 2000: 247-256 |
| 1999 |
3 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan,
Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Description Logics 1999 |
| 1998 |
2 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
HAM-ALC.
Description Logics 1998 |
1 | | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Description Logics 1998 |