[{"type":"conference","date_created":"2024-10-10T13:28:45Z","publication":"Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007","citation":{"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.","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.","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.","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.","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.","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."},"user_id":"15504","volume":250,"editor":[{"full_name":"Calvanese, Diego","last_name":"Calvanese","first_name":"Diego"},{"full_name":"Franconi, Enrico","last_name":"Franconi","first_name":"Enrico"},{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"last_name":"Lembo","first_name":"Domenico","full_name":"Lembo, Domenico"},{"full_name":"Motik, Boris","first_name":"Boris","last_name":"Motik"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"},{"full_name":"Tessaris, Sergio","last_name":"Tessaris","first_name":"Sergio"}],"language":[{"iso":"eng"}],"_id":"56557","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","date_updated":"2024-10-10T13:28:58Z","intvolume":"       250","year":"2007","title":"Speeding up Approximation with Nicer Concepts","status":"public","author":[{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"first_name":"Yusri","last_name":"Bong","full_name":"Bong, Yusri"}]},{"type":"conference_editor","date_created":"2024-10-10T13:30:00Z","citation":{"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.","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} }","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.","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.","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.","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.","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."},"user_id":"15504","editor":[{"full_name":"Calvanese, Diego","first_name":"Diego","last_name":"Calvanese"},{"first_name":"Enrico","last_name":"Franconi","full_name":"Franconi, Enrico"},{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"full_name":"Lembo, Domenico","last_name":"Lembo","first_name":"Domenico"},{"full_name":"Motik, Boris","first_name":"Boris","last_name":"Motik"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"full_name":"Tessaris, Sergio","last_name":"Tessaris","first_name":"Sergio"}],"volume":250,"series_title":"CEUR Workshop Proceedings","_id":"56558","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"date_updated":"2024-10-10T13:30:15Z","intvolume":"       250","title":"Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007","status":"public","year":"2007"},{"type":"journal_article","date_created":"2024-10-10T13:27:56Z","citation":{"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>.","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>","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>.","short":"F. Baader, B. Sertkaya, A.-Y. Turhan, J. Appl. Log. 5 (2007) 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>.","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} }","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>"},"issue":"3","publication":"J. Appl. Log.","volume":5,"doi":"10.1016/J.JAL.2006.03.002","user_id":"15504","language":[{"iso":"eng"}],"_id":"56556","page":"392–420","intvolume":"         5","date_updated":"2024-10-10T13:28:13Z","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"last_name":"Sertkaya","first_name":"Baris","full_name":"Sertkaya, Baris"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"title":"Computing the least common subsumer w.r.t. a background terminology","status":"public","year":"2007"},{"intvolume":"       216","date_updated":"2024-10-10T13:48:16Z","author":[{"full_name":"Bechhofer, Sean","last_name":"Bechhofer","first_name":"Sean"},{"last_name":"Liebig","first_name":"Thorsten","full_name":"Liebig, Thorsten"},{"full_name":"Luther, Marko","last_name":"Luther","first_name":"Marko"},{"first_name":"Olaf","last_name":"Noppens","full_name":"Noppens, Olaf"},{"full_name":"Patel-Schneider, Peter F.","last_name":"Patel-Schneider","first_name":"Peter F."},{"full_name":"Suntisrivaraporn, Boontawee","first_name":"Boontawee","last_name":"Suntisrivaraporn"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Weithöner, Timo","last_name":"Weithöner","first_name":"Timo"}],"status":"public","year":"2006","title":"DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners","editor":[{"full_name":"Grau, Bernardo Cuenca","first_name":"Bernardo Cuenca","last_name":"Grau"},{"first_name":"Pascal","last_name":"Hitzler","full_name":"Hitzler, Pascal"},{"last_name":"Shankey","first_name":"Conor","full_name":"Shankey, Conor"},{"full_name":"Wallace, Evan","last_name":"Wallace","first_name":"Evan"}],"volume":216,"user_id":"15504","_id":"56559","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"citation":{"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.","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.","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} }","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.","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.","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."},"publication":"Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006","type":"conference","date_created":"2024-10-10T13:30:44Z"},{"citation":{"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>","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>.","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.","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>.","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>.","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>","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} }"},"publication":"Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings","type":"conference","date_created":"2024-10-10T13:37:12Z","intvolume":"      3229","date_updated":"2024-10-10T13:37:26Z","author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"full_name":"Sertkaya, Baris","first_name":"Baris","last_name":"Sertkaya"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","year":"2004","status":"public","volume":3229,"editor":[{"last_name":"Alferes","first_name":"José Júlio","full_name":"Alferes, José Júlio"},{"first_name":"João Alexandre","last_name":"Leite","full_name":"Leite, João Alexandre"}],"user_id":"15504","doi":"10.1007/978-3-540-30227-8_34","publisher":"Springer","_id":"56564","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"page":"400–412"},{"publication":"Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings","citation":{"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.","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>.","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>","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>.","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>","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>."},"type":"conference","date_created":"2024-10-10T13:35:00Z","date_updated":"2024-10-10T13:35:14Z","intvolume":"      3097","title":"Sonic - Non-standard Inferences Go OilEd","status":"public","year":"2004","author":[{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Kissig, Christian","first_name":"Christian","last_name":"Kissig"}],"user_id":"15504","doi":"10.1007/978-3-540-25984-8_22","volume":3097,"editor":[{"full_name":"Basin, David A.","last_name":"Basin","first_name":"David A."},{"full_name":"Rusinowitch, Michaël","first_name":"Michaël","last_name":"Rusinowitch"}],"page":"321–325","series_title":"Lecture Notes in Computer Science","_id":"56561","publisher":"Springer","language":[{"iso":"eng"}]},{"publisher":"CEUR-WS.org","_id":"56562","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","volume":104,"editor":[{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"}],"year":"2004","status":"public","title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"full_name":"Sertkaya, Baris","last_name":"Sertkaya","first_name":"Baris"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T13:36:04Z","intvolume":"       104","date_created":"2024-10-10T13:35:47Z","type":"conference","publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","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.","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.","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} }","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.","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.","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.","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."}},{"author":[{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Kissig, Christian","first_name":"Christian","last_name":"Kissig"}],"year":"2004","status":"public","title":"Sonic: System Description","intvolume":"       104","date_updated":"2024-10-10T13:36:47Z","_id":"56563","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"volume":104,"editor":[{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"}],"user_id":"15504","citation":{"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.","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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","date_created":"2024-10-10T13:36:31Z","type":"conference"},{"date_updated":"2024-10-10T13:40:14Z","intvolume":"      2850","status":"public","title":"Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles","year":"2003","author":[{"full_name":"Brandt, Sebastian","first_name":"Sebastian","last_name":"Brandt"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"full_name":"Küsters, Ralf","first_name":"Ralf","last_name":"Küsters"}],"doi":"10.1007/978-3-540-39813-4_8","user_id":"15504","editor":[{"full_name":"Vardi, Moshe Y.","last_name":"Vardi","first_name":"Moshe Y."},{"first_name":"Andrei","last_name":"Voronkov","full_name":"Voronkov, Andrei"}],"volume":2850,"page":"122–136","publisher":"Springer","_id":"56567","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","publication":"Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings","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} }","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>","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.","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>.","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>.","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>"},"type":"conference","date_created":"2024-10-10T13:40:02Z"},{"type":"conference","date_created":"2024-10-10T13:39:17Z","citation":{"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.","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.","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.","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."},"publication":"Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003","editor":[{"full_name":"Calvanese, Diego","first_name":"Diego","last_name":"Calvanese"},{"last_name":"Giacomo","first_name":"Giuseppe De","full_name":"Giacomo, Giuseppe De"},{"full_name":"Franconi, Enrico","first_name":"Enrico","last_name":"Franconi"}],"volume":81,"user_id":"15504","_id":"56566","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"intvolume":"        81","date_updated":"2024-10-10T13:39:35Z","author":[{"full_name":"Brandt, Sebastian","last_name":"Brandt","first_name":"Sebastian"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"status":"public","year":"2003","title":"Computing Least Common Subsumers for FLE\\(^\\mbox+\\)"},{"status":"public","year":"2002","title":"On the Problem of Computing Small Representations of Least Common Subsumers","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T13:41:34Z","intvolume":"      2479","page":"99–113","language":[{"iso":"eng"}],"_id":"56569","publisher":"Springer","series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-45751-8_7","user_id":"15504","editor":[{"first_name":"Matthias","last_name":"Jarke","full_name":"Jarke, Matthias"},{"last_name":"Koehler","first_name":"Jana","full_name":"Koehler, Jana"},{"full_name":"Lakemeyer, Gerhard","last_name":"Lakemeyer","first_name":"Gerhard"}],"volume":2479,"publication":"KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings","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>","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.","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>.","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>."},"date_created":"2024-10-10T13:41:16Z","type":"conference"},{"date_updated":"2024-10-10T13:40:55Z","intvolume":"        53","year":"2002","title":"Approximating ALCN-Concept Descriptions","status":"public","author":[{"first_name":"Sebastian","last_name":"Brandt","full_name":"Brandt, Sebastian"},{"full_name":"Küsters, Ralf","last_name":"Küsters","first_name":"Ralf"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"user_id":"15504","editor":[{"last_name":"Horrocks","first_name":"Ian","full_name":"Horrocks, Ian"},{"last_name":"Tessaris","first_name":"Sergio","full_name":"Tessaris, Sergio"}],"volume":53,"publisher":"CEUR-WS.org","_id":"56568","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","publication":"Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002","citation":{"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} }","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.","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.","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.","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."},"type":"conference","date_created":"2024-10-10T13:40:36Z"},{"type":"conference","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","citation":{"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.","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} }","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.","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.","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.","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.","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."},"user_id":"15504","editor":[{"full_name":"Fensel, Dieter","last_name":"Fensel","first_name":"Dieter"},{"first_name":"Fausto","last_name":"Giunchiglia","full_name":"Giunchiglia, Fausto"},{"full_name":"McGuinness, Deborah L.","first_name":"Deborah L.","last_name":"McGuinness"},{"full_name":"Williams, Mary-Anne","first_name":"Mary-Anne","last_name":"Williams"}],"page":"203–214","language":[{"iso":"eng"}],"_id":"56570","publisher":"Morgan Kaufmann","date_updated":"2024-10-10T13:42:12Z","status":"public","year":"2002","title":"Approximation and Difference in Description Logics","author":[{"last_name":"Brandt","first_name":"Sebastian","full_name":"Brandt, Sebastian"},{"full_name":"Küsters, Ralf","first_name":"Ralf","last_name":"Küsters"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}]},{"date_created":"2024-10-10T13:42:39Z","type":"conference","citation":{"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>","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>.","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>.","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.","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>.","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>","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} }"},"publication":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings","publisher":"Springer","_id":"56571","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","page":"61–75","editor":[{"full_name":"Goré, Rajeev","last_name":"Goré","first_name":"Rajeev"},{"last_name":"Leitsch","first_name":"Alexander","full_name":"Leitsch, Alexander"},{"full_name":"Nipkow, Tobias","first_name":"Tobias","last_name":"Nipkow"}],"volume":2083,"doi":"10.1007/3-540-45744-5_6","user_id":"15504","author":[{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"title":"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics","year":"2001","status":"public","intvolume":"      2083","date_updated":"2024-10-10T13:42:57Z"},{"date_created":"2024-10-10T13:43:21Z","type":"conference","citation":{"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.","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.","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.","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.","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} }","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.","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."},"publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","series_title":"CEUR Workshop Proceedings","_id":"56572","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","volume":49,"editor":[{"full_name":"Goble, Carole A.","first_name":"Carole A.","last_name":"Goble"},{"first_name":"Deborah L.","last_name":"McGuinness","full_name":"McGuinness, Deborah L."},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"full_name":"Patel-Schneider, Peter F.","last_name":"Patel-Schneider","first_name":"Peter F."}],"user_id":"15504","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"year":"2001","status":"public","title":"TBoxes do not Yield a Compact Representation of Least Common Subsumers","intvolume":"        49","date_updated":"2024-10-10T13:43:32Z"},{"date_created":"2024-10-10T13:43:55Z","type":"conference","publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","citation":{"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.","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.","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.","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.","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} }","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."},"series_title":"CEUR Workshop Proceedings","_id":"56573","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","user_id":"15504","editor":[{"first_name":"Carole A.","last_name":"Goble","full_name":"Goble, Carole A."},{"first_name":"Deborah L.","last_name":"McGuinness","full_name":"McGuinness, Deborah L."},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"},{"full_name":"Patel-Schneider, Peter F.","last_name":"Patel-Schneider","first_name":"Peter F."}],"volume":49,"title":"Using Lazy Unfolding for the Computation of Least Common Subsumers","status":"public","year":"2001","author":[{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"},{"full_name":"Molitor, Ralf","first_name":"Ralf","last_name":"Molitor"}],"date_updated":"2024-10-10T13:44:10Z","intvolume":"        49"},{"publisher":"CEUR-WS.org","_id":"56574","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"page":"247–256","volume":33,"editor":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"first_name":"Ulrike","last_name":"Sattler","full_name":"Sattler, Ulrike"}],"user_id":"15504","author":[{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"},{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"}],"status":"public","title":"Adapting Optimization Techniques to Description Logics with Concrete Domains","year":"2000","intvolume":"        33","date_updated":"2024-10-10T13:44:45Z","date_created":"2024-10-10T13:44:32Z","type":"conference","citation":{"ieee":"A.-Y. Turhan and V. Haarslev, “Adapting Optimization Techniques to Description Logics with Concrete Domains,” in <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>, 2000, vol. 33, pp. 247–256.","apa":"Turhan, A.-Y., &#38; Haarslev, V. (2000). Adapting Optimization Techniques to Description Logics with Concrete Domains. In F. Baader &#38; U. Sattler (Eds.), <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i> (Vol. 33, pp. 247–256). CEUR-WS.org.","mla":"Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques to Description Logics with Concrete Domains.” <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>, edited by Franz Baader and Ulrike Sattler, vol. 33, CEUR-WS.org, 2000, pp. 247–256.","bibtex":"@inproceedings{Turhan_Haarslev_2000, series={CEUR Workshop Proceedings}, title={Adapting Optimization Techniques to Description Logics with Concrete Domains}, volume={33}, booktitle={Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Haarslev, Volker}, editor={Baader, Franz and Sattler, Ulrike}, year={2000}, pages={247–256}, collection={CEUR Workshop Proceedings} }","short":"A.-Y. Turhan, V. Haarslev, in: F. Baader, U. Sattler (Eds.), Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, CEUR-WS.org, 2000, pp. 247–256.","ama":"Turhan A-Y, Haarslev V. Adapting Optimization Techniques to Description Logics with Concrete Domains. In: Baader F, Sattler U, eds. <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>. Vol 33. CEUR Workshop Proceedings. CEUR-WS.org; 2000:247–256.","chicago":"Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques to Description Logics with Concrete Domains.” In <i>Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000</i>, edited by Franz Baader and Ulrike Sattler, 33:247–256. CEUR Workshop Proceedings. CEUR-WS.org, 2000."},"publication":"Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000"},{"_id":"56575","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"volume":22,"editor":[{"full_name":"Lambrix, Patrick","first_name":"Patrick","last_name":"Lambrix"},{"first_name":"Alexander","last_name":"Borgida","full_name":"Borgida, Alexander"},{"last_name":"Lenzerini","first_name":"Maurizio","full_name":"Lenzerini, Maurizio"},{"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."}],"user_id":"15504","author":[{"last_name":"Haarslev","first_name":"Volker","full_name":"Haarslev, Volker"},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Wessel, Michael","first_name":"Michael","last_name":"Wessel"}],"year":"1999","title":"On Terminological Default Reasoning about Spatial Information: Extended Abstract","status":"public","intvolume":"        22","date_updated":"2024-10-10T13:45:22Z","date_created":"2024-10-10T13:45:08Z","type":"conference","citation":{"short":"V. Haarslev, R. Möller, A.-Y. Turhan, M. Wessel, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P.F. Patel-Schneider (Eds.), Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, CEUR-WS.org, 1999.","chicago":"Haarslev, Volker, Ralf Möller, Anni-Yasmin Turhan, and Michael Wessel. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” In <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i>, edited by Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, and Peter F. Patel-Schneider, Vol. 22. CEUR Workshop Proceedings. CEUR-WS.org, 1999.","apa":"Haarslev, V., Möller, R., Turhan, A.-Y., &#38; Wessel, M. (1999). On Terminological Default Reasoning about Spatial Information: Extended Abstract. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, &#38; P. F. Patel-Schneider (Eds.), <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i> (Vol. 22). CEUR-WS.org.","ieee":"V. Haarslev, R. Möller, A.-Y. Turhan, and M. Wessel, “On Terminological Default Reasoning about Spatial Information: Extended Abstract,” in <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i>, 1999, vol. 22.","ama":"Haarslev V, Möller R, Turhan A-Y, Wessel M. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In: Lambrix P, Borgida A, Lenzerini M, Möller R, Patel-Schneider PF, eds. <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i>. Vol 22. CEUR Workshop Proceedings. CEUR-WS.org; 1999.","bibtex":"@inproceedings{Haarslev_Möller_Turhan_Wessel_1999, series={CEUR Workshop Proceedings}, title={On Terminological Default Reasoning about Spatial Information: Extended Abstract}, volume={22}, booktitle={Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin and Wessel, Michael}, editor={Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}, year={1999}, collection={CEUR Workshop Proceedings} }","mla":"Haarslev, Volker, et al. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” <i>Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999</i>, edited by Patrick Lambrix et al., vol. 22, CEUR-WS.org, 1999."},"publication":"Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999"},{"date_created":"2024-10-10T13:46:22Z","type":"conference","citation":{"ama":"Haarslev V, Möller R, Turhan A-Y. Implementing an ALCRP(D) ABox Reasoner - Progress Report. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.","bibtex":"@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }","mla":"Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.","short":"V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.","chicago":"Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” In <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.","apa":"Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (1998). Implementing an ALCRP(D) ABox Reasoner - Progress Report. In E. Franconi, G. D. Giacomo, R. M. MacGregor, W. Nutt, &#38; C. A. Welty (Eds.), <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i> (Vol. 11). CEUR-WS.org.","ieee":"V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner - Progress Report,” in <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, 1998, vol. 11."},"publication":"Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998","_id":"56577","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","volume":11,"editor":[{"first_name":"Enrico","last_name":"Franconi","full_name":"Franconi, Enrico"},{"last_name":"Giacomo","first_name":"Giuseppe De","full_name":"Giacomo, Giuseppe De"},{"full_name":"MacGregor, Robert M.","first_name":"Robert M.","last_name":"MacGregor"},{"full_name":"Nutt, Werner","last_name":"Nutt","first_name":"Werner"},{"full_name":"Welty, Christopher A.","last_name":"Welty","first_name":"Christopher A."}],"user_id":"15504","author":[{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"year":"1998","status":"public","title":"Implementing an ALCRP(D) ABox Reasoner - Progress Report","intvolume":"        11","date_updated":"2024-10-10T13:46:36Z"},{"volume":11,"editor":[{"full_name":"Franconi, Enrico","last_name":"Franconi","first_name":"Enrico"},{"full_name":"Giacomo, Giuseppe De","first_name":"Giuseppe De","last_name":"Giacomo"},{"full_name":"MacGregor, Robert M.","last_name":"MacGregor","first_name":"Robert M."},{"full_name":"Nutt, Werner","last_name":"Nutt","first_name":"Werner"},{"last_name":"Welty","first_name":"Christopher A.","full_name":"Welty, Christopher A."}],"user_id":"15504","language":[{"iso":"eng"}],"_id":"56576","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","intvolume":"        11","date_updated":"2024-10-10T13:45:57Z","author":[{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"status":"public","title":"HAM-ALC","year":"1998","type":"conference","date_created":"2024-10-10T13:45:46Z","citation":{"apa":"Haarslev, V., Möller, R., &#38; Turhan, A.-Y. (1998). HAM-ALC. In E. Franconi, G. D. Giacomo, R. M. MacGregor, W. Nutt, &#38; C. A. Welty (Eds.), <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i> (Vol. 11). CEUR-WS.org.","ieee":"V. Haarslev, R. Möller, and A.-Y. Turhan, “HAM-ALC,” in <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, 1998, vol. 11.","chicago":"Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “HAM-ALC.” In <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.","short":"V. Haarslev, R. Möller, A.-Y. Turhan, in: E. Franconi, G.D. Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty (Eds.), Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, CEUR-WS.org, 1998.","mla":"Haarslev, Volker, et al. “HAM-ALC.” <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.","ama":"Haarslev V, Möller R, Turhan A-Y. HAM-ALC. In: Franconi E, Giacomo GD, MacGregor RM, Nutt W, Welty CA, eds. <i>Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998</i>. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.","bibtex":"@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }"},"publication":"Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998"}]