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, A.-Y. (2011). Description logic reasoning for semantic web ontologies. In R. Akerkar (Ed.), Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011 (p. 6). ACM. https://doi.org/10.1145/1988688.1988696
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza, R., & Turhan, A.-Y. (2011). A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL. 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 (Vol. 6643, pp. 410–423). Springer. https://doi.org/10.1007/978-3-642-21034-1_28
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza, R., & Turhan, A.-Y. (2010). Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. 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 (Vol. 613). CEUR-WS.org.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 56549
Baader, F., Lutz, C., & Turhan, A.-Y. (2010). Small is Again Beautiful in Description Logics. Künstliche Intell., 24(1), 25–33. https://doi.org/10.1007/S13218-010-0004-8
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz, T., Peñaloza, R., & Turhan, A.-Y. (Eds.). (2010). Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010 (Vol. 613). CEUR-WS.org.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 56552
Turhan, A.-Y. (2010). Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. 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 (Vol. 6325, pp. 1–27). Springer. https://doi.org/10.1007/978-3-642-15543-7_1
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 56554
Springer, T., & Turhan, A.-Y. (2009). Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. J. Ambient Intell. Smart Environ., 1(3), 235–259. https://doi.org/10.3233/AIS-2009-0032
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 56555
Turhan, A.-Y. (2007). On the computation of common subsumers in description logics. Dresden University of Technology, Germany.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 56557
Turhan, A.-Y., & Bong, Y. (2007). Speeding up Approximation with Nicer Concepts. 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 (Vol. 250). CEUR-WS.org.
LibreCat
 

2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., & Tessaris, S. (Eds.). (2007). 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.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 56556
Baader, F., Sertkaya, B., & Turhan, A.-Y. (2007). Computing the least common subsumer w.r.t. a background terminology. J. Appl. Log., 5(3), 392–420. https://doi.org/10.1016/J.JAL.2006.03.002
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer, S., Liebig, T., Luther, M., Noppens, O., Patel-Schneider, P. F., Suntisrivaraporn, B., Turhan, A.-Y., & Weithöner, T. (2006). DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. 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 (Vol. 216). CEUR-WS.org.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 56564
Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. In J. J. Alferes & J. A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Vol. 3229, pp. 400–412). Springer. https://doi.org/10.1007/978-3-540-30227-8_34
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56561
Turhan, A.-Y., & Kissig, C. (2004). Sonic - Non-standard Inferences Go OilEd. In D. A. Basin & M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Vol. 3097, pp. 321–325). Springer. https://doi.org/10.1007/978-3-540-25984-8_22
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 56562
Baader, F., Sertkaya, B., & Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. 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 (Vol. 104). CEUR-WS.org.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 56563
Turhan, A.-Y., & Kissig, C. (2004). Sonic: System Description. 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 (Vol. 104). CEUR-WS.org.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 56567
Brandt, S., Turhan, A.-Y., & Küsters, R. (2003). Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. 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 (Vol. 2850, pp. 122–136). Springer. https://doi.org/10.1007/978-3-540-39813-4_8
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 56566
Brandt, S., & Turhan, A.-Y. (2003). Computing Least Common Subsumers for FLE\(^\mbox+\). 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 (Vol. 81). CEUR-WS.org.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 56569
Baader, F., & Turhan, A.-Y. (2002). On the Problem of Computing Small Representations of Least Common Subsumers. 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 (Vol. 2479, pp. 99–113). Springer. https://doi.org/10.1007/3-540-45751-8_7
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 56568
Brandt, S., Küsters, R., & Turhan, A.-Y. (2002). Approximating ALCN-Concept Descriptions. In I. Horrocks & S. Tessaris (Eds.), Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002 (Vol. 53). CEUR-WS.org.
LibreCat
 

Filters and Search Terms

(person=104470)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed