{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:14:25Z","timestamp":1725534865245},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018909"},{"type":"electronic","value":"9783642018916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01891-6_1","type":"book-chapter","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T04:33:42Z","timestamp":1247027622000},"page":"3-17","source":"Crossref","is-referenced-by-count":5,"title":["On Ontologies as Prior Conceptual Knowledge in Inductive Logic Programming"],"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":"1_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"1_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"},{"issue":"1\u20132","key":"1_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"},{"issue":"2","key":"1_CR4","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":"1_CR5","unstructured":"Calvanese, D., Lenzerini, M., Rosati, R., Vetere, G.: Dl-lite: Practical reasoning for rich dls. In: Haarslev, V., M\u00f6ller, R. (eds.) Proceedings of the 2004 International Workshop on Description Logics (DL 2004), CEUR Workshop Proceedings, vol.\u00a0104. CEUR-WS.org (2004)"},{"key":"1_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":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/5254.747902","volume":"14","author":"B. Chandrasekaran","year":"1999","unstructured":"Chandrasekaran, B., Josephson, J., Benjamins, V.: What are ontologies, and why do we need them? IEEE Intelligent Systems\u00a014(1), 20\u201326 (1999)","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. Raedt De","year":"1997","unstructured":"De Raedt, L.: Logical Settings for Concept-Learning. Artificial Intelligence\u00a095(1), 187\u2013201 (1997)","journal-title":"Artificial Intelligence"},{"issue":"2\u20133","key":"1_CR9","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":"1_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"Donini, F., 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":"3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0004-3702(91)90009-9","volume":"49","author":"A. Frisch","year":"1991","unstructured":"Frisch, A.: The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Artificial Intelligence\u00a049, 161\u2013198 (1991)","journal-title":"Artificial Intelligence"},{"key":"1_CR13","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. Frisch","year":"1999","unstructured":"Frisch, A.: 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":"1_CR14","first-page":"84","volume":"11","author":"A. Frisch","year":"1991","unstructured":"Frisch, A., Cohn, A.: Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Magazine\u00a011(5), 84\u201387 (1991)","journal-title":"AI Magazine"},{"issue":"3\/4","key":"1_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1613\/jair.2372","volume":"31","author":"B. Glimm","year":"2008","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                  . Journal of Artificial Intelligence Research\u00a031, 151\u2013198 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"1_CR17","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":"1_CR18","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"},{"issue":"1","key":"1_CR19","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., 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"},{"issue":"3","key":"1_CR20","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":"1_CR21","series-title":"LNAI","first-page":"117","volume-title":"Inductive Logic Programming","author":"J. Kietz","year":"2003","unstructured":"Kietz, J.: Learnability of description logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 117\u2013132. Springer, Heidelberg (2003)"},{"key":"1_CR22","unstructured":"van der Laag, P.: An analysis of refinement operators in inductive logic programming. Ph.D. Thesis, Erasmus University, Rotterdam, The Netherlands (1995)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Levy","year":"1998","unstructured":"Levy, A., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104, 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"issue":"03","key":"1_CR24","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1017\/S1471068407003195","volume":"8","author":"F. Lisi","year":"2008","unstructured":"Lisi, F.: Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. Theory and Practice of Logic Programming\u00a08(03), 271\u2013300 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"1_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-30109-7_18","volume-title":"Inductive Logic Programming","author":"F. Lisi","year":"2004","unstructured":"Lisi, F., 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":"1_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-85928-4_15","volume-title":"Inductive Logic Programming","author":"F. Lisi","year":"2008","unstructured":"Lisi, F., Esposito, F.: Foundations of Onto-Relational Learning. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 158\u2013175. Springer, Heidelberg (2008)"},{"key":"1_CR27","unstructured":"Lisi, F., Esposito, F.: Learning \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                  +log Rules for Ontology Evolution. In: Gangemi, A., Keizer, J., Presutti, V., Stoermer, H. (eds.) Semantic Web Applications and Perspectives (SWAP 2008), CEUR Workshop Proceedings, vol.\u00a0426 (2008)"},{"key":"1_CR28","series-title":"Lecture Notes in Artificial Intelligence","first-page":"49","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"F. Lisi","year":"2003","unstructured":"Lisi, F., 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 (LNAI), vol.\u00a02829, pp. 49\u201360. Springer, Heidelberg (2003)"},{"key":"1_CR29","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-540-39917-9_15","volume-title":"Inductive Logic Programming","author":"F. Lisi","year":"2003","unstructured":"Lisi, F., 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":"1_CR30","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1023\/B:MACH.0000023151.65011.a3","volume":"55","author":"F. Lisi","year":"2004","unstructured":"Lisi, F., Malerba, D.: Inducing Multi-Level Association Rules from Multiple Relations. Machine Learning\u00a055, 175\u2013210 (2004)","journal-title":"Machine Learning"},{"key":"1_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"1_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12405-5","volume-title":"Machine Learning: an artificial intelligence approach","author":"R. Michalski","year":"1983","unstructured":"Michalski, R.: A theory and methodology of inductive learning. In: Michalski, R., Carbonell, J., Mitchell, T. (eds.) Machine Learning: an artificial intelligence approach, vol.\u00a0I. Morgan Kaufmann, San Mateo (1983)"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"T. Mitchell","year":"1982","unstructured":"Mitchell, T.: Generalization as search. Artificial Intelligence\u00a018, 203\u2013226 (1982)","journal-title":"Artificial Intelligence"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/978-3-540-30475-3_38","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B. Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 549\u2013563. Springer, Heidelberg (2004)"},{"key":"1_CR35","first-page":"82","volume-title":"Advances in Inductive Logic Programming","author":"C. N\u00e9dellec","year":"1996","unstructured":"N\u00e9dellec, C., Rouveirol, C., Ad\u00e9, H., Bergadano, F., Tausend, B.: Declarative bias in ILP. In: Raedt, L.D. (ed.) Advances in Inductive Logic Programming, pp. 82\u2013103. IOS Press, Amsterdam (1996)"},{"key":"1_CR36","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S., de Wolf, R.: Foundations of Inductive Logic Programming. In: Nienhuys-Cheng, S.-H., de Wolf, R. (eds.) Foundations of Inductive Logic Programming. LNCS (LNAI), vol.\u00a01228. Springer, Heidelberg (1997)"},{"key":"1_CR37","first-page":"153","volume":"5","author":"G. Plotkin","year":"1970","unstructured":"Plotkin, G.: A note on inductive generalization. Machine Intelligence\u00a05, 153\u2013163 (1970)","journal-title":"Machine Intelligence"},{"key":"1_CR38","first-page":"101","volume":"6","author":"G. Plotkin","year":"1971","unstructured":"Plotkin, G.: A further note on inductive generalization. Machine Intelligence\u00a06, 101\u2013121 (1971)","journal-title":"Machine Intelligence"},{"key":"1_CR39","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":"1_CR40","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"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"1_CR42","first-page":"68","volume-title":"Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: \n                    \n                      \n                    \n                    $\\mathcal{DL}$\n                  +log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"1_CR43","series-title":"LNAI","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":"1_CR44","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":"1_CR45","unstructured":"Shapiro, E.: Inductive inference of theories from facts. Technical Report 624, Dept. of Computer Science. Yale University (1981)"},{"key":"1_CR46","first-page":"414","volume-title":"Proceedings of the 2nd National Conference on Artificial Intelligence","author":"P. Utgoff","year":"1982","unstructured":"Utgoff, P., Mitchell, T.: Acquisition of appropriate bias for inductive concept learning. In: Proceedings of the 2nd National Conference on Artificial Intelligence, pp. 414\u2013418. Morgan Kaufmann, Los Altos (1982)"}],"container-title":["Studies in Computational Intelligence","Knowledge Discovery Enhanced with Semantic and Social Information"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01891-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T21:31:53Z","timestamp":1552080713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01891-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018909","9783642018916"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01891-6_1","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}