{"user_id":"15504","citation":{"ama":"Haarslev V, Möller R, Turhan A-Y. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré R, Leitsch A, Nipkow T, eds. <i>Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings</i>. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:<a href=\"https://doi.org/10.1007/3-540-45744-5_6\">10.1007/3-540-45744-5_6</a>","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.","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} }","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>.","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>."},"title":"Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics","publication":"Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings","doi":"10.1007/3-540-45744-5_6","volume":2083,"date_created":"2024-10-10T13:42:39Z","publisher":"Springer","_id":"56571","editor":[{"first_name":"Rajeev","last_name":"Goré","full_name":"Goré, Rajeev"},{"last_name":"Leitsch","first_name":"Alexander","full_name":"Leitsch, Alexander"},{"last_name":"Nipkow","first_name":"Tobias","full_name":"Nipkow, Tobias"}],"type":"conference","year":"2001","status":"public","page":"61–75","date_updated":"2024-10-10T13:42:57Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","intvolume":"      2083","author":[{"first_name":"Volker","last_name":"Haarslev","full_name":"Haarslev, Volker"},{"full_name":"Möller, Ralf","first_name":"Ralf","last_name":"Möller"},{"first_name":"Anni-Yasmin","id":"104470","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}]}