{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:08:55Z","timestamp":1761894535742},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_14","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:48:36Z","timestamp":1180651716000},"page":"202-215","source":"Crossref","is-referenced-by-count":2,"title":["On Expressive Description Logics with Composition of Roles in Number Restrictions"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Grandi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"A. Artale and E. Franconi. Temporal ER Modeling with Description Logics. In Proc. Intl\u2019 Conf. on Conceptual Modeling (ER\u201999), pages 81\u201395, 1999.","DOI":"10.1007\/3-540-47866-3_6"},{"key":"14_CR2","unstructured":"F. Baader, D. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors. The Decsription Logic Handbook: Theory, implementation and applications. Cambridge University Press, 2002 (to appear)."},{"issue":"3","key":"14_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/9.3.319","volume":"9","author":"F. Baader","year":"1999","unstructured":"F. Baader and U. Sattler. Expressive Number Restrictions in Description Logics. J. of Logic and Computation, 9(3):319\u2013350, 1999.","journal-title":"J. of Logic and Computation"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"F. Baader and U. Sattler. An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5\u201340, 2001.","journal-title":"Studia Logica"},{"key":"14_CR5","first-page":"1","volume":"66","author":"R. Berger","year":"1966","unstructured":"R. Berger. The Undecidability of the Dominoe Problems. Mem. Amer. Mathematical Society, 66:1\u201372, 1966.","journal-title":"Mem. Amer. Mathematical Society"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"A. Borgida. On the Relative Expressiveness of Description Logics and First Order Logics. Artificial Intelligence, 82:353\u2013367, 1996.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"14_CR7","first-page":"449","volume":"18","author":"A. Borgida","year":"1992","unstructured":"A. Borgida and M. Jarke. Knowledge Representation and Reasoning in Software Engineering. IEEE Transactions on Software Engineering, 18(6):449\u2013450, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/logcom\/9.3.295","volume":"9","author":"D. Calvanese","year":"1999","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. Representing and Reasoning on XML Documents: A Description Logic Approach. J. of Logic and Computation, 9(3):295\u2013318, 1999.","journal-title":"J. of Logic and Computation"},{"key":"14_CR9","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. Description Logics: Foundations for Class-based Knowledge Representation. In Proc. of IEEE Symposium on Logic in Computer Science (LICS\u201999), 2002."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi. Reasoning in Expressive Description Logics. In Handbook of Automated Reasoning, pages 1581\u20131634. Elsevier, 2001.","DOI":"10.1016\/B978-044450813-3\/50025-4"},{"key":"14_CR11","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description Logic Framework for Information Integration. In Proc. of Intl\u2019 Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201998), 1998."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"D. Calvanese, M. Lenzerini, and D. Nardi. Description Logics for Conceptual Data Modeling. In Logics for Databases and Information Systems, pages 229\u2013263. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5643-5_8"},{"key":"14_CR13","unstructured":"G. De Giacomo and M. Lenzerini. TBox and ABox Reasoning in Expressive Description Logics. In Proc. of Intl\u2019 Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201996), pages 348\u2013353, 1996."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F.M. Donini","year":"1997","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The Complexity of Concept Languages. Information and Computation, 134:1\u201358, 1997.","journal-title":"Information and Computation"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"E. Franconi, F. Grandi, and F. Mandreoli. A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. In Proc. Intl\u2019 Conf. on Deductive and Object-Oriented Databases (DOOD 2000), pages 1048\u20131062, 2000.","DOI":"10.1007\/3-540-44957-4_70"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"C.A. Goble and C. Haul and S. Bechhofer. Describing and Classifying Multimedia Using the Description Logic GRAIL. In Proc. of Storage and Retrieval for Image and Video Databases (SPIE), 1996.","DOI":"10.1117\/12.234790"},{"key":"14_CR17","unstructured":"E. Gr\u00e4del, M. Otto, and E. Rosen. Two-variable Logic with Counting is Decidable. In Proc. Annual IEEE Symp. on Logic in Computer Science (LICS\u201997), pages 306\u2013317, 1997."},{"key":"14_CR18","unstructured":"F. Grandi. On Expressive Number Restrictions in Description Logics. In Proc. of Intl\u2019 Workshop on Description Logics (DL\u201901), 2001."},{"key":"14_CR19","unstructured":"F. Grandi. On Expressive Description Logics with Composition of Roles in Number Restrictions. Technical Report CSITE-01-02, CSITE-CNR Bologna, 2002. (URL \n                  \n                    ftp:\/\/ftp-db.deis.unibo.it\/pub\/fabio\/TR\/CSITE-01-02.pdf\n                  \n                  \n                )"},{"key":"14_CR20","unstructured":"B. Hollunder and F. Baader. Qualifying Number Restrictions in Concept Languages. In Proc. of 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR-91, pages 335\u2013346, 1991."},{"key":"14_CR21","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schau\u00df. Subsumption Algorithms for Concept Description Languages. In Proc. of Europ. Conf. on Artificial Intelligence (ECAI\u201990), pages 335\u2013346, 1990."},{"key":"14_CR22","unstructured":"I. Horrocks and U. Sattler. Ontology Reasoning in the SHOQ(D) Description Logic. In Proc. of Intl\u2019 Joint Conf. on Artificial Intelligence (IJCAI\u201901), 2001."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"L. Pacholski, W. Szwast, and L. Tendera. Complexity of Two-variable Logic with Counting. In Proc. Annual IEEE Symp. on Logic in Computer Science (LICS\u201997), pages 318\u2013327, 1997.","DOI":"10.1109\/LICS.1997.614958"},{"key":"14_CR24","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"W. J. Savitch","year":"1970","unstructured":"W. J. Savitch. Relationship between Nondeterministic and Deterministic Tape Complexities. Journal of Computer and System Sciences, 4:177\u2013192, 1970.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"14_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive Concept Descriptions with Complements. Artificial Intelligence, 48(1):1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"14_CR26","unstructured":"S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:42:56Z","timestamp":1550349776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}