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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar