{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:10Z","timestamp":1761620830854},"reference-count":45,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1016\/0004-3702(91)90029-j","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"261-297","source":"Crossref","is-referenced-by-count":90,"title":["Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services"],"prefix":"10.1016","volume":"48","author":[{"given":"Jon","family":"Doyle","sequence":"first","affiliation":[]},{"given":"Ramesh S.","family":"Patil","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(91)90029-J_BIB1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0020-7373(77)80017-5","article-title":"What's in a concept: structural foundations for semantic networks","volume":"9","author":"Brachman","year":"1977","journal-title":"Int. J. Man-Mach. Stud."},{"key":"10.1016\/0004-3702(91)90029-J_BIB2_1","article-title":"A structural paradigm for representing knowledge","author":"Brachman","year":"1978"},{"key":"10.1016\/0004-3702(91)90029-J_BIB2_2","year":"1978"},{"key":"10.1016\/0004-3702(91)90029-J_BIB3","series-title":"Associative Networks","article-title":"On the epistemological status of semantic networks","author":"Brachman","year":"1979"},{"key":"10.1016\/0004-3702(91)90029-J_BIB4","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MC.1983.1654194","article-title":"What IS-A is and isn't: an analysis of taxonomic links in semantic networks","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Comput."},{"key":"10.1016\/0004-3702(91)90029-J_BIB5","first-page":"80","article-title":"\u201cI lied about the trees\u201d, or, defaults and definitions in knowledge representation","volume":"6","author":"Brachman","year":"1985","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(91)90029-J_BIB6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","article-title":"Krypton: a functional approach to knowledge representation","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Comput."},{"key":"10.1016\/0004-3702(91)90029-J_BIB7","series-title":"Proceedings AAAI-82","first-page":"189","article-title":"Competence in knowledge representation","author":"Brachman","year":"1982"},{"key":"10.1016\/0004-3702(91)90029-J_BIB8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cogn. Sci."},{"key":"10.1016\/0004-3702(91)90029-J_BIB9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1989.tb00311.x","article-title":"Constructive belief and rational representation","volume":"5","author":"Doyle","year":"1989","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB10","article-title":"Knowledge retrieval as specialized inference","author":"Frisch","year":"1988"},{"key":"10.1016\/0004-3702(91)90029-J_BIB11","series-title":"Sixth Conference on Automated Deduction","first-page":"274","article-title":"Knowledge retrieval as limited inference","volume":"138","author":"Frisch","year":"1982"},{"key":"10.1016\/0004-3702(91)90029-J_BIB12","series-title":"Proceedings Fourth Workshop on Automated Deduction","first-page":"1","article-title":"Average complexity of the satisfiability problem","author":"Goldberg","year":"1979"},{"key":"10.1016\/0004-3702(91)90029-J_BIB13","series-title":"Symposium on Computer Applications in Medical Care","first-page":"101","article-title":"Representing medical knowledge in a terminological language is diffcult","author":"Haimowitz","year":"1988"},{"key":"10.1016\/0004-3702(91)90029-J_BIB14","article-title":"XLMS: a linguistic memory system","author":"Hawkinson","year":"1980"},{"key":"10.1016\/0004-3702(91)90029-J_BIB15","series-title":"Proceedings AAAI-86","first-page":"978","article-title":"Recent developments in NIKL","author":"Kaczmarek","year":"1986"},{"key":"10.1016\/0004-3702(91)90029-J_BIB16","author":"Lakoff","year":"1987"},{"key":"10.1016\/0004-3702(91)90029-J_BIB17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1146\/annurev.cs.01.060186.001351","article-title":"Knowledge representation and reasoning","volume":"1","author":"Levesque","year":"1986","journal-title":"Annu. Rev. Comput. Sci."},{"key":"10.1016\/0004-3702(91)90029-J_BIB18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","article-title":"Making believers out of computers","volume":"30","author":"Levesque","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB19","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","article-title":"Expressiveness and tractability in knowledge representation and reasoning","volume":"3","author":"Levesque","year":"1987","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB20","series-title":"Proceedings IJCAI-81","first-page":"375","article-title":"Representation and inference in the CONSUL system","author":"Mark","year":"1981"},{"key":"10.1016\/0004-3702(91)90029-J_BIB21","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"289","article-title":"Taxonomic syntax for first order logic","author":"McAllester","year":"1989"},{"key":"10.1016\/0004-3702(91)90029-J_BIB22","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/0004-3702(91)90029-J_BIB23","series-title":"Mind Design","first-page":"95","article-title":"A framework for representing knowledge","author":"Minsky","year":"1981"},{"key":"10.1016\/0004-3702(91)90029-J_BIB24","article-title":"Learning effective search control knowledge: an explanation-based approach","author":"Minton","year":"1988"},{"key":"10.1016\/0004-3702(91)90029-J_BIB25","series-title":"NIKL workshop summary","article-title":"Summary of topics discussed at the meeting among NIKL users and researchers","author":"Moore","year":"1986"},{"key":"10.1016\/0004-3702(91)90029-J_BIB26","article-title":"An overview of NIKL: the new implementation of KL-ONE","author":"Moser","year":"1983"},{"key":"10.1016\/0004-3702(91)90029-J_BIB27","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","article-title":"Computational complexity of terminological reasoning in BACK","volume":"34","author":"Nebel","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB28","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","article-title":"Terminological reasoning is inherently intractable","volume":"43","author":"Nebel","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB29","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","article-title":"The knowledge level","volume":"18","author":"Newell","year":"1982","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB30","series-title":"Proceedings IEEE Workshop on Principles of Knowledge-Based Systems","first-page":"11","article-title":"Small can be beautiful in knowledge representation","author":"Patel-Schneider","year":"1984"},{"key":"10.1016\/0004-3702(91)90029-J_BIB31","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1111\/j.1467-8640.1987.tb00175.x","article-title":"A hybrid, decidable, logic-based knowledge representation system","volume":"3","author":"Patel-Schneider","year":"1987","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB32","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","article-title":"Undecidability of subsumption in NIKL","volume":"39","author":"Patel-Schneider","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB33","article-title":"Causal representation of patient illness for electrolyte and acid-base diagnosis","author":"Patil","year":"1981"},{"key":"10.1016\/0004-3702(91)90029-J_BIB34","series-title":"From a Logical Point of View: Logico-Philosophical Essays","first-page":"20","article-title":"Two dogmas of empiricism","author":"Quine","year":"1953"},{"key":"10.1016\/0004-3702(91)90029-J_BIB35","series-title":"Proceedings IJCAI-85","article-title":"The layered architecture of a system for reasoning about programs","author":"Rich","year":"1985"},{"key":"10.1016\/0004-3702(91)90029-J_BIB36","article-title":"The NIKL manual","author":"Robins","year":"1986"},{"key":"10.1016\/0004-3702(91)90029-J_BIB37","series-title":"Proceedings IJCAI-83","first-page":"330","article-title":"Classification in the KL-ONE knowledge representation system","author":"Schmolze","year":"1983"},{"key":"10.1016\/0004-3702(91)90029-J_BIB38","article-title":"Reflection and semantics in a procedural language","author":"Smith","year":"1982"},{"key":"10.1016\/0004-3702(91)90029-J_BIB39","article-title":"A report from the frontiers of knowledge representation","author":"Smoliar","year":"1990"},{"key":"10.1016\/0004-3702(91)90029-J_BIB40","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S0004-3702(83)80014-9","article-title":"XPLAIN: a system for creating and explaining expert consulting programs","volume":"21","author":"Swartout","year":"1983","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(91)90029-J_BIB41","series-title":"Proceedings IJCAI-85","first-page":"547","article-title":"The restricted language architecture of a hybrid representation system","author":"Vilain","year":"1985"},{"key":"10.1016\/0004-3702(91)90029-J_BIB42","article-title":"The anatomy of the BACK system","author":"von Luck","year":"1987"},{"key":"10.1016\/0004-3702(91)90029-J_BIB43","article-title":"Formulation of tradeoffs in planning under uncertainty","author":"Wellman","year":"1988"},{"key":"10.1016\/0004-3702(91)90029-J_BIB44","article-title":"Research in natural language understanding","author":"Woods","year":"1978"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190029J?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029190029J?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:26:25Z","timestamp":1553631985000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029190029J"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["000437029190029J"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(91)90029-j","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}