{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:59Z","timestamp":1725470759100},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_19","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T16:40:30Z","timestamp":1158165630000},"page":"216-228","source":"Crossref","is-referenced-by-count":1,"title":["A Modularity Approach for a Fragment of $\\mathcal{ALC}$"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Herzig","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"47","volume-title":"Description Logic Handbook, ch. 2","author":"F. Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook, ch. 2, pp. 47\u2013100. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","first-page":"558","volume-title":"10th International Conference on Automated Deduction","author":"T.B. Tour de la","year":"1990","unstructured":"de la Tour, T.B.: Minimizing the number of clauses by renaming. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 558\u2013572. Springer, Heidelberg (1990)"},{"issue":"4","key":"19_CR3","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0747-7171(92)90009-S","volume":"14","author":"T.B. Tour de la","year":"1992","unstructured":"de la Tour, T.B.: An optimality result for clause form translation. J. of Symbolic Computation\u00a014(4), 283\u2013301 (1992)","journal-title":"J. of Symbolic Computation"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"250","DOI":"10.2307\/2963593","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: Linear reasoning. A new form of the Herbrand-Gentzen theorem. J. of Symbolic Logic\u00a022, 250\u2013268 (1957)","journal-title":"J. of Symbolic Logic"},{"key":"19_CR5","first-page":"198","volume-title":"Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006)","author":"B. Cuenca Grau","year":"2006","unstructured":"Cuenca Grau, B., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006), Lake District, pp. 198\u2013208. Morgan Kaufmann Publishers, San Francisco (2006)"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1305\/ndjfl\/1093635079","volume":"30","author":"J. Garson","year":"1989","unstructured":"Garson, J.: Modularity and relevant logic. Notre Dame J. of Formal Logic\u00a030(2), 207\u2013223 (1989)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"19_CR7","first-page":"187","volume-title":"Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006)","author":"S. Ghilardi","year":"2006","unstructured":"Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? a case for conservative extensions in description logic. In: Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006), Lake District, pp. 187\u2013197. Morgan Kaufmann Publishers, San Francisco (2006)"},{"key":"19_CR8","volume-title":"Proc. 17th Eur. Conf. on Artificial Intelligence (ECAI 2006)","author":"A. Herzig","year":"2006","unstructured":"Herzig, A., Perrussel, L., Varzinczak, I.: Elaborating domain descriptions. In: Proc. 17th Eur. Conf. on Artificial Intelligence (ECAI 2006), Riva del Garda. IOS Press, Amsterdam (2006)"},{"key":"19_CR9","unstructured":"Herzig, A., Varzinczak, I.: Metatheory of actions: beyond consistency (to appear)"},{"key":"19_CR10","first-page":"348","volume-title":"Proc. 16th Eur. Conf. on Artificial Intelligence (ECAI 2004)","author":"A. Herzig","year":"2004","unstructured":"Herzig, A., Varzinczak, I.: Domain descriptions should be modular. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proc. 16th Eur. Conf. on Artificial Intelligence (ECAI 2004), Valencia, pp. 348\u2013352. IOS Press, Amsterdam (2004)"},{"key":"19_CR11","first-page":"442","volume-title":"Proc. 19th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2005)","author":"A. Herzig","year":"2005","unstructured":"Herzig, A., Varzinczak, I.: Cohesion, coupling and the meta-theory of actions. In: Kaelbling, L., Saffiotti, A. (eds.) Proc. 19th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2005), Edinburgh, pp. 442\u2013447. Morgan Kaufmann Publishers, San Francisco (2005)"},{"key":"#cr-split#-19_CR12.1","unstructured":"Herzig, A., Varzinczak, I.: On the modularity of theories. In: R.\u00a0Schmidt, I.\u00a0Pratt-Hartmann, M.\u00a0Reynolds, and H.\u00a0Wansing, editors, vol.\u00a05, pp. 93\u2013109. King\u2019s College Publications (2004);"},{"key":"#cr-split#-19_CR12.2","unstructured":"Selected papers of AiML 2004, also available at:                                           http:\/\/www.aiml.net\/volumes\/volume5"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Robinson, A., Voronkov, A. (eds.) Handbook of automated reasoning, pp. 335\u2013367 (2001)","DOI":"10.1016\/B978-044450813-3\/50008-4"},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"D. Plaisted","year":"1986","unstructured":"Plaisted, D., Greenbaum, S.: A structure-preserving clause form translation. J. of Symbolic Computation\u00a02(3), 293\u2013304 (1986)","journal-title":"J. of Symbolic Computation"},{"key":"19_CR15","first-page":"900","volume-title":"Proc. 18th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2003)","author":"H. Stuckenschmidt","year":"2003","unstructured":"Stuckenschmidt, H., Klein, M.: Integrity and change in modular ontologies. In: Sorge, V., Colton, S., Fisher, M., Gow, J. (eds.) Proc. 18th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, pp. 900\u2013908. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"19_CR16","first-page":"79","volume-title":"Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006)","author":"B. Cat ten","year":"2006","unstructured":"ten Cat, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proc. 10th Intl. Conf. on Knowledge Representation and Reasoning (KR 2006), Lake District, pp. 79\u201389. Morgan Kaufmann Publishers, San Francisco (2006)"},{"key":"19_CR17","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Slisenko, A. (ed.) Studies in Constructive Mathematics and Mathematical Logics, Part II (1968)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T06:29:00Z","timestamp":1552285740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11853886_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}