{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T22:08:17Z","timestamp":1771020497174,"version":"3.50.1"},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100010467","name":"Swiss Federal Office for Education and Science","doi-asserted-by":"crossref","award":["506779"],"award-info":[{"award-number":["506779"]}],"id":[{"id":"10.13039\/501100010467","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2011,1]]},"abstract":"<jats:p>\n            We present a principled framework for modular Web rule bases, called MWeb. According to this framework, each predicate defined in a rule base is characterized by its defining reasoning mode, scope, and exporting rule base list. Each predicate used in a rule base is characterized by its requesting reasoning mode and importing rule base list. For legal MWeb modular rule bases\n            <jats:italic>S<\/jats:italic>\n            , the MWebAS and MWebWFS semantics of each rule base\n            <jats:italic>s<\/jats:italic>\n            \u2208\n            <jats:italic>S<\/jats:italic>\n            with respect to\n            <jats:italic>S<\/jats:italic>\n            are defined model-theoretically. These semantics extend the answer set semantics (AS) and the well-founded semantics with explicit negation (WFSX) on ELPs, respectively, keeping all of their semantical and computational characteristics. Our framework supports: (1) local semantics and different points of view, (2) local closed-world and open-world assumptions, (3) scoped negation-as-failure, (4) restricted propagation of local inconsistencies, and (5) monotonicity of reasoning, for fully shared predicates.\n          <\/jats:p>","DOI":"10.1145\/1877714.1877723","type":"journal-article","created":{"date-parts":[[2011,1,25]],"date-time":"2011-01-25T19:12:52Z","timestamp":1295982772000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["MWeb"],"prefix":"10.1145","volume":"12","author":[{"given":"Anastasia","family":"Analyti","sequence":"first","affiliation":[{"name":"FORTH-ICS, Crete, Greece"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[{"name":"FORTH-ICS, University of Crete, Crete, Greece"}]},{"given":"Carlos Viegas","family":"Damasio","sequence":"additional","affiliation":[{"name":"Universidade Nova de Lisboa, Caparica, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2011,1,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00883931"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 5th International Joint Conference and Symposium on Logic Programming (JICSLP). 574--588","author":"Alferes J. J.","unstructured":"Alferes , J. J. and Pereira , L. M . 1992. On logic program semantics with two kinds of negation . In Proceedings of the 5th International Joint Conference and Symposium on Logic Programming (JICSLP). 574--588 . Alferes, J. J. and Pereira, L. M. 1992. On logic program semantics with two kinds of negation. In Proceedings of the 5th International Joint Conference and Symposium on Logic Programming (JICSLP). 574--588."},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Alferes J. J. and Pereira L. M. 1996. Reasoning with Logic Programming. Springer-Verlag Berlin.   Alferes J. J. and Pereira L. M. 1996. Reasoning with Logic Programming. Springer-Verlag Berlin.","DOI":"10.1007\/3-540-61488-5"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, 390--400","author":"Analyti A.","unstructured":"Analyti , A. , Antoniou , G. , and Dam\u00e1sio , C. V . 2008a. A principled framework for modular Web rule bases and its semantics . In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, 390--400 . Analyti, A., Antoniou, G., and Dam\u00e1sio, C. V. 2008a. A principled framework for modular Web rule bases and its semantics. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press, 390--400."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622673.1622675"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Apt K. Blair H. and Walker A. 1988. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming J. Minker Ed. Morgan Kaufmann 89--142.   Apt K. Blair H. and Walker A. 1988. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming J. Minker Ed. Morgan Kaufmann 89--142.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Symposium on Advances in Rule Interchange and Applications, (RuleML). 63--77","author":"Assmann U.","unstructured":"Assmann , U. , Berger , S. , Bry , F. , Furche , T. , Henriksson , J. , and Patranjan , P . -L. 2007. A generic module system for Web rule languages: divide and rule . In Proceedings of the International Symposium on Advances in Rule Interchange and Applications, (RuleML). 63--77 . Assmann, U., Berger, S., Bry, F., Furche, T., Henriksson, J., and Patranjan, P.-L. 2007. A generic module system for Web rule languages: divide and rule. In Proceedings of the International Symposium on Advances in Rule Interchange and Applications, (RuleML). 63--77."},{"key":"e_1_2_1_8_1","volume-title":"2003. The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader F.","unstructured":"Baader , F. , Calvanese , D. , McGuinness , D. L. , Nardi , D. , and Patel-Schneider , P. F. , Eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications . Cambridge University Press . Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., Eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_6"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Berners-Lee T. Hendler J. and Lassila O. 2001. The semantic web. Scientific American.  Berners-Lee T. Hendler J. and Lassila O. 2001. The semantic web. Scientific American.","DOI":"10.1038\/scientificamerican0501-34"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Bochman A. 2005. Explanatory Nonmonotonic Reasoning. Advances in Logic. World Scientific.  Bochman A. 2005. Explanatory Nonmonotonic Reasoning. Advances in Logic. World Scientific.","DOI":"10.1142\/5707"},{"key":"e_1_2_1_13_1","unstructured":"Boley H. and Kifer M. 2009. RIF Framework for logic dialects. W3C candidate recommendation. http:\/\/www.w3.org\/TR\/rif-fld\/.  Boley H. and Kifer M. 2009. RIF Framework for logic dialects. W3C candidate recommendation. http:\/\/www.w3.org\/TR\/rif-fld\/."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI). 385--390","author":"Brewka G.","unstructured":"Brewka , G. and Eiter , T . 2007. Equilibria in heterogeneous nonmonotonic multi-context systems . In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI). 385--390 . Brewka, G. and Eiter, T. 2007. Equilibria in heterogeneous nonmonotonic multi-context systems. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI). 385--390."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 268--273","author":"Brewka G.","unstructured":"Brewka , G. , Roelofsen , F. , and Serafini , L . 2007. Contextual default reasoning . In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 268--273 . Brewka, G., Roelofsen, F., and Serafini, L. 2007. Contextual default reasoning. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 268--273."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/189883.189891"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11874850_63"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC). 333--334","author":"Cort\u00e9s-Calabuig A.","unstructured":"Cort\u00e9s-Calabuig , A. , Denecker , M. , Arieli , O. , Nuffelen , B. V. , and Bruynooghe , M . 2005. On the local closed-world assumption of data-sources . In Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC). 333--334 . Cort\u00e9s-Calabuig, A., Denecker, M., Arieli, O., Nuffelen, B. V., and Bruynooghe, M. 2005. On the local closed-world assumption of data-sources. In Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC). 333--334."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11853107_11"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the Handbook of Defeasible Reasoning and Uncertainty Management Systems, D. Gabbay and P. Smets, Eds.","volume":"2","author":"Dam\u00e1sio C. V.","unstructured":"Dam\u00e1sio , C. V. and Pereira , L. M . 1998. A survey of paraconsistent semantics for logic programs . In Proceedings of the Handbook of Defeasible Reasoning and Uncertainty Management Systems, D. Gabbay and P. Smets, Eds. , Vol. 2 , Reasoning with Actual and Potential Contradictions, Coordinated by P. Besnard and A. Hunter, Kluwer Academic Publishers, 241--320. Dam\u00e1sio, C. V. and Pereira, L. M. 1998. A survey of paraconsistent semantics for logic programs. In Proceedings of the Handbook of Defeasible Reasoning and Uncertainty Management Systems, D. Gabbay and P. Smets, Eds., Vol. 2, Reasoning with Actual and Potential Contradictions, Coordinated by P. Besnard and A. Hunter, Kluwer Academic Publishers, 241--320."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_2_1_23_1","unstructured":"de Sainte Marie C. Paschke A. and Hallmark G. 2009. RIF production rule dialect. W3C candidate recommendation. http:\/\/www.w3.org\/TR\/rif-prd\/.  de Sainte Marie C. Paschke A. and Hallmark G. 2009. RIF production rule dialect. W3C candidate recommendation. http:\/\/www.w3.org\/TR\/rif-prd\/."},{"key":"e_1_2_1_24_1","volume-title":"Internationalized resource identifiers","author":"Duerst","unstructured":"Duerst and Suignard. 2005. Internationalized resource identifiers . Network Working Group RFC 3987. Duerst and Suignard. 2005. Internationalized resource identifiers. Network Working Group RFC 3987."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 290--309","author":"Eiter T.","unstructured":"Eiter , T. , Gottlob , G. , and Veith , H . 1997. Modular logic programming and generalized quantifiers . In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 290--309 . Eiter, T., Gottlob, G., and Veith, H. 1997. Modular logic programming and generalized quantifiers. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 290--309."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85658-0_1"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 90--96","author":"Eiter T.","unstructured":"Eiter , T. , Ianni , G. , Schindlauer , R. , and Tompits , H . 2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming . In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 90--96 . Eiter, T., Ianni, G., Schindlauer, R., and Tompits, H. 2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 90--96."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00026-4"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the 1st European Semantic Web Symposium (ESWS). 342--356","author":"Gavriloaie R.","unstructured":"Gavriloaie , R. , Nejdl , W. , Olmedilla , D. , Seamons , K. E. , and Winslett , M . 2004. No registration needed: How to use declarative policies and negotiation to access sensitive resources on the Semantic Web . In Proceedings of the 1st European Semantic Web Symposium (ESWS). 342--356 . Gavriloaie, R., Nejdl, W., Olmedilla, D., Seamons, K. E., and Winslett, M. 2004. No registration needed: How to use declarative policies and negotiation to access sensitive resources on the Semantic Web. In Proceedings of the 1st European Semantic Web Symposium (ESWS). 342--356."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 5th International Conference on Logic Programming (ICLP), R. Kowalski and K. A. Bowen, Eds., MIT Press, 1070--1080","author":"Gelfond M.","unstructured":"Gelfond , M. and Lifschitz , V . 1988. The stable model semantics for logic programming . In Proceedings of the 5th International Conference on Logic Programming (ICLP), R. Kowalski and K. A. Bowen, Eds., MIT Press, 1070--1080 . Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming (ICLP), R. Kowalski and K. A. Bowen, Eds., MIT Press, 1070--1080."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 7th International Conference on Logic Programming (ICLP). 579--597","author":"Gelfond M.","unstructured":"Gelfond , M. and Lifschitz , V . 1990. Logic programs with classical negation . In Proceedings of the 7th International Conference on Logic Programming (ICLP). 579--597 . Gelfond, M. and Lifschitz, V. 1990. Logic programs with classical negation. In Proceedings of the 7th International Conference on Logic Programming (ICLP). 579--597."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_2_1_35_1","volume-title":"IJCAI Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa).","author":"Grau B. C.","unstructured":"Grau , B. C. and Kutz , O . 2007. Modular ontology languages revisited . In IJCAI Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa). Grau, B. C. and Kutz, O. 2007. Modular ontology languages revisited. In IJCAI Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa)."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775160"},{"key":"e_1_2_1_37_1","unstructured":"Hayes P. 2004. RDF Semantics. W3C Recommendation. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/.  Hayes P. 2004. RDF Semantics. W3C Recommendation. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/."},{"key":"e_1_2_1_38_1","volume-title":"SHOE: A blueprint for the semantic Web. In Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","author":"Heflin J.","year":"2003","unstructured":"Heflin , J. , Hendler , J. A. , and Luke , S . 2003 . SHOE: A blueprint for the semantic Web. In Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , MIT Press , 29--63. Heflin, J., Hendler, J. A., and Luke, S. 2003. SHOE: A blueprint for the semantic Web. In Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, MIT Press, 29--63."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the AAAI Workshop on Ontologies and the Semantic Web. 63--70","author":"Heflin J.","unstructured":"Heflin , J. and Munoz-Avila , H . 2002. LCW-based agent planning for the Semantic Web . In Proceedings of the AAAI Workshop on Ontologies and the Semantic Web. 63--70 . Heflin, J. and Munoz-Avila, H. 2002. LCW-based agent planning for the Semantic Web. In Proceedings of the AAAI Workshop on Ontologies and the Semantic Web. 63--70."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR). 57--67","author":"Horrocks I.","unstructured":"Horrocks , I. , Kutz , O. , and Sattler , U . 2006. The even more irresistible SROIQ . In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR). 57--67 . Horrocks, I., Kutz, O., and Sattler, U. 2006. The even more irresistible SROIQ. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR). 57--67."},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence. 792--797","author":"Horrocks I.","year":"2002","unstructured":"Horrocks , I. , Patel-Schneider , P. F. , and van Harmelen , F. 2002 . Reviewing the design of DAML+OIL: An ontology language for the Semantic Web . In Proceedings of the 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence. 792--797 . Horrocks, I., Patel-Schneider, P. F., and van Harmelen, F. 2002. Reviewing the design of DAML+OIL: An ontology language for the Semantic Web. In Proceedings of the 18th National Conference on Artificial Intelligence and 14th Conference on Innovative Applications of Artificial Intelligence. 792--797."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn043"},{"key":"e_1_2_1_43_1","unstructured":"KAON2. Linked data\u2014connect distributed data across the Web. http:\/\/linkeddata.org\/.  KAON2. Linked data\u2014connect distributed data across the Web. http:\/\/linkeddata.org\/."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11580072_3"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210335"},{"key":"e_1_2_1_46_1","unstructured":"Klyne and Carroll J. J. 2004. Resource description framework (RDF): Concepts and abstract syntax. W3C recommendation. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210.  Klyne and Carroll J. J. 2004. Resource description framework (RDF): Concepts and abstract syntax. W3C recommendation. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.02.002"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_2_1_49_1","unstructured":"Motik B. Grau B. C. Horrocks I. Wu Z. Fokoue A. and Lutz C. 2009. OWL 2 Web ontology language profiles. W3C recommendation. http:\/\/www.w3.org\/TR\/owl2-profiles\/.  Motik B. Grau B. C. Horrocks I. Wu Z. Fokoue A. and Lutz C. 2009. OWL 2 Web ontology language profiles. W3C recommendation. http:\/\/www.w3.org\/TR\/owl2-profiles\/."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 421--430","author":"Niemel\u00e4 I.","unstructured":"Niemel\u00e4 , I. and Simons , P . 1997. Smodels\u2014An implementation of the stable model and well-founded semantics for normal LP . In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 421--430 . http:\/\/www.tcs.hut.fi\/Software\/smodels\/. Niemel\u00e4, I. and Simons, P. 1997. Smodels\u2014An implementation of the stable model and well-founded semantics for normal LP. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 421--430. http:\/\/www.tcs.hut.fi\/Software\/smodels\/."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 7th European Conference on Artificial Intelligence (ECAI). 412--416","author":"Oikarinen E.","unstructured":"Oikarinen , E. and Janhunen , T . 2006. Modular equivalence for normal logic programs . In Proceedings of the 7th European Conference on Artificial Intelligence (ECAI). 412--416 . Oikarinen, E. and Janhunen, T. 2006. Modular equivalence for normal logic programs. In Proceedings of the 7th European Conference on Artificial Intelligence (ECAI). 412--416."},{"key":"e_1_2_1_52_1","volume-title":"OMG specification, version 1.0","year":"2007","unstructured":"OMG-PRR. 2007. Production rule representation (PRR) , OMG specification, version 1.0 , 2007 . OMG-PRR. 2007. Production rule representation (PRR), OMG specification, version 1.0, 2007."},{"key":"e_1_2_1_53_1","unstructured":"OWL2. 2009. OWL 2 Web ontology language document overview. W3C recommendation. Edited by W3C OWL Working Group http:\/\/www.w3.org\/TR\/owl2-overview\/.  OWL2. 2009. OWL 2 Web ontology language document overview. W3C recommendation. Edited by W3C OWL Working Group http:\/\/www.w3.org\/TR\/owl2-overview\/."},{"key":"e_1_2_1_54_1","first-page":"1","article-title":"Rule markup languages and semantic Web rule languages. In Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global","volume":"1","author":"Paschke A.","year":"2009","unstructured":"Paschke , A. and Boley , H. 2009 . Rule markup languages and semantic Web rule languages. In Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global , Chapter 1 , 1 -- 24 . Paschke, A. and Boley, H. 2009. Rule markup languages and semantic Web rule languages. In Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global, Chapter 1, 1--24.","journal-title":"Chapter"},{"key":"e_1_2_1_55_1","unstructured":"Paschke A. Hirtle D. Ginsberg A. Patranjan P.-L. and McCabe F. 2008. RIF use cases and requirements. W3C working draft. http:\/\/www.w3.org\/TR\/rif-ucr\/.  Paschke A. Hirtle D. Ginsberg A. Patranjan P.-L. and McCabe F. 2008. RIF use cases and requirements. W3C working draft. http:\/\/www.w3.org\/TR\/rif-ucr\/."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9028-z"},{"key":"e_1_2_1_57_1","volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence (ECAI). 102--106","author":"Pereira L. M.","unstructured":"Pereira , L. M. and Alferes , J. J . 1992. Well founded semantics for logic programs with explicit negation . In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI). 102--106 . Pereira, L. M. and Alferes, J. J. 1992. Well founded semantics for logic programs with explicit negation. In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI). 102--106."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_26"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/RULEML.2006.1"},{"key":"e_1_2_1_60_1","doi-asserted-by":"crossref","unstructured":"Przymusinski T. C. 1991. Stable semantics for disjunctive programs. New Generation Comput. 9 3\/4 401--424.  Przymusinski T. C. 1991. Stable semantics for disjunctive programs. New Generation Comput. 9 3\/4 401--424.","DOI":"10.1007\/BF03037171"},{"key":"e_1_2_1_61_1","unstructured":"Reynolds D. 2009. OWL 2 RL in RIF. W3C working draft. http:\/\/www.w3.org\/TR\/rif-owl-rl\/.  Reynolds D. 2009. OWL 2 RL in RIF. W3C working draft. http:\/\/www.w3.org\/TR\/rif-owl-rl\/."},{"key":"e_1_2_1_62_1","unstructured":"RIF. RIF: The rule interchange working group charter. http:\/\/www.w3.org\/2005\/rules\/wg\/charter.  RIF. RIF: The rule interchange working group charter. http:\/\/www.w3.org\/2005\/rules\/wg\/charter."},{"key":"e_1_2_1_63_1","unstructured":"RuleML. The rule markup initiative (ruleml). http:\/\/www.ruleml.org.  RuleML. The rule markup initiative (ruleml). http:\/\/www.ruleml.org."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191927"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/5.3.265"},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 570--575","author":"Serafini L.","unstructured":"Serafini , L. , Borgida , A. , and Tamilin , A . 2005. Aspects of distributed and modular ontology reasoning . In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 570--575 . Serafini, L., Borgida, A., and Tamilin, A. 2005. Aspects of distributed and modular ontology reasoning. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI). 570--575."},{"key":"e_1_2_1_67_1","volume-title":"Proceedings of the 1st International Semantic Web Conference (ISWC). 364--378","author":"Sintek M.","unstructured":"Sintek , M. and Decker , S . 2002. TRIPLE\u2014A query, inference, and transformation language for the Semantic Web . In Proceedings of the 1st International Semantic Web Conference (ISWC). 364--378 . Sintek, M. and Decker, S. 2002. TRIPLE\u2014A query, inference, and transformation language for the Semantic Web. In Proceedings of the 1st International Semantic Web Conference (ISWC). 364--378."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/111404.111429"},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS), in conjunction with ICLP. 71--84","author":"Wagner G.","unstructured":"Wagner , G. , Giurca , A. , Diaconescu , I.-M. , Antoniou , G. , Analyti , A. , and Damasio , C. V . 2008. Reasoning on the Web with open and closed predicates . In Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS), in conjunction with ICLP. 71--84 . Wagner, G., Giurca, A., Diaconescu, I.-M., Antoniou, G., Analyti, A., and Damasio, C. V. 2008. Reasoning on the Web with open and closed predicates. In Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS), in conjunction with ICLP. 71--84."},{"key":"e_1_2_1_70_1","volume-title":"Proceedings of the 2nd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE). 671--688","author":"Yang G.","unstructured":"Yang , G. , Kifer , M. , and Zhao , C . 2003. Flora-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web . In Proceedings of the 2nd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE). 671--688 . Yang, G., Kifer, M., and Zhao, C. 2003. Flora-2: A rule-based knowledge representation and inference infrastructure for the Semantic Web. In Proceedings of the 2nd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE). 671--688."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1877714.1877723","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1877714.1877723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:37Z","timestamp":1750249057000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1877714.1877723"}},"subtitle":["A principled framework for modular web rule bases and its semantics"],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":70,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.1145\/1877714.1877723"],"URL":"https:\/\/doi.org\/10.1145\/1877714.1877723","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]},"assertion":[{"value":"2009-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-01-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}