{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:47Z","timestamp":1725558947513},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138393"},{"type":"electronic","value":"9783642138409"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13840-9_9","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T10:22:37Z","timestamp":1277979757000},"page":"88-95","source":"Crossref","is-referenced-by-count":1,"title":["Nonmonotonic Onto-Relational Learning"],"prefix":"10.1007","author":[{"given":"Francesca A.","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"1-2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence\u00a082(1-2), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"Buntine, W.: Generalized subsumption and its application to induction and redundancy. Artificial Intelligence\u00a036(2), 149\u2013176 (1988)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9_CR5","unstructured":"De Raedt, L., Bruynooghe, M.: A theory of clausal discovery. In: IJCAI, pp. 1058\u20131063 (1993)"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"issue":"3\/4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T. Gruber","year":"1993","unstructured":"Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL\u00a08(3), 239\u2013263 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-85928-4_15","volume-title":"Inductive Logic Programming","author":"F.A. Lisi","year":"2008","unstructured":"Lisi, F.A., Esposito, F.: Foundations of Onto-Relational Learning. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 158\u2013175. Springer, Heidelberg (2008)"},{"key":"9_CR11","first-page":"101","volume":"6","author":"G.D. Plotkin","year":"1971","unstructured":"Plotkin, G.D.: A further note on inductive generalization. Machine Intelligence\u00a06, 101\u2013121 (1971)","journal-title":"Machine Intelligence"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"9_CR13","first-page":"68","volume-title":"Proc. of 10th Int. Conf. on Principles of Knowledge Representation and Reasoning","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: \n                  \n                    \n                  \n                  $\\mathcal{DL}$\n                +log: Tight Integration of Description Logics and Disjunctive Datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. of 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 68\u201378. AAAI Press, Menlo Park (2006)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13840-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:09:12Z","timestamp":1552637352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13840-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138393","9783642138409"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13840-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}