{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:01:09Z","timestamp":1742914869960,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668220"},{"type":"electronic","value":"9783540466956"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46695-9_28","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T08:37:07Z","timestamp":1186907827000},"page":"328-339","source":"Crossref","is-referenced-by-count":1,"title":["Feasibility of Optimised Disjunctive Reasoning for Approximate Matching"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[]},{"given":"Lin","family":"Padgham","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Thomson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. In Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-92), pages 270\u2013281, 1992."},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder. KRIS: Knowledge representation and inference system. SIGART Bulletin, 2(3):8\u201314, 1991.","journal-title":"SIGART Bulletin"},{"key":"28_CR3","unstructured":"Franz Baader and Bernhard Hollunder. How to prefer more specific defaults in terminolog ical default logic. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), pages 669\u2013674, 1993."},{"key":"28_CR4","unstructured":"A. B. Baker. Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD thesis, University of Oregon, 1995."},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"J. I. Berman, H. H. Moore IV, and J. R. Wright. CLASSIC and PROSE stories: Enabling technologies for knowledge based systems. AT&T Technical Journal, pages 69\u201378, January\/February 1994.","DOI":"10.1002\/j.1538-7305.1994.tb00571.x"},{"issue":"2","key":"28_CR6","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1111\/0824-7935.00040","volume":"13","author":"P. Coupey","year":"1997","unstructured":"P. Coupey and C. Fouquere. Extending conceptual definitions with default knowledge. Computational Intelligence, 13(2):258\u2013299, 1997.","journal-title":"Computational Intelligence"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"M. Davis, G. Logemann, and D. Loveland. A machine program for theorem proving. Communications of the ACM, 5:394\u2013397, 1962.","journal-title":"Communications of the ACM"},{"key":"28_CR8","unstructured":"G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-96), pages 316\u2013327, 1996."},{"key":"28_CR9","unstructured":"F. Giunchiglia and R. Sebastiani. A SAT-based decision procedure for ALC. In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-96), pages 304\u2013314, 1996."},{"key":"28_CR10","unstructured":"J. Heinsohn, D. Kudenko, B. Nebel, and H.J. Profitlich. An empirical analysis of termi nological representation systems In Proc. of the 10th Nat. Conf. on Artificial Intelligence (AAAI-92), pages 676\u2013773, 1992."},{"key":"28_CR11","unstructured":"B. Hollunder. Algorithmic Foundations of Terminological Knowledge Representatin Systems. PhD thesis, Universit\u00e4t des Saarlandes, 1994."},{"key":"28_CR12","unstructured":"B. Hollunder and W. Nutt. Subsumption algorithms for concept languages. In Proc. of the 9th European Conf. on Artificial Intelligence (ECAI-90), pages 348\u2013353, 1990."},{"key":"28_CR13","unstructured":"I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997."},{"key":"28_CR14","unstructured":"I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-98), pages 636\u2013647, 1998."},{"key":"28_CR15","first-page":"202","volume":"1","author":"U. Hustadt","year":"1997","unstructured":"U. Hustadt and R. A. Schmidt. On evaluating decision procedures for modal logic. In Proc. of the 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97), volume 1, pages 202\u2013207, 1997.","journal-title":"Proc. of the 15th Int. Joint Conf. on Artificial Intelligence (IJCAI-97)"},{"issue":"6\u20139","key":"28_CR16","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1016\/0898-1221(92)90122-X","volume":"23","author":"L. Padgham","year":"1992","unstructured":"Lin Padgham. Defeasible inheritance: A lattice based approach. Computers and Mathematics with Applications, 23(6\u20139):527\u2013541, 1992. Special Issue on Semantic Nets.","journal-title":"Computers and Mathematics with Applications"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Lin Padgham and Bernhard Nebel. Combining classification and non-monotonic inheritance reasoning: A first step. In Proc. of the 7th Int. Sytn. on Methodologies for Intelligent Systems (ISMIS-93), pages 132\u2013141, 1993. LNAI 689.","DOI":"10.1007\/3-540-56804-2_13"},{"key":"28_CR18","first-page":"662","volume":"2","author":"L. Padgham","year":"1993","unstructured":"Lin Padgham and Tingting Zhang. A terminological logic with defaults: A definition and an application. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), volume 2, pages 662\u2013668, 1993.","journal-title":"Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93)"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"E. Rosch. Cognitive representations of semantic categories. Journal of Experimental Psychology, 104, 1975.","DOI":"10.1037\/\/0096-3445.104.3.192"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"R. M. Smullyan. First-Order Logic. Springer-Verlag, 1968.","DOI":"10.1007\/978-3-642-86718-7"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46695-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T01:02:27Z","timestamp":1732842147000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-46695-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668220","9783540466956"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46695-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}