{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:08Z","timestamp":1725550568110},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287933"},{"type":"electronic","value":"9783540320289"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11552222_12","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:55:35Z","timestamp":1127829335000},"page":"118-132","source":"Crossref","is-referenced-by-count":8,"title":["Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in ${\\mathcal AL}$ -Log"],"prefix":"10.1007","author":[{"given":"Francesca A.","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"12_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":"12_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1009867806624","volume":"3","author":"H. Blockeel","year":"1999","unstructured":"Blockeel, H., De Raedt, L., Jacobs, N., Demoen, B.: Scaling Up Inductive Logic Programming by Learning from Interpretations. Data Mining and Knowledge Discovery\u00a03, 59\u201393 (1999)","journal-title":"Data Mining and Knowledge Discovery"},{"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"},{"issue":"2","key":"12_CR5","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"},{"key":"12_CR6","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":"2\u20133","key":"12_CR7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. Raedt De","year":"1997","unstructured":"De Raedt, L., Dehaspe, L.: Clausal Discovery. Machine Learning\u00a026(2\u20133), 99\u2013146 (1997)","journal-title":"Machine Learning"},{"issue":"3","key":"12_CR8","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.: \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"12_CR9","unstructured":"Flach, P.: Conjectures: An Inquiry concerning the Logic of Induction. Phd thesis, Tilburg University (1995)"},{"key":"12_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-45628-7_17","volume-title":"Computational Logic: Logic Programming and Beyond","author":"P. Flach","year":"2002","unstructured":"Flach, P., Lavra\u010d, N.: Learning in Clausal Logic: A Perspective on Inductive Logic Programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 437\u2013471. Springer, Heidelberg (2002)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0004-3702(91)90009-9","volume":"49","author":"A.M. Frisch","year":"1991","unstructured":"Frisch, A.M.: The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Artificial Intelligence\u00a049, 161\u2013198 (1991)","journal-title":"Artificial Intelligence"},{"key":"12_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-48751-4_11","volume-title":"Inductive Logic Programming","author":"A.M. Frisch","year":"1999","unstructured":"Frisch, A.M.: Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming. In: D\u017eeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol.\u00a01634, pp. 104\u2013115. Springer, Heidelberg (1999)"},{"issue":"5","key":"12_CR13","first-page":"84","volume":"11","author":"A.M. Frisch","year":"1991","unstructured":"Frisch, A.M., Cohn, A.G.: Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Magazine\u00a011(5), 84\u201387 (1991)","journal-title":"AI Magazine"},{"issue":"1","key":"12_CR14","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 \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   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"},{"key":"12_CR15","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":"12_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104, 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"12_CR17","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 \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol.\u00a03194, pp. 216\u2013233. Springer, Heidelberg (2004)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","first-page":"49","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"F.A. Lisi","year":"2003","unstructured":"Lisi, F.A., Malerba, D.: Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol.\u00a02829, pp. 49\u201360. Springer, Heidelberg (2003)"},{"key":"12_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 \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 215\u2013232. Springer, Heidelberg (2003)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1023\/B:MACH.0000023151.65011.a3","volume":"55","author":"F.A. Lisi","year":"2004","unstructured":"Lisi, F.A., Malerba, D.: Inducing Multi-Level Association Rules from Multiple Relations. Machine Learning\u00a055, 175\u2013210 (2004)","journal-title":"Machine Learning"},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1009796218281","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery\u00a01(3), 241\u2013258 (1997)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: Equality and domain closure in first order databases. Journal of ACM\u00a027, 235\u2013249 (1980)","journal-title":"Journal of ACM"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics (2005) (to appear)","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"12_CR24","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-\n                    \n                      \n                    \n                    $\\mathcal{ALN}$\n                  . In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 191\u2013208. Springer, Heidelberg (2000)"},{"issue":"1","key":"12_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":"12_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)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11552222_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:01:30Z","timestamp":1619506890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11552222_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287933","9783540320289"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11552222_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}