{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:02:52Z","timestamp":1774591372813,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540617082","type":"print"},{"value":"9783540706694","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61708-6_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:15:09Z","timestamp":1330276509000},"page":"333-345","source":"Crossref","is-referenced-by-count":17,"title":["A concept language extended with different kinds of transitive roles"],"prefix":"10.1007","author":[{"given":"Ulrike","family":"Sattler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"35_CR1","unstructured":"A. Artale, F. Cesarini, E. Grazzini, F. Pippolini, and G. Soda. Modelling composition in a terminological language environment. In Workshop Notes of the ECAI Workshop on Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, pages 93\u2013101, Amsterdam, 1994."},{"key":"35_CR2","unstructured":"F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of IJCAI-91, 1991."},{"key":"35_CR3","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proc. of KR-91, Boston (USA), 1991."},{"key":"35_CR4","volume-title":"Technical Report RR-95-07","author":"F. M. Donini","year":"1995","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. Technical Report RR-95-07, DFKI, Kaiserslautern, Deutschland, 1995."},{"key":"35_CR5","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. J. Fischer","year":"1979","unstructured":"M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Science, 18:194\u2013211, 1979.","journal-title":"J. of Computer and System Science"},{"issue":"4","key":"35_CR6","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/BF00974106","volume":"3","author":"E. Franconi","year":"1994","unstructured":"E. Franconi. A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, 3(4):453\u2013474, November 1994.","journal-title":"Minds and Machines"},{"key":"35_CR7","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"35_CR8","volume-title":"ECAI-90","author":"B. Hollunder","year":"1990","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schauss. Subsumption algorithms for concept description languages. In ECAI-90, Pitman Publishing, London, 1990."},{"issue":"3","key":"35_CR9","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R.E. Ladner","year":"1977","unstructured":"R.E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM J. of Computing, 6(3):467\u2013480, 1977.","journal-title":"SIAM J. of Computing"},{"key":"35_CR10","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. Levesque","year":"1987","unstructured":"H. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"35_CR11","unstructured":"S. Pribbenow. Modeling physical objects: Reasoning about (different kinds of) parts. In Time, Space, and Movement Workshop 95, Bonas, France, 1995."},{"key":"35_CR12","unstructured":"K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of IJCAI-91, pages 466\u2013471, Sydney, 1991."},{"key":"35_CR13","volume-title":"Parts. A study in Ontology","author":"P. M. Simons","year":"1987","unstructured":"P. M. Simons. Parts. A study in Ontology. Oxford: Clarendon, 1987."},{"issue":"1","key":"35_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Manfred Schmidt-Schau\u00df and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1\u201326, 1991.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","KI-96: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61708-6_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:35:46Z","timestamp":1619559346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61708-6_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617082","9783540706694"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61708-6_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}