Abstract
We present a method for an efficient knowledge-based access to relational data. Knowledge is represented as a set of rules (basic rules) and describes a source data at concept (ontological) level. Forward chaining in the integrated system is performed with extended rules, which are obtained by a goal- and dependency-directed transformation of the basic rules. The novel feature of our method is generality - every rule is generated so that includes all possible binding of the head predicates, and variable dependencies, while in many implementations of the magic method the succession of bindings depends on a query. We demonstrate a query answering algorithm and our prototypical implementation of the system coupled with the Jess engine. The results of performance evaluation are presented and compared to the results described in our previous works.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 471–477. Morgan Kaufmann Publishers (2005)
Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: An Analysis of the Performance of Rule Engines. In: Proceedings of the 18th International Conference on World Wide Web, pp. 601–610. ACM (2009)
Bak, J., Jedrzejek, C.: Application of an Ontology-based Model to a Selected Fraudulent Disbursement Economic Crime. In: Casanovas, P., Pagallo, U., Sartor, G., Ajani, G. (eds.) AICOL-II/JURIX 2009. LNCS (LNAI), vol. 6237, pp. 113–132. Springer, Heidelberg (2010)
Bak, J., Jedrzejek, C., Falkowski, M.: Application of the SDL Library to Reveal Legal Sanctions for Crime Perpetrators in Selected Economic Crimes: Fraudulent Disbursement and Money Laundering. In: Palmirani, M., Omair Shafiq, M., Francesconi, E., Vitali, F. (eds.) Proceedings of the 4th International RuleML 2010 Challenge, Washington, DC, USA, October 21-23, vol. 649 (2010)
Lloyd, J.W.: Foundations of logic programming, 2nd extended edn. Springer series in symbolic computation. Springer, New York (1987)
Forgy, C.: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence 19, 17–37 (1982)
Jess (Java Expert System Shell), http://jessrules.com/
Friedman-Hill, E.: Jess in Action. Manning Publications Co. (2003)
Nilsson, U., Maluszynski, J.: Logic, programming and Prolog, 2nd edn. John Wiley & Sons Ltd., Chichester (1995)
Beeri, C., Ramakrishnan, R.: On the Power of Magic. J. Log. Program., 255–299 (1991)
Sippu, S., Soisalon-Soininen, E.: Multiple SIP strategies and bottom-up adorning in logic query optimization. In: Abiteboul, S., Kanellakis, P.C. (eds.) ICDT 1990. LNCS, vol. 470, pp. 485–498. Springer, Heidelberg (1990)
Pellet Reasoner, http://clarkparsia.com/pellet/
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Swrl: A semanticweb rule language combining owl and ruleml. W3C Member Submission (May 21, 2004), http://www.w3.org/Submission/SWRL/
Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with Rules and Ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)
SWRL Built-ins, http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
Gallaire, H., Minker, J. (eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d’études et de recherches de Toulouse, 1977. Advances in Data Base Theory. Plenum Press, New York (1978)
McGuinness, D., van Harmelen, F.: Owl web ontology language overview. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-features/
Bak, J., Jedrzejek, C., Falkowski, M.: Usage of the Jess engine, rules and ontology to query a relational database. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 216–230. Springer, Heidelberg (2009)
Horridge, M., Bechhofer, S.: The OWL API: A Java API for Working with OWL 2 Ontologies. In: 6th OWL Experienced and Directions Workshop, OWLED 2009, Chantilly, Virginia (2009)
Bancilhon, F., Ramakrishnan, R.: An Amateur’s Introduction to Recursive Query Processing Strategies. In: Proceedings of ACJW SIGMOD Conference, pp. 16–52 (1986)
Lukacsy, G., Szeredi, P.: Efficient Description Logic Reasoning in Prolog: The DLog system. Theory and Practice of Logic Programming 09(03), 343–414 (2009)
Haley, P.: Data-driven backward chaining. In: International Joint Conferences on Artificial Intelligence, Milan, Italy (1987)
Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: Detailed Report (May 29, 2009), http://projects.semwebcentral.org/docman/view.php/158/69/report.pdf
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking Data to Ontologies. Journal on Data Semantics 10, 133–173 (2008)
Brass, S.: Implementation Alternatives for Bottom-Up Evaluation. In: 26th International Conference on Logic Programming, ICLP (Technical Communications), Edinburgh, pp. 44–53 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bak, J., Brzykcy, G., Jedrzejek, C. (2011). Extended Rules in Knowledge-Based Data Access. In: Olken, F., Palmirani, M., Sottara, D. (eds) Rule-Based Modeling and Computing on the Semantic Web. RuleML 2011. Lecture Notes in Computer Science, vol 7018. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24908-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-24908-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24907-5
Online ISBN: 978-3-642-24908-2
eBook Packages: Computer ScienceComputer Science (R0)