{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:15:50Z","timestamp":1743016550387,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_25","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T00:30:13Z","timestamp":1310603413000},"page":"313-328","source":"Crossref","is-referenced-by-count":1,"title":["Modularity in the Rule Interchange Format"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Anastasia","family":"Analyti","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"25_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jal.2004.07.012","volume":"3","author":"J. Alc\u00e2ntara","year":"2005","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Pereira, L.M.: An encompassing framework for paraconsistent logic programs. J. Applied Logic\u00a03(1), 67\u201395 (2005)","journal-title":"J. Applied Logic"},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A Logic Programming System for Non-monotonic Reasoning. Journal of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR3","unstructured":"Alferes, J.J., Pereira, L.M.: On Logic Program Semantics with Two Kinds of Negation. In: Proc. of JICSLP 1992, pp. 574\u2013588 (1992)"},{"key":"25_CR4","first-page":"390","volume-title":"KR 2008","author":"A. Analyti","year":"2008","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: A Principled Framework for Modular Web Rule Bases and Its Semantics. In: KR 2008, pp. 390\u2013400. AAAI press, Menlo Park (2008)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1877714.1877723","volume":"12","author":"A. Analyti","year":"2011","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V.: MWeb: A principled framework for modular web rule bases and its semantics. ACM TOCL\u00a012(2):#17, 41 (2011)","journal-title":"ACM TOCL"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-01907-4_16","volume-title":"Modular Ontologies","author":"J. Bao","year":"2009","unstructured":"Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 349\u2013371. Springer, Heidelberg (2009)"},{"issue":"11","key":"25_CR7","doi-asserted-by":"publisher","first-page":"1593","DOI":"10.1109\/TKDE.2010.84","volume":"22","author":"H. Boley","year":"2010","unstructured":"Boley, H., Kifer, M.: A guide to the basic logic dialect for rule interchange on the web. IEEE Trans. Knowl. Data Eng.\u00a022(11), 1593\u20131608 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"20","key":"25_CR8","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in Logic Programming. Journal of Logic Programming\u00a019(20), 443\u2013502 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"3-4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10472-007-9075-0","volume":"50","author":"P. Cabalar","year":"2007","unstructured":"Cabalar, P., Odintsov, S.P., Pearce, D., Valverde, A.: Partial equilibrium logic. Ann. Math. Artif. Intell.\u00a050(3-4), 305\u2013331 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"25_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-72200-7_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Cabalar","year":"2007","unstructured":"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.\u00a04483, pp. 44\u201357. Springer, Heidelberg (2007)"},{"key":"25_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-60428-6_32","volume-title":"Progress in Artificial Intelligence","author":"C.V. Dam\u00e1sio","year":"1995","unstructured":"Dam\u00e1sio, 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.\u00a0990, pp. 377\u2013386. Springer, Heidelberg (1995)"},{"key":"25_CR12","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, 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.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-02846-5_16","volume-title":"Logic Programming","author":"M. Dao-Tran","year":"2009","unstructured":"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.\u00a05649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"25_CR14","first-page":"61","volume-title":"Proc. of ACM-CIKM 2007","author":"P. Doran","year":"2007","unstructured":"Doran, P., Tamma, V., Iannone, L.: Ontology module extraction for ontology reuse: an ontology engineering perspective. In: Proc. of ACM-CIKM 2007, pp. 61\u201370. ACM, New York (2007)"},{"key":"25_CR15","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation. In: 7th International Conference on Logic Programming (ICLP 1990), pp. 579\u2013597 (1990)"},{"key":"25_CR16","first-page":"298","volume-title":"Proc. IJCAI 2007","author":"B.C. Grau","year":"2007","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. IJCAI 2007, pp. 298\u2013304. AAAI, Menlo Park (2007)"},{"key":"25_CR17","unstructured":"Kifer, M.: Flora-2: An object-oriented knowledge base language (2007), http:\/\/flora.sourceforge.net\/"},{"key":"25_CR18","first-page":"55","volume-title":"Proc. of ECAI 2008","author":"B. Konev","year":"2008","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Proc. of ECAI 2008, pp. 55\u201359. IOS Press, Amsterdam (2008)"},{"key":"25_CR19","unstructured":"Oikarinen, E., Janhunen, T.: Modular Equivalence for Normal Logic Programs. In: Proc. of ECAI 2006, pp. 412\u2013416 (2006)"},{"key":"25_CR20","unstructured":"W3C OWL Working Group (ed.) OWL 2 Web Ontology Language Document Overview. W3C Recommendation (October 27, 2009)"},{"key":"25_CR21","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation (February 10, 2004)"},{"issue":"1-2","key":"25_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Annals of Math. and Artificial Intelligence\u00a047(1-2), 3\u201341 (2006)","journal-title":"Annals of Math. and Artificial Intelligence"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Boley, H., Kifer, M. (eds.) RIF Basic Logic Dialect. W3C Recommendation (June 22, 2010)","DOI":"10.1109\/TKDE.2010.84"},{"key":"25_CR24","unstructured":"Heymans, S., Kifer, M. (eds.) RIF Core Answer Set Programming Dialect, 2009. RuleML specification (December 17, 2009)"},{"key":"25_CR25","unstructured":"Kifer, M. (ed.) RIF Core Logic Programming Dialect Based on the Well-founded Semantics, 2009. RuleML specification (August 13, 2010)"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.) RIF Core Logic Dialect, W3C Recommendation (2010) (June 22, 2010)","DOI":"10.1109\/TKDE.2010.84"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Boley, H., Kifer, M. (eds.) RIF Framework for Logic Dialects, W3C Recommendation (2010) (June 22, 2010)","DOI":"10.1109\/TKDE.2010.84"},{"key":"25_CR28","unstructured":"de Sainte Marie, C., Hallmark, G., Paschke, A. (eds.): RIF Production Rule Dialect. W3C Recommendation (June 22, 2010)"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T19:53:54Z","timestamp":1560369234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}