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
Description logic reasoning for semantic web ontologies
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
LibreCat
| DOI
A.-Y. Turhan, in: R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, ACM, 2011, p. 6.
2011 | Conference Paper | LibreCat-ID: 56547
A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL
R. Peñaloza, A.-Y. Turhan, in: G. Antoniou, M. Grobelnik, E. Simperl, B. Parsia, D. Plexousakis, P.D. Leenheer, J.Z. Pan (Eds.), The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, Springer, 2011, pp. 410–423.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, in: G. Antoniou, M. Grobelnik, E. Simperl, B. Parsia, D. Plexousakis, P.D. Leenheer, J.Z. Pan (Eds.), The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, Springer, 2011, pp. 410–423.
2010 | Conference Paper | LibreCat-ID: 56550
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
R. Peñaloza, A.-Y. Turhan, in: T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan (Eds.), Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, CEUR-WS.org, 2010.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan (Eds.), Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, CEUR-WS.org, 2010.
2010 | Journal Article | LibreCat-ID: 56549
Small is Again Beautiful in Description Logics
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
LibreCat
| DOI
F. Baader, C. Lutz, A.-Y. Turhan, Künstliche Intell. 24 (2010) 25–33.
2010 | Conference (Editor) | LibreCat-ID: 56553
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, CEUR-WS.org, 2010.
LibreCat
T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, CEUR-WS.org, 2010.
2010 | Conference Paper | LibreCat-ID: 56552
Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics
A.-Y. Turhan, in: U. Aßmann, A. Bartho, C. Wende (Eds.), Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, Springer, 2010, pp. 1–27.
LibreCat
| DOI
A.-Y. Turhan, in: U. Aßmann, A. Bartho, C. Wende (Eds.), Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, Springer, 2010, pp. 1–27.
2009 | Journal Article | LibreCat-ID: 56554
Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
LibreCat
| DOI
T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.
2007 | Dissertation | LibreCat-ID: 56555
On the computation of common subsumers in description logics
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
LibreCat
A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007.
2007 | Conference Paper | LibreCat-ID: 56557
Speeding up Approximation with Nicer Concepts
A.-Y. Turhan, Y. Bong, in: D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, S. Tessaris (Eds.), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, CEUR-WS.org, 2007.
LibreCat
A.-Y. Turhan, Y. Bong, in: D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, S. Tessaris (Eds.), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, CEUR-WS.org, 2007.
2007 | Conference (Editor) | LibreCat-ID: 56558
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, CEUR-WS.org, 2007.
LibreCat
D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, CEUR-WS.org, 2007.
2007 | Journal Article | LibreCat-ID: 56556
Computing the least common subsumer w.r.t. a background terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.
2006 | Conference Paper | LibreCat-ID: 56559
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, in: B.C. Grau, P. Hitzler, C. Shankey, E. Wallace (Eds.), Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, CEUR-WS.org, 2006.
LibreCat
S. Bechhofer, T. Liebig, M. Luther, O. Noppens, P.F. Patel-Schneider, B. Suntisrivaraporn, A.-Y. Turhan, T. Weithöner, in: B.C. Grau, P. Hitzler, C. Shankey, E. Wallace (Eds.), Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, CEUR-WS.org, 2006.
2004 | Conference Paper | LibreCat-ID: 56564
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
2004 | Conference Paper | LibreCat-ID: 56561
Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
LibreCat
| DOI
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
2004 | Conference Paper | LibreCat-ID: 56562
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
2004 | Conference Paper | LibreCat-ID: 56563
Sonic: System Description
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
2003 | Conference Paper | LibreCat-ID: 56567
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles
S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Springer, 2003, pp. 122–136.
LibreCat
| DOI
S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Springer, 2003, pp. 122–136.
2003 | Conference Paper | LibreCat-ID: 56566
Computing Least Common Subsumers for FLE\(^\mbox+\)
S. Brandt, A.-Y. Turhan, in: D. Calvanese, G.D. Giacomo, E. Franconi (Eds.), Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, CEUR-WS.org, 2003.
LibreCat
S. Brandt, A.-Y. Turhan, in: D. Calvanese, G.D. Giacomo, E. Franconi (Eds.), Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, CEUR-WS.org, 2003.
2002 | Conference Paper | LibreCat-ID: 56569
On the Problem of Computing Small Representations of Least Common Subsumers
F. Baader, A.-Y. Turhan, in: M. Jarke, J. Koehler, G. Lakemeyer (Eds.), KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, Springer, 2002, pp. 99–113.
LibreCat
| DOI
F. Baader, A.-Y. Turhan, in: M. Jarke, J. Koehler, G. Lakemeyer (Eds.), KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, Springer, 2002, pp. 99–113.
2002 | Conference Paper | LibreCat-ID: 56568
Approximating ALCN-Concept Descriptions
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
LibreCat
S. Brandt, R. Küsters, A.-Y. Turhan, in: I. Horrocks, S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, CEUR-WS.org, 2002.
- 1
- 2
- 3
- 4 (current)
- 5