Implementing an ALCRP(D) ABox Reasoner - Progress Report
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.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Haarslev, Volker;
Möller, Ralf;
Turhan, Anni-YasminLibreCat
Editor
Franconi, Enrico;
Giacomo, Giuseppe De;
MacGregor, Robert M.;
Nutt, Werner;
Welty, Christopher A.
Publishing Year
Proceedings Title
Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998
forms.conference.field.series_title_volume.label
CEUR Workshop Proceedings
Volume
11
LibreCat-ID
Cite this
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. Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998. Vol 11. CEUR Workshop Proceedings. CEUR-WS.org; 1998.
Haarslev, V., Möller, R., & Turhan, A.-Y. (1998). Implementing an ALCRP(D) ABox Reasoner - Progress Report. 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 (Vol. 11). CEUR-WS.org.
@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} }
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 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.
V. Haarslev, R. Möller, and A.-Y. Turhan, “Implementing an ALCRP(D) ABox Reasoner - Progress Report,” in Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, 1998, vol. 11.
Haarslev, Volker, et al. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi et al., vol. 11, CEUR-WS.org, 1998.
Google Scholar