{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:21:47Z","timestamp":1732033307812},"reference-count":45,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2010,5,17]],"date-time":"2010-05-17T00:00:00Z","timestamp":1274054400000},"content-version":"unspecified","delay-in-days":16,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose a new method for mining frequent patterns in a language that combines both Semantic Web ontologies and rules. In particular, we consider the setting of using a language that combines description logics (DLs) with DL-safe rules. This setting is important for the practical application of data mining to the Semantic Web. We focus on the relation of the semantics of the representation formalism to the task of frequent pattern discovery, and for the core of our method, we propose an algorithm that exploits the semantics of the combined knowledge base. We have developed a proof-of-concept data mining implementation of this. Using this we have empirically shown that using the combined knowledge base to perform semantic tests can make data mining faster by pruning useless candidate patterns before their evaluation. We have also shown that the quality of the set of patterns produced may be improved: the patterns are more compact, and there are fewer patterns. We conclude that exploiting the semantics of a chosen representation formalism is key to the design and application of (onto-)relational frequent pattern discovery methods.<\/jats:p>","DOI":"10.1017\/s1471068410000098","type":"journal-article","created":{"date-parts":[[2010,5,17]],"date-time":"2010-05-17T13:58:24Z","timestamp":1274104704000},"page":"251-289","source":"Crossref","is-referenced-by-count":27,"title":["The role of semantics in mining frequent patterns from knowledge bases in description logics with rules"],"prefix":"10.1017","volume":"10","author":[{"given":"JOANNA","family":"J\u00d3ZEFOWSKA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"AGNIESZKA","family":"\u0141AWRYNOWICZ","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TOMASZ","family":"\u0141UKASZEWSKI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,5,17]]},"reference":[{"key":"S1471068410000098_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11875604_37"},{"key":"S1471068410000098_ref15","doi-asserted-by":"crossref","unstructured":"Eiter T. , Lukasiewicz T. , Schindlauer R. and Tompits H. 2004b. Well-founded semantics for description logic programs in the Semantic Web. In Proceedings of the 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML-2004). 81\u201397.","DOI":"10.1007\/978-3-540-30504-0_7"},{"key":"S1471068410000098_ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009863704807"},{"key":"S1471068410000098_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068410000098_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04599-2"},{"key":"S1471068410000098_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.04.002"},{"key":"S1471068410000098_ref9","first-page":"30","volume-title":"Proc. of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD'1998)","author":"Dehaspe","year":"1998"},{"key":"S1471068410000098_ref30","unstructured":"Lisi F. 2007. Reasoning with OWL-DL in inductive logic programming. In Proc. of the Third International Workshop, OWL: Experiences and Directions (OWLED 2007)."},{"key":"S1471068410000098_ref33","first-page":"384","volume-title":"ESWC","author":"Lukasiewicz","year":"2007"},{"key":"S1471068410000098_ref2","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"S1471068410000098_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"S1471068410000098_ref20","first-page":"152","volume-title":"Proc. of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004)","author":"Hustadt","year":"2004"},{"key":"S1471068410000098_ref14","unstructured":"Eiter T. , Lukasiewicz T. , Schindlauer R. and Tompits H. 2004a. Combining answer set programming with description logics for the Semantic Web. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR 2004). 141\u2013151."},{"key":"S1471068410000098_ref7","unstructured":"de Raedt L. and Ramon J. 2004. Condensed representations for inductive logic programming. In Proc. of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004). 438\u2013446."},{"key":"S1471068410000098_ref26","first-page":"283","article-title":"Accurate prediction of protein class in the M. tuberculosis and E. coli genomes using data mining","volume":"17","author":"King","year":"2000","journal-title":"Yeast (Comparative and Functional Genomics)"},{"key":"S1471068410000098_ref35","unstructured":"Motik B. 2006. Reasoning in Description Logics Using Resolution and Deductive Databases. PhD thesis, Universitaet Karlsruhe (TH), Karlsruhe, Germany."},{"key":"S1471068410000098_ref24","first-page":"287","volume-title":"Managing Knowledge in a World of Networks, Proc. of EKAW 2006","author":"J\u00f3zefowska","year":"2006"},{"key":"S1471068410000098_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"S1471068410000098_ref32","first-page":"158","volume-title":"ILP","author":"Lisi","year":"2008"},{"key":"S1471068410000098_ref5","doi-asserted-by":"crossref","unstructured":"Cumbo C. , Faber W. , Greco G. and Leone N. 2004. Enhancing the magic-set method for disjunctive Datalog programs. In Proc. of the 20th International Conference on Logic Programming (ICLP'04). 371\u2013385.","DOI":"10.1007\/978-3-540-27775-0_26"},{"key":"S1471068410000098_ref43","unstructured":"Rosati R. 2006. + log: Tight integration of description logics and disjunctive Datalog. In Proc. of KR 2006, 68\u201378."},{"key":"S1471068410000098_ref6","first-page":"48","volume-title":"EKAW","author":"d'Amato","year":"2008"},{"key":"S1471068410000098_ref37","doi-asserted-by":"crossref","unstructured":"Motik B. and Sattler U. 2006. A comparison of reasoning techniques for querying large description logic ABoxes. In Proc. of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006).","DOI":"10.1007\/11916277_16"},{"key":"S1471068410000098_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.001"},{"key":"S1471068410000098_ref17","first-page":"195","volume-title":"ISWC'08: Proceedings of the 7th International Conference on The Semantic Web","author":"Fanizzi","year":"2008"},{"key":"S1471068410000098_ref18","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. of the 12th International World Wide Web Conference (WWW 2003)","author":"Grosof","year":"2003"},{"key":"S1471068410000098_ref1","volume-title":"The description logic handbook: Theory, implementation and applications","author":"Baader","year":"2003"},{"key":"S1471068410000098_ref19","unstructured":"Horrocks I. , Patel-Schneider P. , Boley H. , Tabet S. , Grosof B. and Dean M. 2004. SWRL: A Semantic Web rule language combining OWL and RuleML. W3C Member Submission. Available at URL: http:\/\/www.w3.org\/Submission\/SWRL\/."},{"key":"S1471068410000098_ref21","unstructured":"Hustadt U. , Motik B. and Sattler U. 2005. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005. 466\u2013471."},{"key":"S1471068410000098_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9080-3"},{"key":"S1471068410000098_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11580072_8"},{"key":"S1471068410000098_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88737-9_16"},{"key":"S1471068410000098_ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"key":"S1471068410000098_ref28","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/17.5.445"},{"key":"S1471068410000098_ref31","doi-asserted-by":"publisher","DOI":"10.1023\/B:MACH.0000023151.65011.a3"},{"key":"S1471068410000098_ref34","unstructured":"McGuinness D. and van Harmelen F. 2004. OWL Web ontology language overview. W3C Recommendation. Available at URL: http:\/\/www.w3.org\/TR\/owl-features\/."},{"key":"S1471068410000098_ref36","unstructured":"Motik B. and Rosati R. 2007. A faithful integration of description logics with logic programming. In Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). 477\u2013482."},{"key":"S1471068410000098_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0"},{"key":"S1471068410000098_ref40","unstructured":"Nijssen S. and Kok J. 2001. Faster association rules for multiple relations. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI'2001). 891\u2013897."},{"key":"S1471068410000098_ref3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1559795.1559809","volume-title":"PODS","author":"Cal\u00ec","year":"2009"},{"key":"S1471068410000098_ref41","unstructured":"Nijssen S. and Kok J. 2003. Efficient frequent query discovery in FARMER. In Proc. of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2003). Lecture Notes in Artificial Intelligence, vol. 2431. 350\u2013362."},{"key":"S1471068410000098_ref42","unstructured":"Parsia B. , Kolovski V. and Sirin E. 2006. Extending the (D) tableaux with DL-safe rules: First results. In Proc. of the Int. Description Logics Workshop (DL 2006), CEUR Workshop Proceedings 189."},{"key":"S1471068410000098_ref44","unstructured":"Ruttenberg A. , Rees J. and Luciano J. 2005. Experience using OWL DL for the exchange of biological pathway information. In Proc. of OWL-ED 05. Vol. 188. CEUR."},{"key":"S1471068410000098_ref45","first-page":"583","article-title":"Using OWL to model biological knowledge","volume":"65","author":"Stevens","year":"2007","journal-title":"International Journal of Man-Machine Studies"},{"key":"S1471068410000098_ref27","doi-asserted-by":"crossref","unstructured":"King R. D. , Karwath A. , Clare A. and Dehaspe L. 2000b. Genome scale prediction of protein functional class from sequence using data mining. In Proc. of the Sixth ACM SIGKDD international conference on Knowledge discovery and data mining (KDD'2000). 384\u2013389.","DOI":"10.1145\/347090.347172"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,27]],"date-time":"2021-10-27T22:33:09Z","timestamp":1635373989000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000098\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["S1471068410000098"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000098","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}