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.
103 Publications
2010 | Conference Paper | LibreCat-ID: 56552
A.-Y. Turhan, “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, 2010, vol. 6325, pp. 1–27, doi: 10.1007/978-3-642-15543-7_1.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
T. Springer and A.-Y. Turhan, “Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations,” J. Ambient Intell. Smart Environ., vol. 1, no. 3, pp. 235–259, 2009, doi: 10.3233/AIS-2009-0032.
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
A.-Y. Turhan, On the computation of common subsumers in description logics. Dresden University of Technology, Germany, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
A.-Y. Turhan and Y. 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, 2007, vol. 250.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
D. Calvanese et al., Eds., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, vol. 250. CEUR-WS.org, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 56556
F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the least common subsumer w.r.t. a background terminology,” J. Appl. Log., vol. 5, no. 3, pp. 392–420, 2007, doi: 10.1016/J.JAL.2006.03.002.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
S. Bechhofer et al., “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, 2006, vol. 216.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
F. Baader, B. Sertkaya, and A.-Y. 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, 2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
F. Baader, B. Sertkaya, and A.-Y. 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, 2004, vol. 104.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
S. Brandt, A.-Y. Turhan, and R. 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, 2003, vol. 2850, pp. 122–136, doi: 10.1007/978-3-540-39813-4_8.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
S. Brandt and A.-Y. 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, 2003, vol. 81.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
F. Baader and A.-Y. 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, 2002, vol. 2479, pp. 99–113, doi: 10.1007/3-540-45751-8_7.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximating ALCN-Concept Descriptions,” in Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, vol. 53.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximation and Difference in Description Logics,” in Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, 2002, pp. 203–214.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics,” in Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, 2001, vol. 2083, pp. 61–75, doi: 10.1007/3-540-45744-5_6.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
F. Baader and A.-Y. Turhan, “TBoxes do not Yield a Compact Representation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
A.-Y. Turhan and R. Molitor, “Using Lazy Unfolding for the Computation of Least Common Subsumers,” in Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001, vol. 49.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
A.-Y. Turhan and V. Haarslev, “Adapting Optimization Techniques to Description Logics with Concrete Domains,” in Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, 2000, vol. 33, pp. 247–256.
LibreCat