{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:59:46Z","timestamp":1725469186206},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540384090"},{"type":"electronic","value":"9783540384120"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11837787_3","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T12:41:49Z","timestamp":1156509709000},"page":"68-92","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Rule Sets and Ontologies"],"prefix":"10.1007","author":[{"given":"Uwe","family":"A\u00dfmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jendrik","family":"Johannes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Henriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilie","family":"Savga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Stable model theory for extended rdf ontologies. In: Int. Semantic Web Conference, pp. 21\u201336 (2005)","key":"3_CR1","DOI":"10.1007\/11574620_5"},{"doi-asserted-by":"crossref","unstructured":"Antoniou, G.: Nonmonotonic rule systems using ontologies. In: Proc. Intl. Workshop on Rule Markup Languages for Business Rules on the Semantic Web (2002)","key":"3_CR2","DOI":"10.1007\/3-540-48005-6_30"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45440-3_10","volume-title":"Component Deployment","author":"U. A\u00dfmann","year":"2002","unstructured":"A\u00dfmann, U.: Beyond generic component parameters. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol.\u00a02370, pp. 141\u2013154. Springer, Heidelberg (2002)"},{"key":"3_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive Software Composition","author":"U. A\u00dfmann","year":"2003","unstructured":"A\u00dfmann, U.: Invasive Software Composition. Springer, Heidelberg (2003)"},{"unstructured":"Barry, S., Williams, J., Schulze-Kremer, S.: The ontology of the Gene Ontology. In: AMIA 2003 \u2013 Annual Symposium of the American Medical Informatics Association (2003)","key":"3_CR5"},{"unstructured":"Boag, S., Chamberlin, D., et al. (eds.): XQuery 1.0: An XML Query Language. W3C Candidate Recommendation (November 3, 2005), Available at: http:\/\/www.w3.org\/TR\/xquery\/","key":"3_CR6"},{"unstructured":"Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, Dept. of Computer Science, University of Utah (March 1992)","key":"3_CR7"},{"key":"3_CR8","series-title":"ACM SIGPLAN Notices","first-page":"303","volume-title":"Proceedings of OOPSLA ECOOP 1990","author":"G. Bracha","year":"1990","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Meyrowitz, N. (ed.) Proceedings of OOPSLA ECOOP 1990. ACM SIGPLAN Notices, vol.\u00a025(10), pp. 303\u2013311. ACM Press, New York (1990)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-36560-5_22","volume-title":"Web, Web-Services, and Database Systems","author":"F. Bry","year":"2003","unstructured":"Bry, F., Schaffert, S.: The XML query language Xcerpt: Design principles, examples, and semantics. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol.\u00a02593, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna, G.: Covariance and contravariance: Conflict without a cause. ACM Transactions on Programming Languages and Systems\u00a017(3), 431\u2013447 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"3_CR12","series-title":"Monograms","volume-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallel Computation. Monograms. MIT Press, Cambridge (1989)"},{"unstructured":"Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), Available at: http:\/\/www.w3.org\/TR\/rdf-schema\/","key":"3_CR13"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BFb0020455","volume-title":"EURO-PAR \u201995: Parallel Processing","author":"J. Darlington","year":"1995","unstructured":"Darlington, J., Guo, Y.-K., To, H.W., Yang, J.: Functional skeletons for parallel coordination. In: Haridi, S., Ali, K., Magnusson, P. (eds.) Euro-Par 1995. LNCS, vol.\u00a0966, p. 55. Springer, Heidelberg (1995)"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"F. DeRemer","year":"1976","unstructured":"DeRemer, F., Kron, H.: Programming in the Large vs. Programming in the Small. IEEE Transactions on Software Engineering\u00a02(2), 80\u201386 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR16","series-title":"Object Technology Series, ch. 6","first-page":"816","volume-title":"Objects, Components and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML: The Catalysis Approach, 1st edn. Object Technology Series, ch. 6, p. 816. Addison-Wesley, Reading (1998)","edition":"1"},{"unstructured":"Clark, J. (ed.): XSL Transformations (XSLT) Version 1.0. W3C Recommendation (November 16, 1999), Available at: http:\/\/www.w3.org\/TR\/xslt","key":"3_CR17"},{"unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Proc. of the Int. Conference of Knowledge Representation and Reasoning (KR 2004) (2004)","key":"3_CR18"},{"key":"3_CR19","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39800-4_1","volume-title":"Formal Methods for Software Architectures","author":"D. Garlan","year":"2003","unstructured":"Garlan, D.: Formal modeling and analysis of software architecture: Components, connectors, and events. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 1\u201324. Springer, Heidelberg (2003)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-48919-3_24","volume-title":"Coordination Languages and Models","author":"D. Garlan","year":"1999","unstructured":"Garlan, D., Wang, Z.: Acme-based Software Architecture Interchange. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, pp. 340\u2013354. Springer, Heidelberg (1999)"},{"unstructured":"Klyne, G., Carroll, J.J.: Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 10, 2004), Available at: http:\/\/www.w3.org\/TR\/rdf-concepts\/","key":"3_CR22"},{"doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of 12th Int. Conference on the World Wide Web (2003)","key":"3_CR23","DOI":"10.1145\/775152.775160"},{"key":"3_CR24","first-page":"723","volume-title":"Proc. of the Thirteenth Int. 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 Int. World Wide Web Conference (WWW 2004), pp. 723\u2013731. ACM, New York (2004)"},{"unstructured":"Int. Organization for Standardization. Ada 95 Reference Manual. The Language. The Standard Libraries, ANSI\/ISO\/IEC-8652:1995 (January 1995)","key":"3_CR25"},{"key":"3_CR26","volume-title":"Object-Oriented Environments\u2014The Mjoelner Approach","author":"J.L. Knudsen","year":"1994","unstructured":"Knudsen, J.L., L\u00f6fgren, M., Lehrmann Madsen, O., Magnusson, B.: Object-Oriented Environments\u2014The Mjoelner Approach. Prentice Hall, New York (1994)"},{"unstructured":"Maluszynski, J., et al.: Combining Rules and Ontologies. A survey. Technical report, REWERSE Deliverable (March 2005), http:\/\/rewerse.net\/deliverables\/m12\/i3-d3.pdf","key":"3_CR27"},{"unstructured":"JavaSoft. Enterprise Java Beans (TM), Version 2.0 (April 2000)","key":"3_CR28"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11526988_2","volume-title":"Reasoning Web","author":"M. Kifer","year":"2005","unstructured":"Kifer, M.: Rules and ontologies in F-logic. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol.\u00a03564, pp. 22\u201334. Springer, Heidelberg (2005)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-40048-6_9","volume-title":"Generative and Component-Based Software Engineering","author":"S. Krishnamurthi","year":"2000","unstructured":"Krishnamurthi, S., Felleisen, M., Duba, B.F.: From Macros to Reusable Generative Programming. In: Czarnecki, K., Eisenecker, U.W. (eds.) GCSE 1999. LNCS, vol.\u00a01799, p. 105. Springer, Heidelberg (2000)"},{"unstructured":"L\u00e4mmel, R.: Functional Meta-Programs \u2013 Towards Reusability in the Declarative Paradigm. PhD thesis, Universit\u00e4t Rostock (1999)","key":"3_CR32"},{"key":"3_CR33","volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"O. Lehrmann Madsen","year":"1993","unstructured":"Lehrmann Madsen, O., M\u00f6ller-Pedersen, B., Nygaard, K.: Object-Oriented Programming in the BETA Programming Language. Addison Wesley, Reading (1993)"},{"key":"3_CR34","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-540-24750-0_5","volume-title":"Handbook on Ontologies, Int. Handbooks on Information Systems","author":"P. Mitra","year":"2004","unstructured":"Mitra, P., Wiederhold, G.: An ontology-composition algebra. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, Int. Handbooks on Information Systems, pp. 93\u2013116. Springer, Heidelberg (2004)"},{"key":"3_CR35","series-title":"ACM SIGPLAN Notices","first-page":"1","volume-title":"Proceedings of OOPSLA 1986","author":"D.A. Moon","year":"1986","unstructured":"Moon, D.A.: Object-oriented programming with flavours. In: Proceedings of OOPSLA 1986. ACM SIGPLAN Notices, vol.\u00a021(11), pp. 1\u20138. ACM Press, New York (1986)"},{"key":"3_CR36","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. J. of Web Semantics\u00a03, 41\u201360 (2005)","journal-title":"J. of Web Semantics"},{"issue":"12","key":"3_CR37","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. W3C Recommendation (February 10, 2004), Available at: http:\/\/www.w3.org\/TR\/owl-semantics\/","key":"3_CR38"},{"key":"3_CR39","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/500737.500760","volume-title":"K-CAP","author":"A.L. Rector","year":"2001","unstructured":"Rector, A.L., Wroe, C., Rogers, J., Roberts, A.: Untangling taxonomies and relationships: personal and practical problems in loosely coupled development of large ontologies. In: K-CAP, pp. 139\u2013146. ACM, New York (2001)"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"3_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/10704973_5","volume-title":"Advanced Functional Programming","author":"T. Sheard","year":"1999","unstructured":"Sheard, T.: Using MetaML: A staged programming language. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 207\u2013239. Springer, Heidelberg (1999)"},{"issue":"10","key":"3_CR42","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/286238.286246","volume":"41","author":"J. Siegel","year":"1998","unstructured":"Siegel, J.: OMG overview: CORBA and the OMA in enterprise computing. Communications of the ACM\u00a041(10), 37\u201343 (1998)","journal-title":"Communications of the ACM"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0054107","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"Y. Smaragdakis","year":"1998","unstructured":"Smaragdakis, Y., Batory, D.: Implementing layered designs with mixin layers. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, p. 550. Springer, Heidelberg (1998)"},{"issue":"2","key":"3_CR44","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y. Smaragdakis","year":"2002","unstructured":"Smaragdakis, Y., Batory, D.: Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Transactions on Software Engineering and Methodology\u00a011(2), 215\u2013255 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide. Technical report, W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/owl-guide","key":"3_CR45"},{"key":"3_CR46","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, New York (1998)"},{"doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.: N degrees of separation: Multi-dimensional separation of concerns. In: Proceedings of ICSE 1999, Los Angeles CA, USA, pp. 107\u2013119 (1999)","key":"3_CR47","DOI":"10.1145\/302405.302457"},{"key":"3_CR48","first-page":"729","volume-title":"ICSE","author":"P.L. Tarr","year":"2001","unstructured":"Tarr, P.L., Ossher, H.: Hyper\/J TM : Multi-dimensional separation of concerns for java TM . In: ICSE, pp. 729\u2013730. IEEE Computer Society, Los Alamitos (2001)"},{"key":"3_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1007\/3-540-47961-9_66","volume-title":"Advanced Information Systems Engineering","author":"Y. Tzitzikas","year":"2002","unstructured":"Tzitzikas, Y., Spyratos, N., Constantopoulos, P., Analyti, A.: Extended faceted ontologies. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, p. 778. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11837787_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T16:21:39Z","timestamp":1683562899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11837787_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540384090","9783540384120"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/11837787_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}