[{"status":"public","title":"Computing the least common subsumer w.r.t. a background terminology","year":"2007","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"first_name":"Baris","last_name":"Sertkaya","full_name":"Sertkaya, Baris"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"date_updated":"2024-10-10T13:28:13Z","intvolume":"         5","page":"392–420","_id":"56556","language":[{"iso":"eng"}],"user_id":"15504","doi":"10.1016/J.JAL.2006.03.002","volume":5,"issue":"3","publication":"J. Appl. Log.","citation":{"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>","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."},"date_created":"2024-10-10T13:27:56Z","type":"journal_article"},{"_id":"56559","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"user_id":"15504","volume":216,"editor":[{"full_name":"Grau, Bernardo Cuenca","first_name":"Bernardo Cuenca","last_name":"Grau"},{"last_name":"Hitzler","first_name":"Pascal","full_name":"Hitzler, Pascal"},{"full_name":"Shankey, Conor","first_name":"Conor","last_name":"Shankey"},{"full_name":"Wallace, Evan","last_name":"Wallace","first_name":"Evan"}],"status":"public","year":"2006","title":"DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners","author":[{"last_name":"Bechhofer","first_name":"Sean","full_name":"Bechhofer, 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"},{"last_name":"Patel-Schneider","first_name":"Peter F.","full_name":"Patel-Schneider, Peter F."},{"first_name":"Boontawee","last_name":"Suntisrivaraporn","full_name":"Suntisrivaraporn, Boontawee"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"full_name":"Weithöner, Timo","last_name":"Weithöner","first_name":"Timo"}],"date_updated":"2024-10-10T13:48:16Z","intvolume":"       216","date_created":"2024-10-10T13:30:44Z","type":"conference","publication":"Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006","citation":{"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.","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.","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.","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.","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.","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} }"}},{"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>.","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>.","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>.","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","date_created":"2024-10-10T13:37:12Z","type":"conference","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"last_name":"Sertkaya","first_name":"Baris","full_name":"Sertkaya, Baris"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"status":"public","year":"2004","title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","intvolume":"      3229","date_updated":"2024-10-10T13:37:26Z","series_title":"Lecture Notes in Computer Science","_id":"56564","language":[{"iso":"eng"}],"publisher":"Springer","page":"400–412","volume":3229,"editor":[{"first_name":"José Júlio","last_name":"Alferes","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"},{"date_created":"2024-10-10T13:35:00Z","type":"conference","publication":"Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings","citation":{"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>.","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>.","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.","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>."},"page":"321–325","_id":"56561","series_title":"Lecture Notes in Computer Science","publisher":"Springer","language":[{"iso":"eng"}],"user_id":"15504","doi":"10.1007/978-3-540-25984-8_22","volume":3097,"editor":[{"first_name":"David A.","last_name":"Basin","full_name":"Basin, David A."},{"full_name":"Rusinowitch, Michaël","last_name":"Rusinowitch","first_name":"Michaël"}],"year":"2004","title":"Sonic - Non-standard Inferences Go OilEd","status":"public","author":[{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Kissig, Christian","last_name":"Kissig","first_name":"Christian"}],"date_updated":"2024-10-10T13:35:14Z","intvolume":"      3097"},{"citation":{"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} }","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.","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.","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.","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."},"publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","type":"conference","date_created":"2024-10-10T13:35:47Z","intvolume":"       104","date_updated":"2024-10-10T13:36:04Z","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"first_name":"Baris","last_name":"Sertkaya","full_name":"Sertkaya, Baris"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"year":"2004","status":"public","title":"Computing the Least Common Subsumer w.r.t. a Background Terminology","volume":104,"editor":[{"last_name":"Haarslev","first_name":"Volker","full_name":"Haarslev, Volker"},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"}],"user_id":"15504","_id":"56562","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}]},{"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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004","type":"conference","date_created":"2024-10-10T13:36:31Z","intvolume":"       104","date_updated":"2024-10-10T13:36:47Z","author":[{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"last_name":"Kissig","first_name":"Christian","full_name":"Kissig, Christian"}],"title":"Sonic: System Description","year":"2004","status":"public","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","_id":"56563","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}]},{"citation":{"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>.","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>","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} }","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>.","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>."},"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","type":"conference","author":[{"last_name":"Brandt","first_name":"Sebastian","full_name":"Brandt, Sebastian"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Küsters, Ralf","first_name":"Ralf","last_name":"Küsters"}],"status":"public","title":"Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles","year":"2003","intvolume":"      2850","date_updated":"2024-10-10T13:40:14Z","series_title":"Lecture Notes in Computer Science","_id":"56567","publisher":"Springer","language":[{"iso":"eng"}],"page":"122–136","editor":[{"first_name":"Moshe Y.","last_name":"Vardi","full_name":"Vardi, Moshe Y."},{"full_name":"Voronkov, Andrei","first_name":"Andrei","last_name":"Voronkov"}],"volume":2850,"doi":"10.1007/978-3-540-39813-4_8","user_id":"15504"},{"intvolume":"        81","date_updated":"2024-10-10T13:39:35Z","author":[{"full_name":"Brandt, Sebastian","last_name":"Brandt","first_name":"Sebastian"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"status":"public","year":"2003","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"},{"full_name":"Franconi, Enrico","first_name":"Enrico","last_name":"Franconi"}],"volume":81,"user_id":"15504","_id":"56566","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","citation":{"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.","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.","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.","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.","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.","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} }","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."},"publication":"Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003","type":"conference","date_created":"2024-10-10T13:39:17Z"},{"page":"99–113","publisher":"Springer","_id":"56569","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","user_id":"15504","doi":"10.1007/3-540-45751-8_7","volume":2479,"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","first_name":"Gerhard","last_name":"Lakemeyer"}],"title":"On the Problem of Computing Small Representations of Least Common Subsumers","status":"public","year":"2002","author":[{"full_name":"Baader, Franz","first_name":"Franz","last_name":"Baader"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T13:41:34Z","intvolume":"      2479","date_created":"2024-10-10T13:41:16Z","type":"conference","publication":"KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings","citation":{"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>.","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>.","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>","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} }","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>","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>."}},{"date_created":"2024-10-10T13:40:36Z","type":"conference","citation":{"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.","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.","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.","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.","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.","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} }","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."},"publication":"Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002","_id":"56568","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","editor":[{"full_name":"Horrocks, Ian","last_name":"Horrocks","first_name":"Ian"},{"full_name":"Tessaris, Sergio","last_name":"Tessaris","first_name":"Sergio"}],"volume":53,"user_id":"15504","author":[{"full_name":"Brandt, Sebastian","last_name":"Brandt","first_name":"Sebastian"},{"full_name":"Küsters, Ralf","first_name":"Ralf","last_name":"Küsters"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"title":"Approximating ALCN-Concept Descriptions","year":"2002","status":"public","intvolume":"        53","date_updated":"2024-10-10T13:40:55Z"},{"editor":[{"full_name":"Fensel, Dieter","first_name":"Dieter","last_name":"Fensel"},{"full_name":"Giunchiglia, Fausto","last_name":"Giunchiglia","first_name":"Fausto"},{"full_name":"McGuinness, Deborah L.","last_name":"McGuinness","first_name":"Deborah L."},{"full_name":"Williams, Mary-Anne","last_name":"Williams","first_name":"Mary-Anne"}],"user_id":"15504","publisher":"Morgan Kaufmann","_id":"56570","language":[{"iso":"eng"}],"page":"203–214","date_updated":"2024-10-10T13:42:12Z","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"}],"status":"public","year":"2002","title":"Approximation and Difference in Description Logics","type":"conference","date_created":"2024-10-10T13:41:59Z","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.","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.","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."},"publication":"Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002"},{"publication":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings","citation":{"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>.","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>","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.","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>.","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} }","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>"},"date_created":"2024-10-10T13:42:39Z","type":"conference","title":"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics","year":"2001","status":"public","author":[{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"date_updated":"2024-10-10T13:42:57Z","intvolume":"      2083","page":"61–75","language":[{"iso":"eng"}],"_id":"56571","series_title":"Lecture Notes in Computer Science","publisher":"Springer","user_id":"15504","doi":"10.1007/3-540-45744-5_6","volume":2083,"editor":[{"full_name":"Goré, Rajeev","first_name":"Rajeev","last_name":"Goré"},{"last_name":"Leitsch","first_name":"Alexander","full_name":"Leitsch, Alexander"},{"full_name":"Nipkow, Tobias","first_name":"Tobias","last_name":"Nipkow"}]},{"citation":{"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.","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.","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.","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."},"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","type":"conference","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}],"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","publisher":"CEUR-WS.org","_id":"56572","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","volume":49,"editor":[{"full_name":"Goble, Carole A.","last_name":"Goble","first_name":"Carole A."},{"full_name":"McGuinness, Deborah L.","last_name":"McGuinness","first_name":"Deborah L."},{"full_name":"Möller, Ralf","last_name":"Möller","first_name":"Ralf"},{"full_name":"Patel-Schneider, Peter F.","first_name":"Peter F.","last_name":"Patel-Schneider"}],"user_id":"15504"},{"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.","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.","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.","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} }","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.","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."},"date_created":"2024-10-10T13:43:55Z","type":"conference","status":"public","title":"Using Lazy Unfolding for the Computation of Least Common Subsumers","year":"2001","author":[{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"},{"first_name":"Ralf","last_name":"Molitor","full_name":"Molitor, Ralf"}],"date_updated":"2024-10-10T13:44:10Z","intvolume":"        49","publisher":"CEUR-WS.org","_id":"56573","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","volume":49,"editor":[{"last_name":"Goble","first_name":"Carole A.","full_name":"Goble, Carole A."},{"full_name":"McGuinness, Deborah L.","first_name":"Deborah L.","last_name":"McGuinness"},{"full_name":"Möller, Ralf","last_name":"Möller","first_name":"Ralf"},{"full_name":"Patel-Schneider, Peter F.","first_name":"Peter F.","last_name":"Patel-Schneider"}]},{"date_created":"2024-10-10T13:44:32Z","type":"conference","citation":{"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.","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.","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} }","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.","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.","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."},"publication":"Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000","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"},{"full_name":"Sattler, Ulrike","last_name":"Sattler","first_name":"Ulrike"}],"user_id":"15504","author":[{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"}],"title":"Adapting Optimization Techniques to Description Logics with Concrete Domains","status":"public","year":"2000","intvolume":"        33","date_updated":"2024-10-10T13:44:45Z"},{"citation":{"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} }","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.","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.","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.","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.","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.","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."},"publication":"Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999","type":"conference","date_created":"2024-10-10T13:45:08Z","intvolume":"        22","date_updated":"2024-10-10T13:45:22Z","author":[{"full_name":"Haarslev, Volker","first_name":"Volker","last_name":"Haarslev"},{"last_name":"Möller","first_name":"Ralf","full_name":"Möller, Ralf"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Wessel, Michael","last_name":"Wessel","first_name":"Michael"}],"title":"On Terminological Default Reasoning about Spatial Information: Extended Abstract","status":"public","year":"1999","editor":[{"last_name":"Lambrix","first_name":"Patrick","full_name":"Lambrix, Patrick"},{"last_name":"Borgida","first_name":"Alexander","full_name":"Borgida, Alexander"},{"last_name":"Lenzerini","first_name":"Maurizio","full_name":"Lenzerini, Maurizio"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"full_name":"Patel-Schneider, Peter F.","last_name":"Patel-Schneider","first_name":"Peter F."}],"volume":22,"user_id":"15504","language":[{"iso":"eng"}],"_id":"56575","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings"},{"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"},{"first_name":"Robert M.","last_name":"MacGregor","full_name":"MacGregor, 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","_id":"56577","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","intvolume":"        11","date_updated":"2024-10-10T13:46:36Z","author":[{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"},{"full_name":"Möller, Ralf","last_name":"Möller","first_name":"Ralf"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"year":"1998","title":"Implementing an ALCRP(D) ABox Reasoner - Progress Report","status":"public","type":"conference","date_created":"2024-10-10T13:46:22Z","citation":{"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.","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.","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.","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.","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} }","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.","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."},"publication":"Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998"},{"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.","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. “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.","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","date_created":"2024-10-10T13:45:46Z","type":"conference","author":[{"last_name":"Haarslev","first_name":"Volker","full_name":"Haarslev, Volker"},{"full_name":"Möller, Ralf","last_name":"Möller","first_name":"Ralf"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}],"status":"public","title":"HAM-ALC","year":"1998","intvolume":"        11","date_updated":"2024-10-10T13:45:57Z","publisher":"CEUR-WS.org","_id":"56576","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"volume":11,"editor":[{"last_name":"Franconi","first_name":"Enrico","full_name":"Franconi, Enrico"},{"first_name":"Giuseppe De","last_name":"Giacomo","full_name":"Giacomo, Giuseppe De"},{"full_name":"MacGregor, Robert M.","first_name":"Robert M.","last_name":"MacGregor"},{"full_name":"Nutt, Werner","first_name":"Werner","last_name":"Nutt"},{"full_name":"Welty, Christopher A.","first_name":"Christopher A.","last_name":"Welty"}],"user_id":"15504"}]