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
Turhan A-Y. Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. In: Aßmann U, Bartho A, Wende C, eds. Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures. Vol 6325. Lecture Notes in Computer Science. Springer; 2010:1–27. doi:10.1007/978-3-642-15543-7_1
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
Springer T, Turhan A-Y. Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J Ambient Intell Smart Environ. 2009;1(3):235–259. doi:10.3233/AIS-2009-0032
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
Turhan A-Y. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
Turhan A-Y, Bong Y. Speeding up Approximation with Nicer Concepts. In: Calvanese D, Franconi E, Haarslev V, 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 Workshop Proceedings. CEUR-WS.org; 2007.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese D, Franconi E, Haarslev V, 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
Baader F, Sertkaya B, Turhan A-Y. Computing the least common subsumer w.r.t. a background terminology. J Appl Log. 2007;5(3):392–420. doi:10.1016/J.JAL.2006.03.002
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer S, Liebig T, Luther M, et al. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In: Grau BC, Hitzler P, Shankey C, Wallace E, eds. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006. Vol 216. CEUR Workshop Proceedings. CEUR-WS.org; 2006.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Alferes JJ, Leite JA, eds. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Vol 3229. Lecture Notes in Computer Science. Springer; 2004:400–412. doi:10.1007/978-3-540-30227-8_34
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
Brandt S, Turhan A-Y, Küsters R. Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In: Vardi MY, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Vol 2850. Lecture Notes in Computer Science. Springer; 2003:122–136. doi:10.1007/978-3-540-39813-4_8
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
Brandt S, Turhan A-Y. Computing Least Common Subsumers for FLE\(^\mbox+\). In: Calvanese D, Giacomo GD, Franconi E, eds. Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Vol 81. CEUR Workshop Proceedings. CEUR-WS.org; 2003.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
Baader F, Turhan A-Y. On the Problem of Computing Small Representations of Least Common Subsumers. In: Jarke M, Koehler J, Lakemeyer G, eds. KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Vol 2479. Lecture Notes in Computer Science. Springer; 2002:99–113. doi:10.1007/3-540-45751-8_7
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
Brandt S, Küsters R, Turhan A-Y. Approximating ALCN-Concept Descriptions. In: Horrocks I, Tessaris S, eds. Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Vol 53. CEUR Workshop Proceedings. CEUR-WS.org; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
Brandt S, Küsters R, Turhan A-Y. Approximation and Difference in Description Logics. In: Fensel D, Giunchiglia F, McGuinness DL, Williams M-A, eds. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann; 2002:203–214.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan A-Y, Molitor R. Using Lazy Unfolding for the Computation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics with Concrete Domains. In: Baader F, Sattler U, eds. Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.
LibreCat