{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:31:46Z","timestamp":1725471106602},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540395867"},{"type":"electronic","value":"9783540395874"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853107_19","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T03:49:56Z","timestamp":1159501796000},"page":"242-256","source":"Crossref","is-referenced-by-count":3,"title":["Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining"],"prefix":"10.1007","author":[{"given":"Francesca A.","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11853107_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"U. Assmann","year":"2006","unstructured":"Assmann, U., Henriksson, J., Maluszynski, J.: Combining safe rules and ontologies by interfacing of reasoners. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 33\u201347. Springer, Heidelberg (2006)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"19_CR2","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":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/3-540-48005-6_21","volume-title":"The Semantic Web - ISWC 2002","author":"B. Berendt","year":"2002","unstructured":"Berendt, B., Hotho, A., Stumme, G.: Towards semantic web mining. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 264\u2013278. Springer, Heidelberg (2002)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"issue":"1\u20132","key":"19_CR5","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":"19_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":"3","key":"19_CR7","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"},{"issue":"1","key":"19_CR8","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":"19_CR9","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":"19_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 International Description Logics Workshop (DL-2001). CEUR Workshop Proceedings, vol.\u00a049 (2001)"},{"issue":"1","key":"19_CR11","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":"19_CR12","first-page":"152","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004)","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                  -description logic to disjunctive datalog programs. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), pp. 152\u2013162. AAAI Press, Menlo Park (2004)"},{"key":"19_CR13","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":"19_CR14","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.) Proceedings of the 2004 International Workshop on Description Logics (DL2004). CEUR Workshop Proceedings, vol.\u00a0104 (2004)"},{"key":"19_CR15","volume-title":"SIGKDD: SIGKDD Explorations: Newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining","author":"R. Kosala","year":"2000","unstructured":"Kosala, R., Blockeel, H.: Web Mining Research: A Survey. In: SIGKDD: SIGKDD Explorations: Newsletter of the Special Interest Group (SIG) on Knowledge Discovery & Data Mining, vol.\u00a02. ACM, New York (2000)"},{"key":"19_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":"19_CR17","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 \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log. In: Fages, F., Soliman, S. (eds.) Principles and Practice of Semantic Web Reasoning. LNCS, vol.\u00a03703, pp. 118\u2013132. Springer, Heidelberg (2005)"},{"key":"19_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 \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log. In: Camacho, R., King, R., Srinivasan, A. (eds.) Inductive Logic Programming. LNCS (LNAI), vol.\u00a03194, pp. 216\u2013233. Springer, Heidelberg (2004)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","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, vol.\u00a02835, pp. 215\u2013232. Springer, Heidelberg (2003)"},{"key":"19_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"},{"key":"19_CR21","first-page":"321","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence","author":"A. Maedche","year":"2000","unstructured":"Maedche, A., Staab, S.: Discovering Conceptual Relations from Text. In: Horn, W. (ed.) Proceedings of the 14th European Conference on Artificial Intelligence, pp. 321\u2013325. IOS Press, Amsterdam (2000)"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45681-3_29","volume-title":"Principles of Data Mining and Knowledge Discovery","author":"A. Maedche","year":"2002","unstructured":"Maedche, A., Zacharias, V.: Clustering Ontology-Based Metadata in the Semantic Web. In: Elomaa, T., Mannila, H., Toivonen, H. (eds.) PKDD 2002. LNCS, vol.\u00a02431, pp. 348\u2013360. Springer, Heidelberg (2002)"},{"issue":"3","key":"19_CR23","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":"19_CR24","doi-asserted-by":"crossref","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R. (eds.) Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-62927-0"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","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.F. Noy","year":"2000","unstructured":"Noy, N.F., 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, vol.\u00a01937, pp. 17\u201332. Springer, Heidelberg (2000)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1) (2005)","DOI":"10.1016\/j.websem.2005.05.002"},{"issue":"1","key":"19_CR27","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":"19_CR28","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\/11853107_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:19:43Z","timestamp":1619493583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853107_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540395867","9783540395874"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11853107_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}