{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:32:50Z","timestamp":1725517970875},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859277"},{"type":"electronic","value":"9783540859284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85928-4_15","type":"book-chapter","created":{"date-parts":[[2008,8,28]],"date-time":"2008-08-28T15:39:12Z","timestamp":1219937952000},"page":"158-175","source":"Crossref","is-referenced-by-count":9,"title":["Foundations of Onto-Relational Learning"],"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":"15_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)"},{"issue":"1\u20132","key":"15_CR2","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":"15_CR3","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"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"15_CR5","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)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"L. Raedt De","year":"1994","unstructured":"De Raedt, L., D\u017eeroski, S.: First order jk-clausal theories are PAC-learnable. Artificial Intelligence\u00a070, 375\u2013392 (1994)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"15_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":"3","key":"15_CR8","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"},{"issue":"5","key":"15_CR9","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":"3\/4","key":"15_CR10","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":"15_CR11","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":"15_CR12","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":"15_CR13","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":"15_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"},{"issue":"3","key":"15_CR15","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":"15_CR16","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)"},{"key":"15_CR17","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"},{"issue":"03","key":"15_CR18","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1017\/S1471068407003195","volume":"8","author":"F.A. Lisi","year":"2008","unstructured":"Lisi, F.A.: 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":"15_CR19","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.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":"15_CR20","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":"15_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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":"15_CR22","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":"1","key":"15_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. Journal on Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal on Web Semantics"},{"key":"15_CR24","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":"15_CR25","unstructured":"Rosati, R.: Towards expressive KR systems integrating Datalog and description logics: preliminary report. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P.F. (eds.) Proceedings of the 1999 International Workshop on Description Logics (DL 1999). CEUR Workshop Proceedings (1999)"},{"key":"15_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"},{"key":"15_CR27","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":"15_CR28","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.A. (eds.) Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"15_CR29","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":"15_CR30","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"}],"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_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:55:18Z","timestamp":1619524518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85928-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540859277","9783540859284"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85928-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}