{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:11:12Z","timestamp":1725729072507},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388118"},{"type":"electronic","value":"9783642388125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38812-5_11","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T21:10:03Z","timestamp":1370293803000},"page":"151-165","source":"Crossref","is-referenced-by-count":3,"title":["A Declarative Modeling Language for Concept Learning in Description Logics"],"prefix":"10.1007","author":[{"given":"Francesca Alessandra","family":"Lisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"11_CR2","first-page":"319","volume-title":"IJCAI 2003: Proceedings of the 18th International Joint Conference on Artificial Intelligence","author":"F. Baader","year":"2003","unstructured":"Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 319\u2013324. Morgan Kaufmann Publishers Inc., San Francisco (2003)"},{"key":"11_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44960-4_3","volume-title":"Inductive Logic Programming","author":"L. Badea","year":"2000","unstructured":"Badea, L., Nienhuys-Cheng, S.-H.: A refinement operator for description logics. In: Cussens, J., Frisch, A. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 40\u201359. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"11_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-2), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"key":"11_CR5","unstructured":"Cohen, W.W., Borgida, A., Hirsh, H.: Computing least common subsumers in description logics. In: Proc. of the 10th National Conf. on Artificial Intelligence, pp. 754\u2013760. The AAAI Press \/ The MIT Press (1992)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learnability of description logics. In: Haussler, D. (ed.) Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, COLT 1992, Pittsburgh, PA, USA, July 27-29. ACM (1992)","DOI":"10.1145\/130385.130398"},{"issue":"2-3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF00993470","volume":"17","author":"W.W. Cohen","year":"1994","unstructured":"Cohen, W.W., Hirsh, H.: The learnability of description logics with equality constraints. Machine Learning\u00a017(2-3), 169\u2013199 (1994)","journal-title":"Machine Learning"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learning the CLASSIC description logic: Thoretical and experimental results. In: Proc. of the 4th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1994), pp. 121\u2013133. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"key":"11_CR9","unstructured":"Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F.M., Ragone, A.: Second-order description logics: Semantics, motivation, and a calculus. In: Haarslev, V., Toman, D., Weddell, G.E. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7. CEUR Workshop Proceedings, vol.\u00a0573. CEUR-WS.org (2010)"},{"key":"11_CR10","unstructured":"Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F.M., Ragone, A.: A unified framework for non-standard reasoning services in description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, August 16-20. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 479\u2013484. IOS Press (2010)"},{"key":"11_CR11","unstructured":"Colucci, S., Donini, F.M.: Inverting subsumption for constructive reasoning. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Proceedings of the 2012 International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10. CEUR Workshop Proceedings, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"11_CR12","unstructured":"De Raedt, L., Guns, T., Nijssen, S.: Constraint programming for data mining and machine learning. In: Fox, M., Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15. AAAI Press (2010)"},{"issue":"5","key":"11_CR13","first-page":"61","volume":"1","author":"L. Raedt De","year":"2011","unstructured":"De Raedt, L., Nijssen, S., O\u2019Sullivan, B., Van Hentenryck, P.: Constraint programming meets machine learning and data mining (dagstuhl seminar 11201). Dagstuhl Reports\u00a01(5), 61\u201383 (2011)","journal-title":"Dagstuhl Reports"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-75549-4_16","volume-title":"Knowledge Discovery in Inductive Databases","author":"S. D\u017eeroski","year":"2007","unstructured":"D\u017eeroski, S.: Towards a general framework for data mining. In: D\u017eeroski, S., Struyf, J. (eds.) KDID 2006. LNCS, vol.\u00a04747, pp. 259\u2013300. Springer, Heidelberg (2007)"},{"key":"11_CR15","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90\u201396 (2005)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-30475-3_31","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"F. Esposito","year":"2004","unstructured":"Esposito, F., Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Knowledge-intensive induction of terminologies from metadata. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 441\u2013455. Springer, Heidelberg (2004)"},{"key":"11_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-30115-8_12","volume-title":"Machine Learning: ECML 2004","author":"N. Fanizzi","year":"2004","unstructured":"Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Concept formation in expressive description logics. In: Boulicaut, J.-F., Esposito, F., Giannotti, F., Pedreschi, D. (eds.) ECML 2004. LNCS (LNAI), vol.\u00a03201, pp. 99\u2013110. Springer, Heidelberg (2004)"},{"key":"11_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-85928-4_12","volume-title":"Inductive Logic Programming","author":"N. Fanizzi","year":"2008","unstructured":"Fanizzi, N., d\u2019Amato, C., Esposito, F.: DL-FOIL concept learning in description logics. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 107\u2013121. Springer, Heidelberg (2008)"},{"issue":"2-3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00114009","volume":"25","author":"M. Frazier","year":"1996","unstructured":"Frazier, M., Pitt, L.: CLASSIC learning. Machine Learning\u00a025(2-3), 151\u2013193 (1996)","journal-title":"Machine Learning"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-20847-8_32","volume-title":"Advances in Knowledge Discovery and Data Mining","author":"T. Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., De Raedt, L.: Evaluating pattern set mining strategies in a constraint programming framework. In: Huang, J.Z., Cao, L., Srivastava, J. (eds.) PAKDD 2011, Part II. LNCS, vol.\u00a06635, pp. 382\u2013394. Springer, Heidelberg (2011)"},{"issue":"12-13","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.artint.2011.05.002","volume":"175","author":"T. Guns","year":"2011","unstructured":"Guns, T., Nijssen, S., De Raedt, L.: Itemset mining: A constraint programming perspective. Artificial Intelligence\u00a0175(12-13), 1951\u20131983 (2011)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic\u00a015(2), 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10489-006-0011-5","volume":"26","author":"L. Iannone","year":"2007","unstructured":"Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the semantic web. Applied Intelligence\u00a026(2), 139\u2013159 (2007)","journal-title":"Applied Intelligence"},{"issue":"1","key":"11_CR24","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J.U. Kietz","year":"1994","unstructured":"Kietz, J.U., Morik, K.: A polynomial approach to the constructive induction of structural knowledge. Machine Learning\u00a014(1), 193\u2013217 (1994)","journal-title":"Machine Learning"},{"key":"11_CR25","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Non-Standard Inferences in Description Logics","year":"2001","unstructured":"K\u00fcsters, R. (ed.): Non-Standard Inferences in Description Logics. LNCS (LNAI), vol.\u00a02100. Springer, Heidelberg (2001)"},{"issue":"1","key":"11_CR26","first-page":"47","volume":"15","author":"R. K\u00fcsters","year":"2002","unstructured":"K\u00fcsters, R., Molitor, R.: Approximating most specific concepts in description logics with existential restrictions. AI Communications\u00a015(1), 47\u201359 (2002)","journal-title":"AI Communications"},{"key":"11_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-78469-2_18","volume-title":"Inductive Logic Programming","author":"J. Lehmann","year":"2008","unstructured":"Lehmann, J., Hitzler, P.: Foundations of Refinement Operators for Description Logics. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 161\u2013174. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"11_CR28","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10994-009-5146-2","volume":"78","author":"J. Lehmann","year":"2010","unstructured":"Lehmann, J., Hitzler, P.: Concept learning in description logics using refinement operators. Machine Learning\u00a078(1-2), 203\u2013250 (2010)","journal-title":"Machine Learning"},{"key":"11_CR29","first-page":"2639","volume":"10","author":"J. Lehmann","year":"2009","unstructured":"Lehmann, J.: DL-Learner: Learning Concepts in Description Logics. Journal of Machine Learning Research\u00a010, 2639\u20132642 (2009)","journal-title":"Journal of Machine Learning Research"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-13840-9_8","volume-title":"Inductive Logic Programming","author":"J. Lehmann","year":"2010","unstructured":"Lehmann, J., Haase, C.: Ideal Downward Refinement in the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 Description Logic. In: De Raedt, L. (ed.) ILP 2009. LNCS, vol.\u00a05989, pp. 73\u201387. Springer, Heidelberg (2010)"},{"key":"11_CR31","unstructured":"McGuinness, D.L., Patel-Schneider, P.F.: Usability issues in knowledge representation systems. In: Mostow, J., Rich, C. (eds.) Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI 1998, IAAI 1998, Madison, Wisconsin, USA, July 26-30, pp. 608\u2013614. AAAI Press\/The MIT Press (1998)"},{"key":"11_CR32","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":"11_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning and Revision in Hybrid Representation Systems","year":"1990","unstructured":"Nebel, B. (ed.): Reasoning and Revision in Hybrid Representation Systems. LNCS, vol.\u00a0422. Springer, Heidelberg (1990)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Nijssen, S., Guns, T., De Raedt, L.: Correlated itemset mining in ROC space: a constraint programming approach. In: Elder IV, J.F., Fogelman-Souli\u00e9, F., Flach, P.A., Zaki, M.J. (eds.) Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28-July 1, pp. 647\u2013656. ACM (2009)","DOI":"10.1145\/1557019.1557092"},{"key":"11_CR35","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"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38812-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T13:26:56Z","timestamp":1557754016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38812-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388118","9783642388125"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38812-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}