{"_id":"zcM7ng58W542cJbKN","bibbaseid":"allocca-alviano-calimeri-costabile-fiorentino-fusc-germano-laboccetta-etal-reasoningoverontologieswithdlv-2018","author_short":["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."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Carlo"],"propositions":[],"lastnames":["Allocca"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Alviano"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Calimeri"],"suffixes":[]},{"firstnames":["Roberta"],"propositions":[],"lastnames":["Costabile"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Fiorentino"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Fuscà"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Germano"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Laboccetta"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Manna"],"suffixes":[]},{"firstnames":["Simona"],"propositions":[],"lastnames":["Perri"],"suffixes":[]},{"firstnames":["Kristian"],"propositions":[],"lastnames":["Reale"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]},{"firstnames":["Pierfrancesco"],"propositions":[],"lastnames":["Veltri"],"suffixes":[]},{"firstnames":["Jessica"],"propositions":[],"lastnames":["Zangari"],"suffixes":[]}],"editor":[{"firstnames":["Ana","L.","N."],"propositions":[],"lastnames":["Fred"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Salgado"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Aveiro"],"suffixes":[]},{"firstnames":["Jan","L.","G."],"propositions":[],"lastnames":["Dietz"],"suffixes":[]},{"firstnames":["Jorge"],"propositions":[],"lastnames":["Bernardino"],"suffixes":[]},{"firstnames":["Joaquim"],"propositions":[],"lastnames":["Filipe"],"suffixes":[]}],"title":"Reasoning over Ontologies with DLV","booktitle":"Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers","series":"Communications in Computer and Information Science","volume":"1222","pages":"114–136","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-49559-6_6","doi":"10.1007/978-3-030-49559-6_6","timestamp":"Sun, 25 Jul 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ic3k/AlloccaACCFFGLL18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["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."],"editor_short":["Fred, A. L. N.","Salgado, A.","Aveiro, D.","Dietz, J. L. G.","Bernardino, J.","Filipe, J."],"key":"DBLP:conf/ic3k/AlloccaACCFFGLL18","id":"DBLP:conf/ic3k/AlloccaACCFFGLL18","bibbaseid":"allocca-alviano-calimeri-costabile-fiorentino-fusc-germano-laboccetta-etal-reasoningoverontologieswithdlv-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-49559-6_6"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/17/4975.html?view=bibtex","dataSources":["Abx4S3KE5cjtwTGfS"],"keywords":[],"search_terms":["reasoning","over","ontologies","dlv","allocca","alviano","calimeri","costabile","fiorentino","fuscà","germano","laboccetta","leone","manna","perri","reale","ricca","veltri","zangari"],"title":"Reasoning over Ontologies with DLV","year":2018}