[{"editor":[{"full_name":"Lukasiewicz, Thomas","first_name":"Thomas","last_name":"Lukasiewicz"},{"full_name":"Peñaloza, Rafael","first_name":"Rafael","last_name":"Peñaloza"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"title":"Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010","intvolume":"       613","user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"ieee":"T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., <i>Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010</i>, vol. 613. CEUR-WS.org, 2010.","chicago":"Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. <i>Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010</i>. Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.","short":"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.","apa":"Lukasiewicz, T., Peñaloza, R., &#38; Turhan, A.-Y. (Eds.). (2010). <i>Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010</i> (Vol. 613). CEUR-WS.org.","ama":"Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. <i>Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010</i>. Vol 613. CEUR-WS.org; 2010.","bibtex":"@book{Lukasiewicz_Peñaloza_Turhan_2010, series={CEUR Workshop Proceedings}, title={Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010}, volume={613}, publisher={CEUR-WS.org}, year={2010}, collection={CEUR Workshop Proceedings} }","mla":"Lukasiewicz, Thomas, et al., editors. <i>Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010</i>. CEUR-WS.org, 2010."},"publisher":"CEUR-WS.org","date_created":"2024-10-10T13:24:26Z","status":"public","type":"conference_editor","year":"2010","language":[{"iso":"eng"}],"volume":613,"_id":"56553","date_updated":"2024-10-10T13:24:39Z"},{"doi":"10.1007/978-3-642-15543-7_1","intvolume":"      6325","editor":[{"last_name":"Aßmann","full_name":"Aßmann, Uwe","first_name":"Uwe"},{"last_name":"Bartho","first_name":"Andreas","full_name":"Bartho, Andreas"},{"last_name":"Wende","full_name":"Wende, Christian","first_name":"Christian"}],"author":[{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"title":"Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics","user_id":"15504","citation":{"mla":"Turhan, Anni-Yasmin. “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics.” <i>Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures</i>, edited by Uwe Aßmann et al., vol. 6325, Springer, 2010, pp. 1–27, doi:<a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">10.1007/978-3-642-15543-7_1</a>.","bibtex":"@inproceedings{Turhan_2010, series={Lecture Notes in Computer Science}, title={Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics}, volume={6325}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">10.1007/978-3-642-15543-7_1</a>}, booktitle={Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures}, publisher={Springer}, author={Turhan, Anni-Yasmin}, editor={Aßmann, Uwe and Bartho, Andreas and Wende, Christian}, year={2010}, pages={1–27}, collection={Lecture Notes in Computer Science} }","short":"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.","ama":"Turhan A-Y. Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. In: Aßmann U, Bartho A, Wende C, eds. <i>Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures</i>. Vol 6325. Lecture Notes in Computer Science. Springer; 2010:1–27. doi:<a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">10.1007/978-3-642-15543-7_1</a>","apa":"Turhan, A.-Y. (2010). Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics. In U. Aßmann, A. Bartho, &#38; C. Wende (Eds.), <i>Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures</i> (Vol. 6325, pp. 1–27). Springer. <a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">https://doi.org/10.1007/978-3-642-15543-7_1</a>","chicago":"Turhan, Anni-Yasmin. “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics.” In <i>Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures</i>, edited by Uwe Aßmann, Andreas Bartho, and Christian Wende, 6325:1–27. Lecture Notes in Computer Science. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">https://doi.org/10.1007/978-3-642-15543-7_1</a>.","ieee":"A.-Y. Turhan, “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics,” in <i>Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures</i>, 2010, vol. 6325, pp. 1–27, doi: <a href=\"https://doi.org/10.1007/978-3-642-15543-7_1\">10.1007/978-3-642-15543-7_1</a>."},"series_title":"Lecture Notes in Computer Science","status":"public","language":[{"iso":"eng"}],"year":"2010","type":"conference","publisher":"Springer","date_created":"2024-10-10T13:23:41Z","publication":"Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures","date_updated":"2024-12-11T14:02:12Z","volume":6325,"_id":"56552","page":"1–27"},{"citation":{"mla":"Springer, Thomas, and Anni-Yasmin Turhan. “Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.” <i>J. Ambient Intell. Smart Environ.</i>, vol. 1, no. 3, 2009, pp. 235–259, doi:<a href=\"https://doi.org/10.3233/AIS-2009-0032\">10.3233/AIS-2009-0032</a>.","bibtex":"@article{Springer_Turhan_2009, title={Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations}, volume={1}, DOI={<a href=\"https://doi.org/10.3233/AIS-2009-0032\">10.3233/AIS-2009-0032</a>}, number={3}, journal={J. Ambient Intell. Smart Environ.}, author={Springer, Thomas and Turhan, Anni-Yasmin}, year={2009}, pages={235–259} }","short":"T. Springer, A.-Y. Turhan, J. Ambient Intell. Smart Environ. 1 (2009) 235–259.","ama":"Springer T, Turhan A-Y. Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. <i>J Ambient Intell Smart Environ</i>. 2009;1(3):235–259. doi:<a href=\"https://doi.org/10.3233/AIS-2009-0032\">10.3233/AIS-2009-0032</a>","apa":"Springer, T., &#38; Turhan, A.-Y. (2009). Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations. <i>J. Ambient Intell. Smart Environ.</i>, <i>1</i>(3), 235–259. <a href=\"https://doi.org/10.3233/AIS-2009-0032\">https://doi.org/10.3233/AIS-2009-0032</a>","chicago":"Springer, Thomas, and Anni-Yasmin Turhan. “Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.” <i>J. Ambient Intell. Smart Environ.</i> 1, no. 3 (2009): 235–259. <a href=\"https://doi.org/10.3233/AIS-2009-0032\">https://doi.org/10.3233/AIS-2009-0032</a>.","ieee":"T. Springer and A.-Y. Turhan, “Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations,” <i>J. Ambient Intell. Smart Environ.</i>, vol. 1, no. 3, pp. 235–259, 2009, doi: <a href=\"https://doi.org/10.3233/AIS-2009-0032\">10.3233/AIS-2009-0032</a>."},"user_id":"15504","title":"Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations","author":[{"first_name":"Thomas","full_name":"Springer, Thomas","last_name":"Springer"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"doi":"10.3233/AIS-2009-0032","intvolume":"         1","page":"235–259","_id":"56554","volume":1,"date_updated":"2024-10-10T13:26:14Z","issue":"3","publication":"J. Ambient Intell. Smart Environ.","date_created":"2024-10-10T13:25:09Z","year":"2009","type":"journal_article","language":[{"iso":"eng"}],"status":"public"},{"date_created":"2024-10-10T13:26:48Z","publisher":"Dresden University of Technology, Germany","language":[{"iso":"eng"}],"type":"dissertation","year":"2007","status":"public","_id":"56555","date_updated":"2024-10-10T13:27:24Z","title":"On the computation of common subsumers in description logics","author":[{"last_name":"Turhan","id":"104470","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"citation":{"ama":"Turhan A-Y. <i>On the Computation of Common Subsumers in Description Logics</i>. Dresden University of Technology, Germany; 2007.","apa":"Turhan, A.-Y. (2007). <i>On the computation of common subsumers in description logics</i>. Dresden University of Technology, Germany.","chicago":"Turhan, Anni-Yasmin. <i>On the Computation of Common Subsumers in Description Logics</i>. Dresden University of Technology, Germany, 2007.","ieee":"A.-Y. Turhan, <i>On the computation of common subsumers in description logics</i>. Dresden University of Technology, Germany, 2007.","mla":"Turhan, Anni-Yasmin. <i>On the Computation of Common Subsumers in Description Logics</i>. Dresden University of Technology, Germany, 2007.","bibtex":"@book{Turhan_2007, title={On the computation of common subsumers in description logics}, publisher={Dresden University of Technology, Germany}, author={Turhan, Anni-Yasmin}, year={2007} }","short":"A.-Y. Turhan, On the Computation of Common Subsumers in Description Logics, Dresden University of Technology, Germany, 2007."},"user_id":"15504"},{"date_updated":"2024-10-10T13:28:58Z","volume":250,"_id":"56557","status":"public","year":"2007","type":"conference","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","publication":"Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007","date_created":"2024-10-10T13:28:45Z","user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"ieee":"A.-Y. Turhan and Y. Bong, “Speeding up Approximation with Nicer Concepts,” in <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>, 2007, vol. 250.","chicago":"Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer Concepts.” In <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>, edited by Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.","ama":"Turhan A-Y, Bong Y. Speeding up Approximation with Nicer Concepts. In: Calvanese D, Franconi E, Haarslev V, et al., eds. <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>. Vol 250. CEUR Workshop Proceedings. CEUR-WS.org; 2007.","apa":"Turhan, A.-Y., &#38; Bong, Y. (2007). Speeding up Approximation with Nicer Concepts. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, &#38; S. Tessaris (Eds.), <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i> (Vol. 250). CEUR-WS.org.","short":"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.","bibtex":"@inproceedings{Turhan_Bong_2007, series={CEUR Workshop Proceedings}, title={Speeding up Approximation with Nicer Concepts}, volume={250}, booktitle={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Bong, Yusri}, editor={Calvanese, Diego and Franconi, Enrico and Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin and Tessaris, Sergio}, year={2007}, collection={CEUR Workshop Proceedings} }","mla":"Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer Concepts.” <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>, edited by Diego Calvanese et al., vol. 250, CEUR-WS.org, 2007."},"intvolume":"       250","author":[{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","id":"104470","last_name":"Turhan"},{"last_name":"Bong","first_name":"Yusri","full_name":"Bong, Yusri"}],"editor":[{"last_name":"Calvanese","full_name":"Calvanese, Diego","first_name":"Diego"},{"full_name":"Franconi, Enrico","first_name":"Enrico","last_name":"Franconi"},{"first_name":"Volker","full_name":"Haarslev, Volker","last_name":"Haarslev"},{"first_name":"Domenico","full_name":"Lembo, Domenico","last_name":"Lembo"},{"last_name":"Motik","first_name":"Boris","full_name":"Motik, Boris"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"},{"last_name":"Tessaris","first_name":"Sergio","full_name":"Tessaris, Sergio"}],"title":"Speeding up Approximation with Nicer Concepts"},{"user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"mla":"Calvanese, Diego, et al., editors. <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>. CEUR-WS.org, 2007.","apa":"Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A.-Y., &#38; Tessaris, S. (Eds.). (2007). <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i> (Vol. 250). CEUR-WS.org.","bibtex":"@book{Calvanese_Franconi_Haarslev_Lembo_Motik_Turhan_Tessaris_2007, series={CEUR Workshop Proceedings}, title={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, volume={250}, publisher={CEUR-WS.org}, year={2007}, collection={CEUR Workshop Proceedings} }","ama":"Calvanese D, Franconi E, Haarslev V, et al., eds. <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>. Vol 250. CEUR-WS.org; 2007.","short":"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.","chicago":"Calvanese, Diego, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, eds. <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>. Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.","ieee":"D. Calvanese <i>et al.</i>, Eds., <i>Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007</i>, vol. 250. CEUR-WS.org, 2007."},"intvolume":"       250","editor":[{"first_name":"Diego","full_name":"Calvanese, Diego","last_name":"Calvanese"},{"full_name":"Franconi, Enrico","first_name":"Enrico","last_name":"Franconi"},{"full_name":"Haarslev, Volker","first_name":"Volker","last_name":"Haarslev"},{"last_name":"Lembo","first_name":"Domenico","full_name":"Lembo, Domenico"},{"full_name":"Motik, Boris","first_name":"Boris","last_name":"Motik"},{"id":"104470","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"},{"last_name":"Tessaris","first_name":"Sergio","full_name":"Tessaris, Sergio"}],"title":"Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007","date_updated":"2024-10-10T13:30:15Z","volume":250,"_id":"56558","status":"public","type":"conference_editor","year":"2007","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","date_created":"2024-10-10T13:30:00Z"},{"title":"Computing the least common subsumer w.r.t. a background terminology","author":[{"last_name":"Baader","full_name":"Baader, Franz","first_name":"Franz"},{"full_name":"Sertkaya, Baris","first_name":"Baris","last_name":"Sertkaya"},{"id":"104470","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"doi":"10.1016/J.JAL.2006.03.002","intvolume":"         5","citation":{"bibtex":"@article{Baader_Sertkaya_Turhan_2007, title={Computing the least common subsumer w.r.t. a background terminology}, volume={5}, DOI={<a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">10.1016/J.JAL.2006.03.002</a>}, number={3}, journal={J. Appl. Log.}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, year={2007}, pages={392–420} }","mla":"Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” <i>J. Appl. Log.</i>, vol. 5, no. 3, 2007, pp. 392–420, doi:<a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">10.1016/J.JAL.2006.03.002</a>.","short":"F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 392–420.","apa":"Baader, F., Sertkaya, B., &#38; Turhan, A.-Y. (2007). Computing the least common subsumer w.r.t. a background terminology. <i>J. Appl. Log.</i>, <i>5</i>(3), 392–420. <a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">https://doi.org/10.1016/J.JAL.2006.03.002</a>","ama":"Baader F, Sertkaya B, Turhan A-Y. Computing the least common subsumer w.r.t. a background terminology. <i>J Appl Log</i>. 2007;5(3):392–420. doi:<a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">10.1016/J.JAL.2006.03.002</a>","ieee":"F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the least common subsumer w.r.t. a background terminology,” <i>J. Appl. Log.</i>, vol. 5, no. 3, pp. 392–420, 2007, doi: <a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">10.1016/J.JAL.2006.03.002</a>.","chicago":"Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” <i>J. Appl. Log.</i> 5, no. 3 (2007): 392–420. <a href=\"https://doi.org/10.1016/J.JAL.2006.03.002\">https://doi.org/10.1016/J.JAL.2006.03.002</a>."},"user_id":"15504","publication":"J. Appl. Log.","date_created":"2024-10-10T13:27:56Z","type":"journal_article","year":"2007","language":[{"iso":"eng"}],"status":"public","_id":"56556","page":"392–420","volume":5,"date_updated":"2024-10-10T13:28:13Z","issue":"3"},{"intvolume":"       216","editor":[{"first_name":"Bernardo Cuenca","full_name":"Grau, Bernardo Cuenca","last_name":"Grau"},{"first_name":"Pascal","full_name":"Hitzler, Pascal","last_name":"Hitzler"},{"last_name":"Shankey","full_name":"Shankey, Conor","first_name":"Conor"},{"full_name":"Wallace, Evan","first_name":"Evan","last_name":"Wallace"}],"author":[{"last_name":"Bechhofer","first_name":"Sean","full_name":"Bechhofer, Sean"},{"full_name":"Liebig, Thorsten","first_name":"Thorsten","last_name":"Liebig"},{"last_name":"Luther","full_name":"Luther, Marko","first_name":"Marko"},{"full_name":"Noppens, Olaf","first_name":"Olaf","last_name":"Noppens"},{"last_name":"Patel-Schneider","full_name":"Patel-Schneider, Peter F.","first_name":"Peter F."},{"last_name":"Suntisrivaraporn","full_name":"Suntisrivaraporn, Boontawee","first_name":"Boontawee"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"},{"full_name":"Weithöner, Timo","first_name":"Timo","last_name":"Weithöner"}],"title":"DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners","user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"short":"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.","mla":"Bechhofer, Sean, et al. “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” <i>Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006</i>, edited by Bernardo Cuenca Grau et al., vol. 216, CEUR-WS.org, 2006.","bibtex":"@inproceedings{Bechhofer_Liebig_Luther_Noppens_Patel-Schneider_Suntisrivaraporn_Turhan_Weithöner_2006, series={CEUR Workshop Proceedings}, title={DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners}, volume={216}, booktitle={Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006}, publisher={CEUR-WS.org}, author={Bechhofer, Sean and Liebig, Thorsten and Luther, Marko and Noppens, Olaf and Patel-Schneider, Peter F. and Suntisrivaraporn, Boontawee and Turhan, Anni-Yasmin and Weithöner, Timo}, editor={Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, year={2006}, collection={CEUR Workshop Proceedings} }","chicago":"Bechhofer, Sean, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner. “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” In <i>Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006</i>, edited by Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, Vol. 216. CEUR Workshop Proceedings. CEUR-WS.org, 2006.","ieee":"S. Bechhofer <i>et al.</i>, “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners,” in <i>Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006</i>, 2006, vol. 216.","ama":"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. <i>Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006</i>. Vol 216. CEUR Workshop Proceedings. CEUR-WS.org; 2006.","apa":"Bechhofer, S., Liebig, T., Luther, M., Noppens, O., Patel-Schneider, P. F., Suntisrivaraporn, B., Turhan, A.-Y., &#38; Weithöner, T. (2006). DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In B. C. Grau, P. Hitzler, C. Shankey, &#38; E. Wallace (Eds.), <i>Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006</i> (Vol. 216). CEUR-WS.org."},"status":"public","year":"2006","type":"conference","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","publication":"Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006","date_created":"2024-10-10T13:30:44Z","date_updated":"2024-10-10T13:48:16Z","volume":216,"_id":"56559"},{"series_title":"Lecture Notes in Computer Science","citation":{"short":"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.","mla":"Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” <i>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings</i>, edited by José Júlio Alferes and João Alexandre Leite, vol. 3229, Springer, 2004, pp. 400–412, doi:<a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">10.1007/978-3-540-30227-8_34</a>.","bibtex":"@inproceedings{Baader_Sertkaya_Turhan_2004, series={Lecture Notes in Computer Science}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={3229}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">10.1007/978-3-540-30227-8_34</a>}, booktitle={Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, publisher={Springer}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Alferes, José Júlio and Leite, João Alexandre}, year={2004}, pages={400–412}, collection={Lecture Notes in Computer Science} }","chicago":"Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In <i>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings</i>, edited by José Júlio Alferes and João Alexandre Leite, 3229:400–412. Lecture Notes in Computer Science. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">https://doi.org/10.1007/978-3-540-30227-8_34</a>.","ieee":"F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in <i>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings</i>, 2004, vol. 3229, pp. 400–412, doi: <a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">10.1007/978-3-540-30227-8_34</a>.","ama":"Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Alferes JJ, Leite JA, eds. <i>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings</i>. Vol 3229. Lecture Notes in Computer Science. Springer; 2004:400–412. doi:<a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">10.1007/978-3-540-30227-8_34</a>","apa":"Baader, F., Sertkaya, B., &#38; Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. In J. J. Alferes &#38; J. A. Leite (Eds.), <i>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings</i> (Vol. 3229, pp. 400–412). Springer. <a href=\"https://doi.org/10.1007/978-3-540-30227-8_34\">https://doi.org/10.1007/978-3-540-30227-8_34</a>"},"user_id":"15504","title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","author":[{"full_name":"Baader, Franz","first_name":"Franz","last_name":"Baader"},{"full_name":"Sertkaya, Baris","first_name":"Baris","last_name":"Sertkaya"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"editor":[{"first_name":"José Júlio","full_name":"Alferes, José Júlio","last_name":"Alferes"},{"last_name":"Leite","full_name":"Leite, João Alexandre","first_name":"João Alexandre"}],"doi":"10.1007/978-3-540-30227-8_34","intvolume":"      3229","_id":"56564","page":"400–412","volume":3229,"date_updated":"2024-10-10T13:37:26Z","publication":"Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings","date_created":"2024-10-10T13:37:12Z","publisher":"Springer","year":"2004","type":"conference","language":[{"iso":"eng"}],"status":"public"},{"publication":"Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings","date_created":"2024-10-10T13:35:00Z","publisher":"Springer","type":"conference","year":"2004","language":[{"iso":"eng"}],"status":"public","_id":"56561","page":"321–325","volume":3097,"date_updated":"2024-10-10T13:35:14Z","title":"Sonic - Non-standard Inferences Go OilEd","editor":[{"full_name":"Basin, David A.","first_name":"David A.","last_name":"Basin"},{"full_name":"Rusinowitch, Michaël","first_name":"Michaël","last_name":"Rusinowitch"}],"author":[{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"},{"last_name":"Kissig","full_name":"Kissig, Christian","first_name":"Christian"}],"doi":"10.1007/978-3-540-25984-8_22","intvolume":"      3097","series_title":"Lecture Notes in Computer Science","citation":{"ieee":"A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, 2004, vol. 3097, pp. 321–325, doi: <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>.","chicago":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">https://doi.org/10.1007/978-3-540-25984-8_22</a>.","ama":"Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>","apa":"Turhan, A.-Y., &#38; Kissig, C. (2004). Sonic - Non-standard Inferences Go OilEd. In D. A. Basin &#38; M. Rusinowitch (Eds.), <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i> (Vol. 3097, pp. 321–325). Springer. <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">https://doi.org/10.1007/978-3-540-25984-8_22</a>","short":"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.","bibtex":"@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }","mla":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, edited by David A. Basin and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>."},"user_id":"15504"},{"user_id":"15504","citation":{"mla":"Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.","bibtex":"@inproceedings{Baader_Sertkaya_Turhan_2004, series={CEUR Workshop Proceedings}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }","short":"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.","apa":"Baader, F., Sertkaya, B., &#38; Turhan, A.-Y. (2004). Computing the Least Common Subsumer w.r.t. a Background Terminology. In V. Haarslev &#38; R. Möller (Eds.), <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i> (Vol. 104). CEUR-WS.org.","ama":"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. <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.","chicago":"Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.","ieee":"F. Baader, B. Sertkaya, and A.-Y. Turhan, “Computing the Least Common Subsumer w.r.t. a Background Terminology,” in <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, 2004, vol. 104."},"series_title":"CEUR Workshop Proceedings","author":[{"first_name":"Franz","full_name":"Baader, Franz","last_name":"Baader"},{"first_name":"Baris","full_name":"Sertkaya, Baris","last_name":"Sertkaya"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"editor":[{"first_name":"Volker","full_name":"Haarslev, Volker","last_name":"Haarslev"},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"}],"title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","intvolume":"       104","volume":104,"_id":"56562","date_updated":"2024-10-10T13:36:04Z","publisher":"CEUR-WS.org","date_created":"2024-10-10T13:35:47Z","publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2004"},{"citation":{"mla":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.","bibtex":"@inproceedings{Turhan_Kissig_2004, series={CEUR Workshop Proceedings}, title={Sonic: System Description}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }","short":"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.","apa":"Turhan, A.-Y., &#38; Kissig, C. (2004). Sonic: System Description. In V. Haarslev &#38; R. Möller (Eds.), <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i> (Vol. 104). CEUR-WS.org.","ama":"Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R, eds. <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.","chicago":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” In <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.","ieee":"A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in <i>Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004</i>, 2004, vol. 104."},"series_title":"CEUR Workshop Proceedings","user_id":"15504","title":"Sonic: System Description","editor":[{"last_name":"Haarslev","full_name":"Haarslev, Volker","first_name":"Volker"},{"last_name":"Möller","full_name":"Möller, Ralf","first_name":"Ralf"}],"author":[{"id":"104470","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"},{"last_name":"Kissig","full_name":"Kissig, Christian","first_name":"Christian"}],"intvolume":"       104","_id":"56563","volume":104,"date_updated":"2024-10-10T13:36:47Z","date_created":"2024-10-10T13:36:31Z","publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"type":"conference","year":"2004","status":"public"},{"title":"Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles","author":[{"last_name":"Brandt","first_name":"Sebastian","full_name":"Brandt, Sebastian"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"},{"full_name":"Küsters, Ralf","first_name":"Ralf","last_name":"Küsters"}],"editor":[{"full_name":"Vardi, Moshe Y.","first_name":"Moshe Y.","last_name":"Vardi"},{"last_name":"Voronkov","full_name":"Voronkov, Andrei","first_name":"Andrei"}],"intvolume":"      2850","doi":"10.1007/978-3-540-39813-4_8","series_title":"Lecture Notes in Computer Science","citation":{"bibtex":"@inproceedings{Brandt_Turhan_Küsters_2003, series={Lecture Notes in Computer Science}, title={Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles}, volume={2850}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>}, booktitle={Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, publisher={Springer}, author={Brandt, Sebastian and Turhan, Anni-Yasmin and Küsters, Ralf}, editor={Vardi, Moshe Y. and Voronkov, Andrei}, year={2003}, pages={122–136}, collection={Lecture Notes in Computer Science} }","mla":"Brandt, Sebastian, et al. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, edited by Moshe Y. Vardi and Andrei Voronkov, vol. 2850, Springer, 2003, pp. 122–136, doi:<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>.","short":"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.","ama":"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. <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>. Vol 2850. Lecture Notes in Computer Science. Springer; 2003:122–136. doi:<a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>","apa":"Brandt, S., Turhan, A.-Y., &#38; Küsters, R. (2003). Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. In M. Y. Vardi &#38; A. Voronkov (Eds.), <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i> (Vol. 2850, pp. 122–136). Springer. <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">https://doi.org/10.1007/978-3-540-39813-4_8</a>","ieee":"S. Brandt, A.-Y. Turhan, and R. Küsters, “Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles,” in <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, 2003, vol. 2850, pp. 122–136, doi: <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">10.1007/978-3-540-39813-4_8</a>.","chicago":"Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In <i>Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings</i>, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39813-4_8\">https://doi.org/10.1007/978-3-540-39813-4_8</a>."},"user_id":"15504","publication":"Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings","date_created":"2024-10-10T13:40:02Z","publisher":"Springer","year":"2003","type":"conference","language":[{"iso":"eng"}],"status":"public","page":"122–136","_id":"56567","volume":2850,"date_updated":"2024-10-10T13:40:14Z"},{"title":"Computing Least Common Subsumers for FLE\\(^\\mbox+\\)","editor":[{"full_name":"Calvanese, Diego","first_name":"Diego","last_name":"Calvanese"},{"full_name":"Giacomo, Giuseppe De","first_name":"Giuseppe De","last_name":"Giacomo"},{"last_name":"Franconi","first_name":"Enrico","full_name":"Franconi, Enrico"}],"author":[{"last_name":"Brandt","first_name":"Sebastian","full_name":"Brandt, Sebastian"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"intvolume":"        81","citation":{"chicago":"Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers for FLE\\(^\\mbox+\\).” In <i>Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003</i>, edited by Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, Vol. 81. CEUR Workshop Proceedings. CEUR-WS.org, 2003.","short":"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.","ieee":"S. Brandt and A.-Y. Turhan, “Computing Least Common Subsumers for FLE\\(^\\mbox+\\),” in <i>Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003</i>, 2003, vol. 81.","mla":"Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers for FLE\\(^\\mbox+\\).” <i>Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003</i>, edited by Diego Calvanese et al., vol. 81, CEUR-WS.org, 2003.","apa":"Brandt, S., &#38; Turhan, A.-Y. (2003). Computing Least Common Subsumers for FLE\\(^\\mbox+\\). In D. Calvanese, G. D. Giacomo, &#38; E. Franconi (Eds.), <i>Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003</i> (Vol. 81). CEUR-WS.org.","bibtex":"@inproceedings{Brandt_Turhan_2003, series={CEUR Workshop Proceedings}, title={Computing Least Common Subsumers for FLE\\(^\\mbox+\\)}, volume={81}, booktitle={Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico}, year={2003}, collection={CEUR Workshop Proceedings} }","ama":"Brandt S, Turhan A-Y. Computing Least Common Subsumers for FLE\\(^\\mbox+\\). In: Calvanese D, Giacomo GD, Franconi E, eds. <i>Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003</i>. Vol 81. CEUR Workshop Proceedings. CEUR-WS.org; 2003."},"series_title":"CEUR Workshop Proceedings","user_id":"15504","date_created":"2024-10-10T13:39:17Z","publication":"Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"year":"2003","type":"conference","status":"public","_id":"56566","volume":81,"date_updated":"2024-10-10T13:39:35Z"},{"date_updated":"2024-10-10T13:41:34Z","volume":2479,"_id":"56569","page":"99–113","status":"public","language":[{"iso":"eng"}],"year":"2002","type":"conference","publisher":"Springer","date_created":"2024-10-10T13:41:16Z","publication":"KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings","user_id":"15504","citation":{"ama":"Baader F, Turhan A-Y. On the Problem of Computing Small Representations of Least Common Subsumers. In: Jarke M, Koehler J, Lakemeyer G, eds. <i>KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings</i>. Vol 2479. Lecture Notes in Computer Science. Springer; 2002:99–113. doi:<a href=\"https://doi.org/10.1007/3-540-45751-8_7\">10.1007/3-540-45751-8_7</a>","apa":"Baader, F., &#38; Turhan, A.-Y. (2002). On the Problem of Computing Small Representations of Least Common Subsumers. In M. Jarke, J. Koehler, &#38; G. Lakemeyer (Eds.), <i>KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings</i> (Vol. 2479, pp. 99–113). Springer. <a href=\"https://doi.org/10.1007/3-540-45751-8_7\">https://doi.org/10.1007/3-540-45751-8_7</a>","ieee":"F. Baader and A.-Y. Turhan, “On the Problem of Computing Small Representations of Least Common Subsumers,” in <i>KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings</i>, 2002, vol. 2479, pp. 99–113, doi: <a href=\"https://doi.org/10.1007/3-540-45751-8_7\">10.1007/3-540-45751-8_7</a>.","chicago":"Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small Representations of Least Common Subsumers.” In <i>KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings</i>, edited by Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, 2479:99–113. Lecture Notes in Computer Science. Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-45751-8_7\">https://doi.org/10.1007/3-540-45751-8_7</a>.","bibtex":"@inproceedings{Baader_Turhan_2002, series={Lecture Notes in Computer Science}, title={On the Problem of Computing Small Representations of Least Common Subsumers}, volume={2479}, DOI={<a href=\"https://doi.org/10.1007/3-540-45751-8_7\">10.1007/3-540-45751-8_7</a>}, booktitle={KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings}, publisher={Springer}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Jarke, Matthias and Koehler, Jana and Lakemeyer, Gerhard}, year={2002}, pages={99–113}, collection={Lecture Notes in Computer Science} }","mla":"Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small Representations of Least Common Subsumers.” <i>KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings</i>, edited by Matthias Jarke et al., vol. 2479, Springer, 2002, pp. 99–113, doi:<a href=\"https://doi.org/10.1007/3-540-45751-8_7\">10.1007/3-540-45751-8_7</a>.","short":"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."},"series_title":"Lecture Notes in Computer Science","intvolume":"      2479","doi":"10.1007/3-540-45751-8_7","editor":[{"full_name":"Jarke, Matthias","first_name":"Matthias","last_name":"Jarke"},{"last_name":"Koehler","full_name":"Koehler, Jana","first_name":"Jana"},{"last_name":"Lakemeyer","full_name":"Lakemeyer, Gerhard","first_name":"Gerhard"}],"author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}],"title":"On the Problem of Computing Small Representations of Least Common Subsumers"},{"user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"chicago":"Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximating ALCN-Concept Descriptions.” In <i>Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002</i>, edited by Ian Horrocks and Sergio Tessaris, Vol. 53. CEUR Workshop Proceedings. CEUR-WS.org, 2002.","ieee":"S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximating ALCN-Concept Descriptions,” in <i>Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002</i>, 2002, vol. 53.","apa":"Brandt, S., Küsters, R., &#38; Turhan, A.-Y. (2002). Approximating ALCN-Concept Descriptions. In I. Horrocks &#38; S. Tessaris (Eds.), <i>Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002</i> (Vol. 53). CEUR-WS.org.","ama":"Brandt S, Küsters R, Turhan A-Y. Approximating ALCN-Concept Descriptions. In: Horrocks I, Tessaris S, eds. <i>Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002</i>. Vol 53. CEUR Workshop Proceedings. CEUR-WS.org; 2002.","short":"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.","mla":"Brandt, Sebastian, et al. “Approximating ALCN-Concept Descriptions.” <i>Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002</i>, edited by Ian Horrocks and Sergio Tessaris, vol. 53, CEUR-WS.org, 2002.","bibtex":"@inproceedings{Brandt_Küsters_Turhan_2002, series={CEUR Workshop Proceedings}, title={Approximating ALCN-Concept Descriptions}, volume={53}, booktitle={Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Horrocks, Ian and Tessaris, Sergio}, year={2002}, collection={CEUR Workshop Proceedings} }"},"intvolume":"        53","editor":[{"full_name":"Horrocks, Ian","first_name":"Ian","last_name":"Horrocks"},{"last_name":"Tessaris","full_name":"Tessaris, Sergio","first_name":"Sergio"}],"author":[{"first_name":"Sebastian","full_name":"Brandt, Sebastian","last_name":"Brandt"},{"first_name":"Ralf","full_name":"Küsters, Ralf","last_name":"Küsters"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"title":"Approximating ALCN-Concept Descriptions","date_updated":"2024-10-10T13:40:55Z","volume":53,"_id":"56568","status":"public","year":"2002","type":"conference","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","publication":"Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002","date_created":"2024-10-10T13:40:36Z"},{"user_id":"15504","citation":{"ieee":"S. Brandt, R. Küsters, and A.-Y. Turhan, “Approximation and Difference in Description Logics,” in <i>Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002</i>, 2002, pp. 203–214.","chicago":"Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximation and Difference in Description Logics.” In <i>Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002</i>, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, 203–214. Morgan Kaufmann, 2002.","apa":"Brandt, S., Küsters, R., &#38; Turhan, A.-Y. (2002). Approximation and Difference in Description Logics. In D. Fensel, F. Giunchiglia, D. L. McGuinness, &#38; M.-A. Williams (Eds.), <i>Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002</i> (pp. 203–214). Morgan Kaufmann.","ama":"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. <i>Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002</i>. Morgan Kaufmann; 2002:203–214.","short":"S. Brandt, R. Küsters, A.-Y. Turhan, in: D. Fensel, F. Giunchiglia, D.L. McGuinness, M.-A. Williams (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, pp. 203–214.","bibtex":"@inproceedings{Brandt_Küsters_Turhan_2002, title={Approximation and Difference in Description Logics}, booktitle={Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002}, publisher={Morgan Kaufmann}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, year={2002}, pages={203–214} }","mla":"Brandt, Sebastian, et al. “Approximation and Difference in Description Logics.” <i>Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002</i>, edited by Dieter Fensel et al., Morgan Kaufmann, 2002, pp. 203–214."},"author":[{"full_name":"Brandt, Sebastian","first_name":"Sebastian","last_name":"Brandt"},{"last_name":"Küsters","full_name":"Küsters, Ralf","first_name":"Ralf"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","id":"104470","last_name":"Turhan"}],"editor":[{"last_name":"Fensel","first_name":"Dieter","full_name":"Fensel, Dieter"},{"first_name":"Fausto","full_name":"Giunchiglia, Fausto","last_name":"Giunchiglia"},{"full_name":"McGuinness, Deborah L.","first_name":"Deborah L.","last_name":"McGuinness"},{"full_name":"Williams, Mary-Anne","first_name":"Mary-Anne","last_name":"Williams"}],"title":"Approximation and Difference in Description Logics","_id":"56570","page":"203–214","date_updated":"2024-10-10T13:42:12Z","publisher":"Morgan Kaufmann","date_created":"2024-10-10T13:41:59Z","publication":"Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2002"},{"status":"public","language":[{"iso":"eng"}],"year":"2001","type":"conference","publisher":"Springer","date_created":"2024-10-10T13:42:39Z","publication":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings","date_updated":"2024-10-10T13:42:57Z","volume":2083,"_id":"56571","page":"61–75","intvolume":"      2083","doi":"10.1007/3-540-45744-5_6","editor":[{"first_name":"Rajeev","full_name":"Goré, Rajeev","last_name":"Goré"},{"first_name":"Alexander","full_name":"Leitsch, Alexander","last_name":"Leitsch"},{"last_name":"Nipkow","first_name":"Tobias","full_name":"Nipkow, Tobias"}],"author":[{"last_name":"Haarslev","full_name":"Haarslev, Volker","first_name":"Volker"},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"title":"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics","user_id":"15504","citation":{"ama":"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. <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:<a href=\"https://doi.org/10.1007/3-540-45744-5_6\">10.1007/3-540-45744-5_6</a>","apa":"Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (2001). Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch, &#38; T. Nipkow (Eds.), <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i> (Vol. 2083, pp. 61–75). Springer. <a href=\"https://doi.org/10.1007/3-540-45744-5_6\">https://doi.org/10.1007/3-540-45744-5_6</a>","chicago":"Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” In <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>, edited by Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. <a href=\"https://doi.org/10.1007/3-540-45744-5_6\">https://doi.org/10.1007/3-540-45744-5_6</a>.","ieee":"V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics,” in <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>, 2001, vol. 2083, pp. 61–75, doi: <a href=\"https://doi.org/10.1007/3-540-45744-5_6\">10.1007/3-540-45744-5_6</a>.","mla":"Haarslev, Volker, et al. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>, edited by Rajeev Goré et al., vol. 2083, Springer, 2001, pp. 61–75, doi:<a href=\"https://doi.org/10.1007/3-540-45744-5_6\">10.1007/3-540-45744-5_6</a>.","bibtex":"@inproceedings{Haarslev_Möller_Turhan_2001, series={Lecture Notes in Computer Science}, title={Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, volume={2083}, DOI={<a href=\"https://doi.org/10.1007/3-540-45744-5_6\">10.1007/3-540-45744-5_6</a>}, booktitle={Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings}, publisher={Springer}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, year={2001}, pages={61–75}, collection={Lecture Notes in Computer Science} }","short":"V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75."},"series_title":"Lecture Notes in Computer Science"},{"year":"2001","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","date_created":"2024-10-10T13:43:21Z","publisher":"CEUR-WS.org","date_updated":"2024-10-10T13:43:32Z","_id":"56572","volume":49,"intvolume":"        49","title":"TBoxes do not Yield a Compact Representation of Least Common Subsumers","editor":[{"full_name":"Goble, Carole A.","first_name":"Carole A.","last_name":"Goble"},{"full_name":"McGuinness, Deborah L.","first_name":"Deborah L.","last_name":"McGuinness"},{"first_name":"Ralf","full_name":"Möller, Ralf","last_name":"Möller"},{"last_name":"Patel-Schneider","full_name":"Patel-Schneider, Peter F.","first_name":"Peter F."}],"author":[{"last_name":"Baader","full_name":"Baader, Franz","first_name":"Franz"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"series_title":"CEUR Workshop Proceedings","citation":{"ieee":"F. Baader and A.-Y. Turhan, “TBoxes do not Yield a Compact Representation of Least Common Subsumers,” in <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, 2001, vol. 49.","short":"F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.","chicago":"Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation of Least Common Subsumers.” In <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.","apa":"Baader, F., &#38; Turhan, A.-Y. (2001). TBoxes do not Yield a Compact Representation of Least Common Subsumers. In C. A. Goble, D. L. McGuinness, R. Möller, &#38; P. F. Patel-Schneider (Eds.), <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i> (Vol. 49). CEUR-WS.org.","ama":"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. <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.","bibtex":"@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings}, title={TBoxes do not Yield a Compact Representation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }","mla":"Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation of Least Common Subsumers.” <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by Carole A. Goble et al., vol. 49, CEUR-WS.org, 2001."},"user_id":"15504"},{"status":"public","type":"conference","year":"2001","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","date_created":"2024-10-10T13:43:55Z","date_updated":"2024-10-10T13:44:10Z","volume":49,"_id":"56573","intvolume":"        49","editor":[{"last_name":"Goble","full_name":"Goble, Carole A.","first_name":"Carole A."},{"last_name":"McGuinness","first_name":"Deborah L.","full_name":"McGuinness, Deborah L."},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"last_name":"Patel-Schneider","first_name":"Peter F.","full_name":"Patel-Schneider, Peter F."}],"author":[{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","id":"104470"},{"first_name":"Ralf","full_name":"Molitor, Ralf","last_name":"Molitor"}],"title":"Using Lazy Unfolding for the Computation of Least Common Subsumers","user_id":"15504","series_title":"CEUR Workshop Proceedings","citation":{"short":"A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.","mla":"Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation of Least Common Subsumers.” <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by Carole A. Goble et al., vol. 49, CEUR-WS.org, 2001.","bibtex":"@inproceedings{Turhan_Molitor_2001, series={CEUR Workshop Proceedings}, title={Using Lazy Unfolding for the Computation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Molitor, Ralf}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }","chicago":"Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation of Least Common Subsumers.” In <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.","ieee":"A.-Y. Turhan and R. Molitor, “Using Lazy Unfolding for the Computation of Least Common Subsumers,” in <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>, 2001, vol. 49.","ama":"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. <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.","apa":"Turhan, A.-Y., &#38; Molitor, R. (2001). Using Lazy Unfolding for the Computation of Least Common Subsumers. In C. A. Goble, D. L. McGuinness, R. Möller, &#38; P. F. Patel-Schneider (Eds.), <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i> (Vol. 49). CEUR-WS.org."}}]