Implementing Completion-Based Inferences for the EL-family
J. Mendez, A. Ecke, A.-Y. Turhan, in: R. Rosati, S. Rudolph, M. Zakharyaschev (Eds.), Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, CEUR-WS.org, 2011.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Mendez, Julian;
Ecke, Andreas;
Turhan, Anni-YasminLibreCat
Editor
Rosati, Riccardo;
Rudolph, Sebastian;
Zakharyaschev, Michael
Publishing Year
Proceedings Title
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
forms.conference.field.series_title_volume.label
CEUR Workshop Proceedings
Volume
745
LibreCat-ID
Cite this
Mendez J, Ecke A, Turhan A-Y. Implementing Completion-Based Inferences for the EL-family. In: Rosati R, Rudolph S, Zakharyaschev M, eds. Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Vol 745. CEUR Workshop Proceedings. CEUR-WS.org; 2011.
Mendez, J., Ecke, A., & Turhan, A.-Y. (2011). Implementing Completion-Based Inferences for the EL-family. In R. Rosati, S. Rudolph, & M. Zakharyaschev (Eds.), Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 (Vol. 745). CEUR-WS.org.
@inproceedings{Mendez_Ecke_Turhan_2011, series={CEUR Workshop Proceedings}, title={Implementing Completion-Based Inferences for the EL-family}, volume={745}, booktitle={Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, publisher={CEUR-WS.org}, author={Mendez, Julian and Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Rosati, Riccardo and Rudolph, Sebastian and Zakharyaschev, Michael}, year={2011}, collection={CEUR Workshop Proceedings} }
Mendez, Julian, Andreas Ecke, and Anni-Yasmin Turhan. “Implementing Completion-Based Inferences for the EL-Family.” In Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, edited by Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, Vol. 745. CEUR Workshop Proceedings. CEUR-WS.org, 2011.
J. Mendez, A. Ecke, and A.-Y. Turhan, “Implementing Completion-Based Inferences for the EL-family,” in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
Mendez, Julian, et al. “Implementing Completion-Based Inferences for the EL-Family.” Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, edited by Riccardo Rosati et al., vol. 745, CEUR-WS.org, 2011.