{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:26Z","timestamp":1725560186967},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281771"},{"type":"electronic","value":"9783540318514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11536314_13","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:45:23Z","timestamp":1279737923000},"page":"209-226","source":"Crossref","is-referenced-by-count":2,"title":["ILP Meets Knowledge Engineering: A Case Study"],"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":[{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"13_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web, May, 2001. Scientific American (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"issue":"1\u20132","key":"13_CR3","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":"13_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/5254.747902","volume":"14","author":"B. Chandrasekaran","year":"1999","unstructured":"Chandrasekaran, B., Josephson, J.R., Benjamins, V.R.: What are ontologies, and why do we need them? IEEE Intelligent Systems\u00a014(1), 20\u201326 (1999)","journal-title":"IEEE Intelligent Systems"},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: $\\mathcal{AL}$ -log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"J. of Intelligent Information Systems"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S1071-5819(02)00127-1","volume":"58","author":"J.H. Gennari","year":"2003","unstructured":"Gennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crub\u00e9zy, M., Eriksson, H., Fridman Noy, N., Tu, S.W.: The evolution of Prot\u00e9g\u00e9: An environment for knowledge-based systems development. International Journal of Human-Computer Studies\u00a058(1), 89\u2013123 (2003)","journal-title":"International Journal of Human-Computer Studies"},{"key":"13_CR8","volume-title":"Ontological Engineering","author":"A. G\u00f3mez-P\u00e9rez","year":"2004","unstructured":"G\u00f3mez-P\u00e9rez, A., Fern\u00e1ndez-L\u00f3pez, M., Corcho, O.: Ontological Engineering. Springer, Heidelberg (2004)"},{"key":"13_CR9","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"},{"key":"13_CR10","unstructured":"Haarslev, V., M\u00f6ller, R.: Description of the RACER System and its Applications. In: Goble, C.A., McGuinness, D.L., M\u00f6ller, R., Patel-Schneider, P.F. (eds.) Working Notes of the 2001 Int. Description Logics Workshop. CEUR Workshop Proceedings, vol.\u00a049 (2001)"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"Proc. of the 13th Int. World Wide Web Conference","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. of the 13th Int. World Wide Web Conference, pp. 723\u2013731. ACM, New York (2004)"},{"issue":"1","key":"13_CR12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"13_CR13","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":"13_CR14","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)"},{"key":"13_CR15","unstructured":"Knublauch, H., Musen, M.A., Rector, A.L.: Editing Description Logic Ontologies with the Prot\u00e9g\u00e9 OWL Plugin. In: Haarslev, V., M\u00f6ller, R. (eds.) Proc. of the 2004 Int. Workshop on Description Logics. CEUR Workshop Proceedings, vol.\u00a0104 (2004)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-56004-1_4","volume-title":"Analogical and Inductive Inference","author":"N. Lavra\u010d","year":"1992","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Background knowledge and declarative bias in inductive concept learning. In: Jantke, K.P. (ed.) AII 1992. LNCS, vol.\u00a0642, pp. 51\u201371. Springer, Heidelberg (1992)"},{"issue":"3","key":"13_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1080\/08839519308949989","volume":"7","author":"N. Lavra\u010d","year":"1993","unstructured":"Lavra\u010d, N., D\u017eeroski, S., Pirnat, V., Krizman, V.: The utility of background knowledge in learning medical diagnostic rules. Applied Artificial Intelligence\u00a07(3), 273\u2013293 (1993)","journal-title":"Applied Artificial Intelligence"},{"key":"13_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-30109-7_18","volume-title":"Inductive Logic Programming","author":"F.A. Lisi","year":"2004","unstructured":"Lisi, F.A., Esposito, F.: Efficient Evaluation of Candidate Hypotheses in $\\mathcal{AL}$ -log. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol.\u00a03194, pp. 216\u2013233. Springer, Heidelberg (2004)"},{"key":"13_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-39917-9_15","volume-title":"Inductive Logic Programming","author":"F.A. Lisi","year":"2003","unstructured":"Lisi, F.A., Malerba, D.: Ideal Refinement of Descriptions in $\\mathcal{AL}$ -log. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 215\u2013232. Springer, Heidelberg (2003)"},{"key":"13_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-39967-4_2","volume-title":"Knowledge Engineering and Knowledge Management. Methods, Models, and Tools","author":"N. Fridman Noy","year":"2000","unstructured":"Fridman Noy, N., Fergerson, R.W., Musen, M.A.: The Knowledge Model of Prot\u00e9g\u00e9-2000: Combining Interoperability and Flexibility. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol.\u00a01937, pp. 17\u201332. Springer, Heidelberg (2000)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1162\/153244304773936009","volume":"4","author":"D. Page","year":"2003","unstructured":"Page, D., Srinivasan, A.: ILP: A short look back and a longer look forward. Journal of Machine Learning Research\u00a04, 415\u2013430 (2003)","journal-title":"Journal of Machine Learning Research"},{"key":"13_CR22","first-page":"57","volume":"9","author":"M.J. Pazzani","year":"1992","unstructured":"Pazzani, M.J., Kibler, D.F.: The utility of knowledge in inductive learning. Machine Learning\u00a09, 57\u201394 (1992)","journal-title":"Machine Learning"},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1022678217288","volume":"14","author":"C. Rouveirol","year":"1994","unstructured":"Rouveirol, C.: Flattening and saturation: Two representation changes for generalization. Machine Learning\u00a014(1), 219\u2013232 (1994)","journal-title":"Machine Learning"},{"key":"13_CR24","unstructured":"Rouveirol, C., De Raedt, L.: The use of background knowledge for generalization in ILP. In: Rouveirol, C. (ed.) Proceedings of the ECAI 1992 Workshop on Logical Approaches to Machine Learning (1992)"},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"Schmidt-Schauss, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-49674-2_16","volume-title":"Logic Program Synthesis and Transformation","author":"G. Semeraro","year":"1998","unstructured":"Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., Ferilli, S.: A logic framework for the incremental inductive synthesis of Datalog theories. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, pp. 300\u2013321. Springer, Heidelberg (1998)"},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1162\/jmlr.2003.4.3.369","volume":"4","author":"A. Srinivasan","year":"2003","unstructured":"Srinivasan, A., King, R.D., Bain, M.: An empirical study of the use of relevance information in inductive logic programming. Journal of Machine Learning Research\u00a04, 369\u2013383 (2003)","journal-title":"Journal of Machine Learning Research"},{"key":"13_CR28","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24750-0","volume-title":"Handbook on Ontologies","author":"S. Staab","year":"2004","unstructured":"Staab, S., Studer, R.: Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)"},{"issue":"1\/2","key":"13_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1007672817406","volume":"43","author":"M. Turcotte","year":"2001","unstructured":"Turcotte, M., Muggleton, S., Sternberg, M.J.E.: The effect of relational background knowledge on learning of protein three-dimensional fold signatures. Machine Learning\u00a043(1\/2), 81\u201395 (2001)","journal-title":"Machine Learning"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11536314_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:34Z","timestamp":1605643894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11536314_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281771","9783540318514"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11536314_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}