Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

98 Publications


2011 | Conference Paper | LibreCat-ID: 56548
Turhan, Anni-Yasmin. “Description Logic Reasoning for Semantic Web Ontologies.” In Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, edited by Rajendra Akerkar, 6. ACM, 2011. https://doi.org/10.1145/1988688.1988696.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza, Rafael, and Anni-Yasmin Turhan. “A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL.” In The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, and Jeff Z. Pan, 6643:410–423. Lecture Notes in Computer Science. Springer, 2011. https://doi.org/10.1007/978-3-642-21034-1_28.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.” In Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, edited by Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 56549
Baader, Franz, Carsten Lutz, and Anni-Yasmin Turhan. “Small Is Again Beautiful in Description Logics.” Künstliche Intell. 24, no. 1 (2010): 25–33. https://doi.org/10.1007/S13218-010-0004-8.
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 56552
Turhan, Anni-Yasmin. “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics.” In Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, edited by Uwe Aßmann, Andreas Bartho, and Christian Wende, 6325:1–27. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15543-7_1.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 56554
Springer, Thomas, and Anni-Yasmin Turhan. “Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.” J. Ambient Intell. Smart Environ. 1, no. 3 (2009): 235–259. https://doi.org/10.3233/AIS-2009-0032.
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 56555
Turhan, Anni-Yasmin. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 56557
Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer Concepts.” In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, edited by Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
 

2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese, Diego, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 56556
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” J. Appl. Log. 5, no. 3 (2007): 392–420. https://doi.org/10.1016/J.JAL.2006.03.002.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer, Sean, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner. “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” In Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, edited by Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, Vol. 216. CEUR Workshop Proceedings. CEUR-WS.org, 2006.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José Júlio Alferes and João Alexandre Leite, 3229:400–412. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-30227-8_34.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56561
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 56567
Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_8.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 56566
Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers for FLE\(^\mbox+\).” In Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, edited by Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, Vol. 81. CEUR Workshop Proceedings. CEUR-WS.org, 2003.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 56569
Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small Representations of Least Common Subsumers.” In KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, edited by Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, 2479:99–113. Lecture Notes in Computer Science. Springer, 2002. https://doi.org/10.1007/3-540-45751-8_7.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 56568
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximating ALCN-Concept Descriptions.” In Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, edited by Ian Horrocks and Sergio Tessaris, Vol. 53. CEUR Workshop Proceedings. CEUR-WS.org, 2002.
LibreCat
 

Filters and Search Terms

(person=104470)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed