Abstract
The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multi-documents, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alcântara, J., Damásio, C.V., Pereira, L.M.: An encompassing framework for paraconsistent logic programs. J. Applied Logic 3(1), 67–95 (2005)
Alferes, J.J., Damásio, C.V., Pereira, L.M.: A Logic Programming System for Non-monotonic Reasoning. Journal of Automated Reasoning 14(1), 93–147 (1995)
Alferes, J.J., Pereira, L.M.: On Logic Program Semantics with Two Kinds of Negation. In: Proc. of JICSLP 1992, pp. 574–588 (1992)
Analyti, A., Antoniou, G., Damásio, C.V.: A Principled Framework for Modular Web Rule Bases and Its Semantics. In: KR 2008, pp. 390–400. AAAI press, Menlo Park (2008)
Analyti, A., Antoniou, G., Damásio, C.V.: MWeb: A principled framework for modular web rule bases and its semantics. ACM TOCL 12(2):#17, 41 (2011)
Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 349–371. Springer, Heidelberg (2009)
Boley, H., Kifer, M.: A guide to the basic logic dialect for rule interchange on the web. IEEE Trans. Knowl. Data Eng. 22(11), 1593–1608 (2010)
Bugliesi, M., Lamma, E., Mello, P.: Modularity in Logic Programming. Journal of Logic Programming 19(20), 443–502 (1994)
Cabalar, P., Odintsov, S.P., Pearce, D., Valverde, A.: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4), 305–331 (2007)
Cabalar, P., Pearce, D., Rondogiannis, P., Wadge, W.W.: A purely model-theoretic semantics for disjunctive logic programs with negation. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 44–57. Springer, Heidelberg (2007)
Damásio, C.V., Pereira, L.M.: A model theory for paraconsistent logic programming. In: Pinto-Ferreira, C., Mamede, N.J. (eds.) EPIA 1995. LNCS (LNAI), vol. 990, pp. 377–386. Springer, Heidelberg (1995)
Damásio, C.V., Pereira, L.M.: A Survey of Paraconsistent Semantics for Logic Programs. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 241–320. Kluwer Academic Publishers, Dordrecht (1998)
Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular nonmonotonic logic programming revisited. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 145–159. Springer, Heidelberg (2009)
Doran, P., Tamma, V., Iannone, L.: Ontology module extraction for ontology reuse: an ontology engineering perspective. In: Proc. of ACM-CIKM 2007, pp. 61–70. ACM, New York (2007)
Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation. In: 7th International Conference on Logic Programming (ICLP 1990), pp. 579–597 (1990)
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. IJCAI 2007, pp. 298–304. AAAI, Menlo Park (2007)
Kifer, M.: Flora-2: An object-oriented knowledge base language (2007), http://flora.sourceforge.net/
Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proc. of ECAI 2008, pp. 55–59. IOS Press, Amsterdam (2008)
Oikarinen, E., Janhunen, T.: Modular Equivalence for Normal Logic Programs. In: Proc. of ECAI 2006, pp. 412–416 (2006)
W3C OWL Working Group (ed.) OWL 2 Web Ontology Language Document Overview. W3C Recommendation (October 27, 2009)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation (February 10, 2004)
Pearce, D.: Equilibrium logic. Annals of Math. and Artificial Intelligence 47(1-2), 3–41 (2006)
Boley, H., Kifer, M. (eds.) RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010)
Heymans, S., Kifer, M. (eds.) RIF Core Answer Set Programming Dialect, 2009. RuleML specification (December 17, 2009)
Kifer, M. (ed.) RIF Core Logic Programming Dialect Based on the Well-founded Semantics, 2009. RuleML specification (August 13, 2010)
Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.) RIF Core Logic Dialect, W3C Recommendation (2010) (June 22, 2010)
Boley, H., Kifer, M. (eds.) RIF Framework for Logic Dialects, W3C Recommendation (2010) (June 22, 2010)
de Sainte Marie, C., Hallmark, G., Paschke, A. (eds.): RIF Production Rule Dialect. W3C Recommendation (June 22, 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
Damásio, C.V., Analyti, A., Antoniou, G. (2011). Modularity in the Rule Interchange Format. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-22546-8_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22545-1
Online ISBN: 978-3-642-22546-8
eBook Packages: Computer ScienceComputer Science (R0)