Reasoning over Ontologies with DLV. Allocca, C., Alviano, M., Calimeri, F., Costabile, R., Fiorentino, A., Fuscà, D., Germano, S., Laboccetta, G., Leone, N., Manna, M., Perri, S., Reale, K., Ricca, F., Veltri, P., & Zangari, J. In Fred, A. L. N., Salgado, A., Aveiro, D., Dietz, J. L. G., Bernardino, J., & Filipe, J., editors, Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers, volume 1222, of Communications in Computer and Information Science, pages 114–136, 2018. Springer.
Reasoning over Ontologies with DLV [link]Paper  doi  bibtex   

Downloads: 0