{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T22:40:10Z","timestamp":1747953610106,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662465486"},{"type":"electronic","value":"9783662465493"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46549-3_13","type":"book-chapter","created":{"date-parts":[[2015,4,24]],"date-time":"2015-04-24T07:14:40Z","timestamp":1429859680000},"page":"199-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Design Patterns for Description-Logic Programs"],"prefix":"10.1007","author":[{"given":"L.","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"given":"G.","family":"Gaspar","sequence":"additional","affiliation":[]},{"given":"I.","family":"Nunes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,25]]},"reference":[{"key":"13_CR1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"13_CR2","first-page":"549","volume-title":"Pattern Languages of Program Design","author":"M Adams","year":"1996","unstructured":"Adams, M., Coplien, J., Gamoke, R., Hanmer, R., Keeve, F., Nicodemus, K.: Fault-tolerant telecommunication system patterns. In: Vlissides, J.M., Coplien, J.O., Kerth, K.L. (eds.) Pattern Languages of Program Design, vol. 2, pp. 549\u2013562. Addison-Wesley Longman Publishing Co. Inc., Boston (1996)"},{"key":"13_CR3","volume-title":"SOA Design Patterns","author":"T Erl","year":"2009","unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall, New York (2009)"},{"key":"13_CR4","volume-title":"Patterns of Enterprise Application Architecture","author":"M Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Boston (2002)"},{"key":"13_CR5","volume-title":"Applying UML and Patterns","author":"C Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns, 3rd edn. Prentice-Hall, Upper Saddle River (2004)","edition":"3"},{"key":"13_CR6","volume-title":"Patterns for Parallel Programming","author":"T Mattson","year":"2005","unstructured":"Mattson, T., Sanders, B., Massingill, B.: Patterns for Parallel Programming. Addison-Wesley, Reading (2005)"},{"key":"13_CR7","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Upper Saddle River (1997)","edition":"2"},{"key":"13_CR8","volume-title":"Pattern-Oriented Software Architecture - Patterns for Concurrent and Networked Objects","author":"D Schmidt","year":"2000","unstructured":"Schmidt, D., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture - Patterns for Concurrent and Networked Objects. Wiley, New York (2000)"},{"key":"13_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45788-7_4","volume-title":"Functional and Logic Programming","author":"S Antoy","year":"2002","unstructured":"Antoy, S., Hanus, M.: Functional logic design patterns. In: Hu, Z., Rodr\u00edguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 67\u201387. Springer, Heidelberg (2002)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Gibbons, J.: Design patterns as higher-order datatype-generic programs. In: Hinze, R. (ed.) Proceedings of WGP 2006, pp. 1\u201312. ACM (2006)","DOI":"10.1145\/1159861.1159863"},{"key":"13_CR11","unstructured":"Norvig, P.: Design patterns in dynamic programming. Tutorial slides presented at Object World, Boston, MA, May 1996. http:\/\/norvig.com\/design-patterns\/"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-45628-7_15","volume-title":"Computational Logic: Logic Programming and Beyond","author":"L Sterling","year":"2002","unstructured":"Sterling, L.: Patterns for prolog programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 374\u2013401. Springer, Heidelberg (2002)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-45221-5_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L Cruz-Filipe","year":"2013","unstructured":"Cruz-Filipe, L., Henriques, R., Nunes, I.: Description logics, rules and multi-context systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 243\u2013257. Springer, Heidelberg (2013)"},{"issue":"12\u201313","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Nunes, I., Gaspar, G.: Patterns for interfacing between logic programs and multiple ontologies. In: Filipe, J., Dietz, J. (eds.) KEOD 2013, pp. 58\u201369. INSTICC (2013)","DOI":"10.5220\/0004544100580069"},{"key":"13_CR16","first-page":"221","volume-title":"Handbook on Ontologies. International Handbooks on Information Systems","author":"A Gangemi","year":"2009","unstructured":"Gangemi, A., Presutti, V.: Ontology design patterns. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, 2nd edn, pp. 221\u2013243. Springer, Heidelberg (2009)","edition":"2"},{"issue":"2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1877714.1877717","volume":"12","author":"T Eiter","year":"2011","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the semantic Web. ACM Trans. Comput. Logic 12(2), 1\u201341 (2011). Article 11","journal-title":"ACM Trans. Comput. Logic"},{"key":"13_CR18","unstructured":"Kifer, M., Boley, H. (eds.): RIF overview. W3C Working Group Note, June 2010. http:\/\/www.w3.org\/TR\/2010\/NOTE-rif-overview-20100622\/"},{"key":"13_CR19","volume-title":"Semantic Web Technologies: Trends and Research in Ontology-based Systems","author":"JD Bruijn","year":"2006","unstructured":"Bruijn, J.D., Ehrig, M., Feier, C., Mart\u00edns-Recuerda, F., Scharffe, F., Weiten, M.: Ontology mediation, merging, and aligning. In: Davies, J., Studer, R., Warren, P. (eds.) Semantic Web Technologies: Trends and Research in Ontology-based Systems. Wiley, Chichester (2006)"},{"issue":"1","key":"13_CR20","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/j.websem.2005.09.010","volume":"4","author":"B Grau","year":"2005","unstructured":"Grau, B., Parsia, B., Sirin, E.: Combining OWL ontologies using e-connections. J. Web Semant. 4(1), 40\u201359 (2005)","journal-title":"J. Web Semant."},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"13_CR22","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI 2007, pp. 385\u2013390. AAAI Press (2007)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/11580072_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K Wang","year":"2005","unstructured":"Wang, K., Antoniou, G., Topor, R., Sattar, A.: Merging and aligning ontologies in dl-programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 160\u2013171. Springer, Heidelberg (2005)"},{"key":"13_CR24","unstructured":"Henriques, R.: Integration of ontologies with programs based on rules. Master\u2019s thesis, FCUL, November 2013"},{"key":"13_CR25","first-page":"40","volume-title":"Proceedings of NMR 2006, ASP Track","author":"T Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Towards efficient evaluation of HEX programs. In: Dix, J., Hunter, A. (eds.) Proceedings of NMR 2006, ASP Track, pp. 40\u201346. Institut f\u00fcr Informatik, TU Clausthal, Germany (2006)"}],"container-title":["Communications in Computer and Information Science","Knowledge Discovery, Knowledge Engineering and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46549-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T22:12:28Z","timestamp":1747951948000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46549-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662465486","9783662465493"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46549-3_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}