{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:21:29Z","timestamp":1725549689373},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290414"},{"type":"electronic","value":"9783540317333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11558590_41","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T12:53:11Z","timestamp":1128516791000},"page":"406-417","source":"Crossref","is-referenced-by-count":1,"title":["A Counterfactual-Based Learning Algorithm for $\\mathcal{ALC}$ Description Logic"],"prefix":"10.1007","author":[{"given":"Floriana","family":"Esposito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Fanizzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Iannone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignazio","family":"Palmisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Semeraro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook","year":"2003","key":"41_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"41_CR2","unstructured":"Baader, F., Turhan, A.-Y.: TBoxes do not yield a compact representation of least common subsumers. In: Working Notes of the 2001 International Description Logics Workshop, Proceedings CEUR Workshop, Stanford, USA, vol.\u00a049 (2001)"},{"key":"41_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44960-4_3","volume-title":"Inductive Logic Programming","author":"L. Badea","year":"2000","unstructured":"Badea, L., Nienhuys-Cheng, S.-H.: A refinement operator for description logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 40\u201359. Springer, Heidelberg (2000)"},{"issue":"2-3","key":"41_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF00993470","volume":"17","author":"W.W. Cohen","year":"1994","unstructured":"Cohen, W.W., Hirsh, H.: The learnability of description logic with equality constraints. Machine Learning\u00a017(2-3), 169\u2013199 (1994)","journal-title":"Machine Learning"},{"key":"41_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/B978-1-4832-1452-8.50108-1","volume-title":"Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning","author":"W.W. Cohen","year":"1994","unstructured":"Cohen, W.W., Hirsh, H.: Learning the CLASSIC description logic. In: Torasso, P., Doyle, J., Sandewall, E. (eds.) Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning, pp. 121\u2013133. Morgan Kaufmann, San Francisco (1994)"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-30475-3_31","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"F. Esposito","year":"2004","unstructured":"Esposito, F., Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Knowledge-intensive induction of terminologies from metadata. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 441\u2013455. Springer, Heidelberg (2004)"},{"key":"41_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/3-540-36468-4_8","volume-title":"Inductive Logic Programming","author":"J.-U. Kietz","year":"2003","unstructured":"Kietz, J.-U.: Learnability of description logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 117\u2013132. Springer, Heidelberg (2003)"},{"issue":"2","key":"41_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J.-U. Kietz","year":"1994","unstructured":"Kietz, J.-U., Morik, K.: A polynomial approach to the constructive induction of structural knowledge. Machine Learning\u00a014(2), 193\u2013218 (1994)","journal-title":"Machine Learning"},{"key":"41_CR9","unstructured":"Mitchell, T.M.: Machine Learning, Evaluating Hypotheses, ch. 5, pp. 128\u2013153. McGraw-Hill, New York (1997)"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)"},{"issue":"1","key":"41_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"41_CR12","volume-title":"Handbook on Ontologies. International Handbooks on Information Systems","author":"S. Staab","year":"2004","unstructured":"Staab, S., Studer, R.: Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)"},{"key":"41_CR13","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1016\/B978-1-4832-1452-8.50145-7","volume-title":"Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning","author":"G. Teege","year":"1994","unstructured":"Teege, G.: A subtraction operation for description logics. In: Torasso, P., Doyle, J., Sandewall, E. (eds.) Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pp. 540\u2013550. Morgan Kaufmann, San Francisco (1994)"},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0004-3702(80)90038-7","volume":"14","author":"S.A. Vere","year":"1980","unstructured":"Vere, S.A.: Multilevel counterfactuals for generalizations of relational concepts and productions. Artificial Intelligence\u00a014, 139\u2013164 (1980)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558590_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:58Z","timestamp":1619507398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558590_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290414","9783540317333"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11558590_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}