{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T17:38:39Z","timestamp":1781545119077,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540859277","type":"print"},{"value":"9783540859284","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85928-4_12","type":"book-chapter","created":{"date-parts":[[2008,8,28]],"date-time":"2008-08-28T11:39:12Z","timestamp":1219923552000},"page":"107-121","source":"Crossref","is-referenced-by-count":84,"title":["DL-FOIL Concept Learning in Description Logics"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Fanizzi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"d\u2019Amato","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Floriana","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"The Description Logic Handbook","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Veloso, M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, pp. 230\u2013235 (2007)","DOI":"10.25368\/2022.155"},{"issue":"5","key":"12_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"issue":"1\u20132","key":"12_CR4","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\u20132), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"key":"12_CR5","first-page":"203","volume-title":"Proceedings of the International Conference on Knowledge Representation","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.-A. (eds.) Proceedings of the International Conference on Knowledge Representation, pp. 203\u2013214. Morgan Kaufmann, San Francisco (2002)"},{"key":"12_CR6","volume-title":"Proceedings of the Fourth Annual Workshop on Computational Learning Theory","author":"W.W. Cohen","year":"1992","unstructured":"Cohen, W.W., Hirsh, H.: Learnability of description logics. In: Proceedings of the Fourth Annual Workshop on Computational Learning Theory, Pittsburgh, PA. ACM Press, New York (1992)"},{"key":"12_CR7","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":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-68234-9_23","volume-title":"The Semantic Web: Research and Applications","author":"C. d\u2019Amato","year":"2008","unstructured":"d\u2019Amato, C., Fanizzi, N., Esposito, F.: Query answering and ontology population: An inductive approach. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 288\u2013302. Springer, Heidelberg (2008)"},{"key":"12_CR9","unstructured":"Dean, M., Schreiber, G.: Web Ontology Language Reference. W3C recommendation, W3C (2004), http:\/\/www.w3.org\/TR\/owl-ref"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/S0890-5401(02)00030-5","volume":"180","author":"S.A. Goldman","year":"2003","unstructured":"Goldman, S.A., Kwek, S., Scott, S.D.: Learning from examples with unspecified attribute values. Information and Computation\u00a0180(2), 82\u2013100 (2003)","journal-title":"Information and Computation"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the 12th international conference on World Wide Web, WWW 2003","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th international conference on World Wide Web, WWW 2003, pp. 48\u201357. ACM Press, New York (2003)"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10489-006-0011-5","volume":"26","author":"L. Iannone","year":"2007","unstructured":"Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the semantic web. Applied Intelligence\u00a026(2), 139\u2013159 (2007)","journal-title":"Applied Intelligence"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-63494-0_60","volume-title":"Inductive Logic Programming","author":"N. Inuzuka","year":"1997","unstructured":"Inuzuka, N., Kamo, M., Ishii, N., Seki, H., Itoh, H.: Tow-down induction of logic programs from incomplete samples. In: Muggleton, S. (ed.) ILP 1996. LNCS, vol.\u00a01314, pp. 265\u2013282. Springer, Heidelberg (1997)"},{"key":"12_CR15","series-title":"Lecture Notes in Artificial Intelligence","first-page":"117","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":"12_CR16","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":"12_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-78469-2_18","volume-title":"Inductive Logic Programming","author":"J. Lehmann","year":"2008","unstructured":"Lehmann, J., Hitzler, P.: Foundations of refinement operators for description logics. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 161\u2013174. Springer, Heidelberg (2008)"},{"key":"12_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-78469-2_17","volume-title":"Inductive Logic Programming","author":"J. Lehmann","year":"2008","unstructured":"Lehmann, J., Hitzler, P.: A refinement operator based learning algorithm for the ${\\cal ALC}$ description logic. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 147\u2013160. Springer, Heidelberg (2008)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11552222_12","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"F.A. Lisi","year":"2005","unstructured":"Lisi, F.A.: Principles of inductive reasoning on the Semantic Web: A framework for learning in $\\mathcal{AL}$ -Log. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 118\u2013132. Springer, Heidelberg (2005)"},{"key":"12_CR20","first-page":"239","volume":"5","author":"R. Quinlan","year":"1990","unstructured":"Quinlan, R.: Learning logical definitions from relations. Machine Learning\u00a05, 239\u2013266 (1990)","journal-title":"Machine Learning"},{"key":"12_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-44960-4_12","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"2000","unstructured":"Rouveirol, C., Ventos, V.: Towards learning in CARIN- $\\mathcal{ALN}$ . In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 191\u2013208. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85928-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T15:41:03Z","timestamp":1684510863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85928-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540859277","9783540859284"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85928-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}