Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
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.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Haarslev, Volker;
Möller, Ralf;
Turhan, Anni-YasminLibreCat
Editor
Goré, Rajeev;
Leitsch, Alexander;
Nipkow, Tobias
Publishing Year
Proceedings Title
Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
forms.conference.field.series_title_volume.label
Lecture Notes in Computer Science
Volume
2083
Page
61–75
LibreCat-ID
Cite this
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. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Vol 2083. Lecture Notes in Computer Science. Springer; 2001:61–75. doi:10.1007/3-540-45744-5_6
Haarslev, V., Möller, R., & Turhan, A.-Y. (2001). Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch, & T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings (Vol. 2083, pp. 61–75). Springer. https://doi.org/10.1007/3-540-45744-5_6
@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={10.1007/3-540-45744-5_6}, 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} }
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” In Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. https://doi.org/10.1007/3-540-45744-5_6.
V. Haarslev, R. Möller, and A.-Y. Turhan, “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics,” in Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, 2001, vol. 2083, pp. 61–75, doi: 10.1007/3-540-45744-5_6.
Haarslev, Volker, et al. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré et al., vol. 2083, Springer, 2001, pp. 61–75, doi:10.1007/3-540-45744-5_6.
Google Scholar