{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:22Z","timestamp":1725563122569},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152795"},{"type":"electronic","value":"9783642152801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15280-1_33","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T09:55:30Z","timestamp":1282557330000},"page":"354-365","source":"Crossref","is-referenced-by-count":0,"title":["Modular Logic Programming for Web Data, Inheritance and Agents"],"prefix":"10.1007","author":[{"given":"Isambo","family":"Karali","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"The ACM computing classification system (1998), http:\/\/www.acm.org\/class\/1998\/"},{"key":"33_CR2","unstructured":"Afrati, F., Karali, I., Mitakos, T.: On inheritance in object oriented datalog. In: Proc. of Int. Workshop on Issues and Applications of Database Technology, IADT 1998 (1998)"},{"key":"33_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-540-45217-1_21","volume-title":"Cooperative Information Agents VII","author":"J.J. Alferes","year":"2003","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol.\u00a02782, pp. 281\u2013297. Springer, Heidelberg (2003)"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-30504-0_3","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G., Bikakis, A.: A system for non-monotonic rules on the web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 23\u201336. Springer, Heidelberg (2004)"},{"key":"33_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-75975-1_6","volume-title":"Advances in Rule Interchange and Applications","author":"U. Assmann","year":"2007","unstructured":"Assmann, U., Berger, S., Bry, F., Furche, T., Henriksson, J., Patranjan, P.L.: A generic module system for web rule languages: Divide and rule. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol.\u00a04824, pp. 63\u201377. Springer, Heidelberg (2007)"},{"key":"33_CR6","unstructured":"Brogi, A.: Program Composition in Computational Logic. Ph.D. thesis, Universit\u00e0 di Pisa (1993)"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Composition operators for logic theories. In: Proce. of the Computational Logic Symposium (1990)","DOI":"10.1007\/978-3-642-76274-1_7"},{"key":"33_CR8","unstructured":"Bugliesi, M.: A declarative view of inheritance in logic programming. In: Joint International Conference and Symposium on Logic Programming. pp. 112\u2013127 (1992)"},{"key":"33_CR9","first-page":"20","volume":"19","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of Logic Programming\u00a019\/20 (2004)","journal-title":"Journal of Logic Programming"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85658-0_1","volume-title":"Reasoning Web","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 1\u201353. Springer, Heidelberg (2008)"},{"key":"33_CR11","unstructured":"Fernandez-Garcia, N., Sanchez-Fernandez, L.: Building an ontology for NEWS applications. Poster Presentations at the International Semantic Web Conference ISWC-2004 (2004)"},{"key":"33_CR12","volume-title":"Proc. of the 12th International World Wide Web Conference (WWW 2003)","author":"B. Grosof","year":"2003","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the 12th International World Wide Web Conference (WWW 2003). ACM, New York (2003)"},{"key":"33_CR13","unstructured":"Grosof, B., Kifer, M., Martin, D.: Rules in the semantic web services language (SWSL): An overview for standardization directions. Position paper for W3C Workshop on Rule Languages for Interoperability (2005)"},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/11552222_4","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"Ian Horrocks","year":"2005","unstructured":"Horrocks, I., Parsia, B., Patel-Schneider, P.F., Hendler, J.A.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 37\u201341. Springer, Heidelberg (2005)"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11552222_4","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 37\u201341. Springer, Heidelberg (2005)"},{"key":"33_CR16","volume-title":"Proc. of the Thirteenth International World Wide Web Conference (WWW 2004)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, New York (2004)"},{"key":"33_CR17","unstructured":"Inductive logic programming, http:\/\/www.doc.ic.ac.uk\/~shm\/ilp.html"},{"issue":"6","key":"33_CR18","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. KAKAS","year":"1992","unstructured":"Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"33_CR19","unstructured":"Kallipolitis, L., Karpis, V., Karali, I.: World news finder: How we cope without the semantic web. In: Proc. of Int. Conference on Artificial Intelligence and Applications (AIA 2007) (2007)"},{"key":"33_CR20","volume-title":"2007 IEEE \/ WIC \/ ACM International Conference on Web Intelligence","author":"I. Karali","year":"2007","unstructured":"Karali, I.: Logic programming to address issues of the semantic web. In: 2007 IEEE \/ WIC \/ ACM International Conference on Web Intelligence. IEEE Computer Society, Los Alamitos (2007)"},{"key":"33_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"I. Karali","year":"1995","unstructured":"Karali, I., Halatsis, C.: A refinement of import\/export declarations in modular logic programming and its semantics. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, Springer, Heidelberg (1995)"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11580072_3","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Kifer","year":"2005","unstructured":"Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 17\u201329. Springer, Heidelberg (2005)"},{"issue":"4","key":"33_CR23","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"Michael Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4) (1995)","journal-title":"Journal of the ACM"},{"key":"33_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"33_CR25","volume-title":"Proc. of the 7th ACM Conference on Hypertext","author":"S.W. Loke","year":"1996","unstructured":"Loke, S.W., Davison, A.: Logic programming with the world wide web. In: Proc. of the 7th ACM Conference on Hypertext. ACM, New York (1996)"},{"key":"33_CR26","unstructured":"Miller, D.: A theory of modules for logic programming. In: Proceedings of the 1986 Symposium on Logic Programming. pp. 106\u2013114 (1986)"},{"key":"33_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"33_CR28","unstructured":"http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"33_CR29","unstructured":"http:\/\/www.w3.org\/RDF\/"},{"key":"33_CR30","unstructured":"http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"33_CR31","unstructured":"REWERSE: reasoning on the web with rules and semantics, http:\/\/rewerse.net\/"},{"key":"33_CR32","unstructured":"http:\/\/www.ruleml.org\/"},{"key":"33_CR33","unstructured":"Sadri, F., Toni, F.: Computational logic and multi-agent systems: a roadmap. CompulogNet Newsletter (1999)"},{"key":"33_CR34","volume-title":"2008 IEEE \/ WIC \/ ACM International Conference on Web Intelligence","author":"A. Schlicht","year":"2008","unstructured":"Schlicht, A., Stuckenschmidt, H.: Towards distributed ontology reasoning for the web. In: 2008 IEEE \/ WIC \/ ACM International Conference on Web Intelligence. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"1","key":"33_CR35","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/152535.152539","volume":"1","author":"Panagiotis Stamatopoulos","year":"1993","unstructured":"Stamatopoulos, P., Karali, I., Halatsis, C.: A tour advisory system using a logic programming approach. ACM Applied Computing Review 1(1) (1993)","journal-title":"ACM SIGAPP Applied Computing Review"},{"key":"33_CR36","unstructured":"http:\/\/www.w3.org\/2001\/sw\/"},{"key":"33_CR37","unstructured":"http:\/\/www.w3.org\/2003\/Talks\/0922-rsoc-tbl\/"},{"key":"33_CR38","unstructured":"http:\/\/www.w3.org\/DesignIssues\/diagrams\/sw-stack-2002.png"},{"key":"33_CR39","doi-asserted-by":"crossref","unstructured":"Toni, F.: Automated information management via abductive logic agents. Telematics and Informatics (2001)","DOI":"10.1016\/S0736-5853(00)00020-4"},{"key":"33_CR40","unstructured":"Ullman, J.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Inc. (1988)"},{"key":"33_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96878-5","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1985","unstructured":"Wirth, N.: Programming in Modula-2. Springer, Heidelberg (1985)"},{"key":"33_CR42","unstructured":"Xcerpt-module system, http:\/\/www.pms.ifi.lmu.de\/rewerse-wgi4\/software\/Xcerpt\/modules"},{"key":"33_CR43","unstructured":"http:\/\/www.w3.org\/XML\/"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15280-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:04:17Z","timestamp":1606187057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15280-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152795","9783642152801"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15280-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}