[{"citation":{"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>.","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>","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>","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>."},"publication":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings","date_created":"2024-10-10T13:42:39Z","type":"conference","author":[{"first_name":"Volker","last_name":"Haarslev","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"}],"year":"2001","status":"public","title":"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics","intvolume":"      2083","date_updated":"2024-10-10T13:42:57Z","language":[{"iso":"eng"}],"_id":"56571","series_title":"Lecture Notes in Computer Science","publisher":"Springer","page":"61–75","volume":2083,"editor":[{"full_name":"Goré, Rajeev","last_name":"Goré","first_name":"Rajeev"},{"last_name":"Leitsch","first_name":"Alexander","full_name":"Leitsch, Alexander"},{"last_name":"Nipkow","first_name":"Tobias","full_name":"Nipkow, Tobias"}],"user_id":"15504","doi":"10.1007/3-540-45744-5_6"},{"language":[{"iso":"eng"}],"_id":"56572","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","user_id":"15504","volume":49,"editor":[{"last_name":"Goble","first_name":"Carole A.","full_name":"Goble, Carole A."},{"last_name":"McGuinness","first_name":"Deborah L.","full_name":"McGuinness, Deborah L."},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"full_name":"Patel-Schneider, Peter F.","first_name":"Peter F.","last_name":"Patel-Schneider"}],"year":"2001","status":"public","title":"TBoxes do not Yield a Compact Representation of Least Common Subsumers","author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T13:43:32Z","intvolume":"        49","date_created":"2024-10-10T13:43:21Z","type":"conference","publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","citation":{"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.","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.","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.","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.","ama":"Baader F, Turhan A-Y. TBoxes do not Yield a Compact Representation of Least Common Subsumers. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF, eds. <i>Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001</i>. Vol 49. CEUR Workshop Proceedings. CEUR-WS.org; 2001.","bibtex":"@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings}, title={TBoxes do not Yield a Compact Representation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }"}},{"citation":{"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.","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."},"publication":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","type":"conference","date_created":"2024-10-10T13:43:55Z","intvolume":"        49","date_updated":"2024-10-10T13:44:10Z","author":[{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Molitor, Ralf","last_name":"Molitor","first_name":"Ralf"}],"title":"Using Lazy Unfolding for the Computation of Least Common Subsumers","status":"public","year":"2001","volume":49,"editor":[{"full_name":"Goble, Carole A.","first_name":"Carole A.","last_name":"Goble"},{"last_name":"McGuinness","first_name":"Deborah L.","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","language":[{"iso":"eng"}],"_id":"56573","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings"},{"year":"2000","title":"Adapting Optimization Techniques to Description Logics with Concrete Domains","status":"public","author":[{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Haarslev, Volker","last_name":"Haarslev","first_name":"Volker"}],"date_updated":"2024-10-10T13:44:45Z","intvolume":"        33","page":"247–256","publisher":"CEUR-WS.org","_id":"56574","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"user_id":"15504","editor":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"last_name":"Sattler","first_name":"Ulrike","full_name":"Sattler, Ulrike"}],"volume":33,"publication":"Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000","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} }","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.","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.","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."},"date_created":"2024-10-10T13:44:32Z","type":"conference"},{"status":"public","title":"On Terminological Default Reasoning about Spatial Information: Extended Abstract","year":"1999","author":[{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"first_name":"Michael","last_name":"Wessel","full_name":"Wessel, Michael"}],"date_updated":"2024-10-10T13:45:22Z","intvolume":"        22","publisher":"CEUR-WS.org","_id":"56575","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","editor":[{"last_name":"Lambrix","first_name":"Patrick","full_name":"Lambrix, Patrick"},{"full_name":"Borgida, Alexander","first_name":"Alexander","last_name":"Borgida"},{"full_name":"Lenzerini, Maurizio","first_name":"Maurizio","last_name":"Lenzerini"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"full_name":"Patel-Schneider, Peter F.","first_name":"Peter F.","last_name":"Patel-Schneider"}],"volume":22,"publication":"Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999","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."},"date_created":"2024-10-10T13:45:08Z","type":"conference"},{"language":[{"iso":"eng"}],"_id":"56577","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","user_id":"15504","editor":[{"full_name":"Franconi, Enrico","first_name":"Enrico","last_name":"Franconi"},{"last_name":"Giacomo","first_name":"Giuseppe De","full_name":"Giacomo, Giuseppe De"},{"full_name":"MacGregor, Robert M.","last_name":"MacGregor","first_name":"Robert M."},{"full_name":"Nutt, Werner","first_name":"Werner","last_name":"Nutt"},{"full_name":"Welty, Christopher A.","first_name":"Christopher A.","last_name":"Welty"}],"volume":11,"year":"1998","title":"Implementing an ALCRP(D) ABox Reasoner - Progress Report","status":"public","author":[{"last_name":"Haarslev","first_name":"Volker","full_name":"Haarslev, Volker"},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"date_updated":"2024-10-10T13:46:36Z","intvolume":"        11","date_created":"2024-10-10T13:46:22Z","type":"conference","publication":"Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998","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.","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.","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."}},{"type":"conference","date_created":"2024-10-10T13:45:46Z","publication":"Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998","citation":{"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} }","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."},"user_id":"15504","editor":[{"full_name":"Franconi, Enrico","last_name":"Franconi","first_name":"Enrico"},{"first_name":"Giuseppe De","last_name":"Giacomo","full_name":"Giacomo, Giuseppe De"},{"last_name":"MacGregor","first_name":"Robert M.","full_name":"MacGregor, Robert M."},{"full_name":"Nutt, Werner","first_name":"Werner","last_name":"Nutt"},{"last_name":"Welty","first_name":"Christopher A.","full_name":"Welty, Christopher A."}],"volume":11,"series_title":"CEUR Workshop Proceedings","_id":"56576","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"date_updated":"2024-10-10T13:45:57Z","intvolume":"        11","year":"1998","status":"public","title":"HAM-ALC","author":[{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"first_name":"Ralf","last_name":"Möller","full_name":"Möller, Ralf"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}]}]