The role of semantics in mining frequent patterns from knowledge bases in description logics with rules

Theory and Practice of Logic Programming

Volumn 10, Issue 3, 2010, Pages 251-289

  Józefowska, Joanna ^a   Ławrynowicz, Agnieszka ^a   Łukaszewski, Tomasz ^a  

^a POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

DL safe rules; frequent pattern discovery; ontologies; Semantic Web

Indexed keywords

CANDIDATE PATTERNS; CHOSEN REPRESENTATION; DESCRIPTION LOGIC; DESIGN AND APPLICATION; DL-SAFE RULES; FREQUENT PATTERN DISCOVERY; FREQUENT PATTERNS; KNOWLEDGE BASE; KNOWLEDGE BASIS; PROOF OF CONCEPT; REPRESENTATION FORMALISMS; SEMANTIC WEB ONTOLOGIES;

DATA DESCRIPTION; DATA MINING; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LINGUISTICS; ONTOLOGY;

SEMANTIC WEB;

EID: 77957267793     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000098     Document Type: Article

References (45)

1. BAADER, F., CALVANESE, D., MCGUINNESS, D., NARDI, D. AND PATEL-SCHNEIDER, P., Eds. 2003. The description logic handbook: Theory, implementation and applications. Cambridge University Press, Cambridge.
2. BERNERS-LEE, T., HENDLER, J. AND LASSILA, O. 2001. The Semantic Web. Scientific American 284, 5, 34-43. (Pubitemid 43964318)
3. CALÌ, A., GOTTLOB, G. AND LUKASIEWICZ, T. 2009. A general Datalog-based framework for tractable query answering over ontologies. In PODS, J. Paredaens and J. Su, Eds. ACM, 77-86.
4. CALVANESE, D., GIACOMO, G., LEMBO, D., LENZERINI, M. AND ROSATI, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39, 3, 385-429. (Pubitemid 47340922)
5. 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-385. (Pubitemid 39224286)
6. D'AMATO, C., STAAB, S. AND FANIZZI, N. 2008. On the influence of description logics ontologies on conceptual similarity. In EKAW, A. Gangemi and J. Euzenat, Eds. Lecture Notes in Computer Science, vol. 5268. Springer, 48-63.
7. 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-446.
8. DEHASPE, L. AND TOIVONEN, H. 1999. Discovery of frequent Datalog patterns. Data Mining and Knowledge Discovery 3, 1, 7-36.
9. DEHASPE, L., TOIVONEN, H. AND KING, R. D. 1998. Finding frequent substructures in chemical compounds. In Proc. of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD'1998). AAAI Press, 30-36.
10. DONINI, F., LENZERINI, M., NARDI, D. AND SCHAERF, A. 1998. AL-log: Integrating Datalog and description logics. Journal of Intelligent Information Systems 10, 3, 227-252. (Pubitemid 128517645)
11. DZEROSKI, S. AND LAVRAC, N., Eds. 2001. Relational Data Mining. Springer.
12. EITER, T., GOTTLOB, G. AND MANNILA, H. 1997. Disjunctive Datalog. ACM Transactions on Database Systems 22, 3, 364-418. (Pubitemid 127483103)
13. EITER, T., IANNI, G., LUKASIEWICZ, T., SCHINDLAUER, R. AND TOMPITS, H. 2008. Combining answer set programming with description logics for the Semantic Web. Artificial Intelligence 172, 12-13, 1495-1539.
14. 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-151.
15. 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-97.
16. FANIZZI, N. AND D'AMATO, C. 2006. A declarative kernel for ALC concept descriptions. In Foundations of Intelligent Systems, 16th International Symposium, F. Esposito, Z. W. Ras, D. Malerba and G. Semeraro, Eds. Lecture Notes in Computer Science, vol. 4203. Springer, Berlin-Heidelberg, Germany, 322-331. (Pubitemid 44618675)
17. FANIZZI, N., D'AMATO, C. AND ESPOSITO, F. 2008. Statistical learning for inductive query answering on OWL ontologies. In ISWC'08: Proceedings of the 7th International Conference on The Semantic Web. Springer-Verlag, Berlin, 195-212.
18. GROSOF, B. N., HORROCKS, I., VOLZ, R. AND DECKER, S. 2003. Description logic programs: Combining logic programs with description logic. In Proc. of the 12th International World Wide Web Conference (WWW 2003). ACM Press, 48-57.
19. HORROCKS, I., PATEL-SCHNEIDER, P., BOLEY, H., TABET, S., GROSOF, B. AND DEAN, M. 2004. SWRL: A Semantic Web rule language combining OWL and Rule ML. W3C Member Submission. Available at URL: http://www.w3.org/Submission/SWRL/.
20. - description logic to disjunctive Datalog programs. In Proc. of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004). AAAI Press, 152-162.
21. HUSTADT, U., MOTIK, B. AND SATTLER, U. 2005. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005. 466-471. (Pubitemid 40773677)
22. HUSTADT, U., MOTIK, B. AND SATTLER, U. 2007. Reasoning in description logics by a reduction to disjunctive Datalog. Journal of Automated Reasoning 39, 3, 351-384. (Pubitemid 47340921)
23. JÓZEFOWSKA, J., łAWRYNOWICZ, A. AND łUKASZEWSKI, T. 2005. Towards discovery of frequent patterns in description logics with rules. In Proc. of International Conference on Rules and Rule Markup Languages for the Semantic Web (Rule ML 2005), A. Adi, S. Stoutenburg and S. Tabet, Eds. Lecture Notes in Computer Science, vol. 3791. Springer, 84-97. (Pubitemid 43774502)
24. JÓZEFOWSKA, J., łAWRYNOWICZ, A. AND łUKASZEWSKI, T. 2006. Frequent pattern discovery in OWL DLP knowledge bases. In Managing Knowledge in a World of Networks, Proc. of EKAW 2006, S. Staab and V. Svatek, Eds. Lecture Notes in Artificial Intelligence, vol. 4248. Springer, 287-302. (Pubitemid 44700033)
25. JÓZEFOWSKA, J., łAWRYNOWICZ, A. AND ŁUKASZEWSKI, T. 2008. On reducing redundancy in mining relational association rules from the Semantic Web. In Proc. of the Second International Conference on Web Reasoning and Rule Systems (RR'2008), D. Calvanese and G. Lausen, Eds. Lecture Notes in Computer Science, vol. 5341. Springer, 205-213.
26. KING, R. D., KARWATH, A., CLARE, A. AND DEHASPE, L. 2000a. Accurate prediction of protein class in the M. tuberculosis and E. coli genomes using data mining. Yeast (Comparative and Functional Genomics) 17, 4, 283-293.
27. 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-389.
28. KING, R. D., KARWATH, A., CLARE, A. AND DEHASPE, L. 2001. The utility of different representations of protein sequence for predicting functional class. Bioinformatics 17, 5, 445-454. (Pubitemid 32440305)
29. LEVY, A. AND ROUSSET, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104, 1-2, 165-209. (Pubitemid 128400989)
30. LISI, F. 2007. Reasoning with OWL-DL in inductive logic programming. In Proc. of the Third International Workshop, OWL: Experiences and Directions (OWLED 2007).
31. LISI, F. AND MALERBA, D. 2004. Inducing multi-level association rules from multiple relations. Machine Learning Journal 55, 2, 175-210.
32. LISI, F. A. AND ESPOSITO, F. 2008. Foundations of onto-relational learning. In ILP, F. Zelezný and N. Lavrac, Eds. Lecture Notes in Computer Science, vol. 5194. Springer, 158-175.
33. LUKASIEWICZ, T. 2007. A novel combination of answer set programming with description logics for the Semantic Web. In ESWC, E. Franconi, M. Kifer and W May, Eds. Lecture Notes in Computer Science, vol. 4519. Springer, 384-398. (Pubitemid 47290021)
34. MCGUINNESS, D. AND VAN HARMELEN, F. 2004. OWL Web ontology language overview. W3C Recommendation. Available at URL: http://www.w3.org/TR/owl- features/.
35. MOTIK, B. 2006. Reasoning in Description Logics Using Resolution and Deductive Databases. PhD thesis, Universitaet Karlsruhe (TH), Karlsruhe, Germany.
36. 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-482.
37. 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). (Pubitemid 44850679)
38. MOTIK, B., SATTLER, U. AND STUDER, R. 2005. Query answering for OWL-DL with rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3, 1, 41-60. (Pubitemid 40891658)
39. NIENHUYS-CHENG, S. AND DE WOLF, R. 1997. Foundations of inductive logic programming. Lecture Notes in Artificial Intelligence, vol. 1228. Springer.
40. 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-897.
41. 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-362. (Pubitemid 37231109)
42. PARSIA, B., KOLOVSKI, V. AND SIRIN, E. 2006. Extending the SHOIQ (D) tableaux with DL-safe rules: First results. In Proc. of the Int. Description Logics Workshop (DL 2006), CEUR Workshop Proceedings 189.
43. ROSATI, R. 2006. DL + log: Tight integration of description logics and disjunctive Datalog. In Proc. of KR 2006, 68-78.
44. 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.
45. STEVENS, R., ARANGUREN, M. E., WOLSTENCROFT, K., SATTLER, U., DRUMMOND, N., HORRIDGE, M. AND RECTOR, A. L. 2007. Using OWL to model biological knowledge. International Journal of Man-Machine Studies 65, 7, 583-594. (Pubitemid 46803278)