Follow
Anni-Yasmin Turhan
Anni-Yasmin Turhan
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Approximation and difference in description logics
S Brandt, R Küsters, AY Turhan
1272001
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
Journal of Applied Logic 5 (3), 392-420, 2007
1162007
Exploiting pseudo models for TBox and ABox reasoning in expressive description logics
V Haarslev, R Möller, AY Turhan
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
762001
A Framework for Semantic-Based Similarity Measures for ELH-Concepts
K Lehmann, AY Turhan
European Conference on Logics in Artificial Intelligence, 307-319, 2012
712012
Race user’s guide and reference manual 1.1
V Haarslev, R Möller, H Schloßstraßse
September, 1999
62*1999
RACER User'Guide and Reference Manual-Version 1.1
V Haarslev, R Möller, AY Turhan
612001
Computing the least common subsumer wrt a background terminology
F Baader, B Sertkaya, AY Turhan
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004
512004
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
462009
Most specific generalizations wrt general EL-TBoxes
B Zarrieß, AY Turhan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
452013
Reasoning in the defeasible description logic—computing standard inferences under rational and relevant semantics
M Pensel, AY Turhan
International Journal of Approximate Reasoning 103, 28-70, 2018
422018
A Practical Approach for Computing Generalization Inferences in EL
R Peñaloza, AY Turhan
Extended Semantic Web Conference, 410-423, 2011
372011
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
352006
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
332006
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
322002
On the problem of computing small representations of least common subsumers
F Baader, AY Turhan
KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference …, 2002
32*2002
Description logic reasoning for semantic web ontologies
AY Turhan
Proceedings of the International Conference on Web Intelligence, Mining and …, 2011
312011
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
262011
Similarity-based relaxed instance queries
A Ecke, R Peñaloza, AY Turhan
Journal of Applied Logic 13 (4), 480-508, 2015
252015
Small is again beautiful in description logics
F Baader, C Lutz, AY Turhan
KI-Künstliche Intelligenz 24 (1), 25-33, 2010
242010
The system can't perform the operation now. Try again later.
Articles 1–20