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
- 1
- 2
- 3
- 4 (current)
- 5
2011 | Conference Paper | LibreCat-ID: 56548
A.-Y. Turhan, “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, 2011, p. 6, doi: 10.1145/1988688.1988696.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 56547
R. Peñaloza and A.-Y. 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, 2011, vol. 6643, pp. 410–423, doi: 10.1007/978-3-642-21034-1_28.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 56550
R. Peñaloza and A.-Y. 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, 2010, vol. 613.
LibreCat
2010 | Journal Article | LibreCat-ID: 56549
F. Baader, C. Lutz, and A.-Y. Turhan, “Small is Again Beautiful in Description Logics,” Künstliche Intell., vol. 24, no. 1, pp. 25–33, 2010, doi: 10.1007/S13218-010-0004-8.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 56553
T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, vol. 613. CEUR-WS.org, 2010.
LibreCat
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
- 1
- 2
- 3
- 4 (current)
- 5