Anni-Yasmin Turhan
Anni-Yasmin Turhan
Verified email at tu-dresden.de - Homepage
TitleCited byYear
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
Proc. of KR-02, 2002
1142002
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
Journal of Applied Logic 5 (3), 392-420, 2007
1012007
Exploiting pseudo models for TBox and ABox reasoning in expressive description logics
V Haarslev, R Möller, AY Turhan
International Joint Conference on Automated Reasoning, 61-75, 2001
702001
A Framework for Semantic-Based Similarity Measures for ELH-Concepts
K Lehmann, AY Turhan
European Conference on Logics in Artificial Intelligence, 307-319, 2012
61*2012
Race user’s guide and reference manual 1.1
V Haarslev, R Möller, H Schloßstraßse
September, 1999
55*1999
RACER User'Guide and Reference Manual-Version 1.1
V Haarslev, R Möller, AY Turhan
542001
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
European Workshop on Logics in Artificial Intelligence, 400-412, 2004
432004
Employing description logics in ambient intelligence for modeling and reasoning about complex situations
T Springer, AY Turhan
Journal of Ambient Intelligence and Smart Environments 1 (3), 235-259, 2009
422009
Using non-standard inferences in description logics—what does it buy me
S Brandt, AY Turhan
Proc. of KI-2001 Workshop on Applications of Description Logics (KIDLWS’01) 44, 2001
362001
DIG 2.0–towards a flexible interface for description logic reasoners
AY Turhan, S Bechhofer, A Kaplunova, T Liebig, M Luther, R Möller, ...
Proc. of the OWL Experiences and Directions Workshop at the ISWC 6, 2006
342006
Pushing doors for modeling contexts with OWL DL-a case study
AY Turhan, T Springer, M Berger
Fourth Annual IEEE International Conference on Pervasive Computing and …, 2006
312006
On the problem of computing small representations of least common subsumers
F Baader, AY Turhan
Annual Conference on Artificial Intelligence, 99-113, 2002
31*2002
RACER User’s Guide and Reference Manual: Version 1.7. 6
V Haarslev, R Möller
Concordia University and University of Applied Sciences in Wedel, Montreal …, 2002
302002
Most specific generalizations wrt general EL-TBoxes
B Zarrieß, AY Turhan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
262013
Implementing completion-based inferences for the EL-family
J Mendez, A Ecke, AY Turhan
Proc. 24th Int. Workshop on Description Logics (DL’11) 745, 334-344, 2011
252011
Description logic reasoning for semantic web ontologies
AY Turhan
Proceedings of the International Conference on Web Intelligence, Mining and …, 2011
252011
A Practical Approach for Computing Generalization Inferences in EL
R Peñaloza, AY Turhan
Extended Semantic Web Conference, 410-423, 2011
232011
Small is again beautiful in description logics
F Baader, C Lutz, AY Turhan
KI-Künstliche Intelligenz 24 (1), 25-33, 2010
192010
Similarity-based relaxed instance queries
A Ecke, R Peñaloza, AY Turhan
Journal of Applied Logic 13 (4), 480-508, 2015
172015
Sonic—Non-standard inferences go OilEd
AY Turhan, C Kissig
International Joint Conference on Automated Reasoning, 321-325, 2004
172004
The system can't perform the operation now. Try again later.
Articles 1–20