{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:30Z","timestamp":1725456330392},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055498X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013610","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:35:56Z","timestamp":1132727756000},"page":"221-237","source":"Crossref","is-referenced-by-count":1,"title":["Terminological reasoning and partial inductive definitions"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Hanschke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"M. Aronsson. The GCLA users's manual. Technical Report T91:21, SICS, 1991."},{"key":"9_CR2","unstructured":"M. Aronsson, L.-H. Eriksson, L. Halln\u00e4s, and P. Kreuger. A survey of GCLA: A definitional approach to logic programming. In Proceedings of the International International Workshop on Extensions of Logic Programming, T\u00fcbingen, FRG, 1989. Springer, LNCS 475."},{"key":"9_CR3","unstructured":"F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12 th International Joint Conference on Artificial Intelligence, 1991. A long version is available as DFKI Research Report RR-90-13."},{"key":"9_CR4","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. Research report RR-91-10, DFKI \/ Kaiserslautern, 1991."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"A. Borgida, R. J. Brachman, D. L. McGuinness, and L. A. Resnick. CLASSIC: A structural data model for objects. In International Conference on Management of Data. ACM sigmod, 1989.","DOI":"10.1145\/67544.66932"},{"key":"9_CR6","unstructured":"R. J. Brachman, V. P. Gilbert, and H. J. Levesque. An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 532\u2013539, 1985."},{"issue":"2","key":"9_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"9_CR8","unstructured":"L.-H. Eriksson. A finitary version of the calculus of partial inductive definitions. In this volume, 1992."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"L. Halln\u00e4s. Partial inductive definitions. Theoretical Computer Science, 87(1), 1991.","DOI":"10.1016\/S0304-3975(06)80007-1"},{"key":"9_CR10","unstructured":"A. Kobsa. The SB-ONE knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, 1989. Two Harbors, Cal."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\\ and G. Smolka. Attributive concept descriptions with complements. To appear in Journal of Artificial Intelligence, 47, 1991.","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"P. Schroeder-Heister and L. Halln\u00e4s. A proof-theoretic approach to logic programming. Journal of Logic and Computation, 1(2), 1990 and 1(5), 1991.","DOI":"10.1093\/logcom\/1.2.261"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:27:47Z","timestamp":1586579267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013610"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055498X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0013610","relation":{},"subject":[]}}