{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:01:57Z","timestamp":1775818917838,"version":"3.50.1"},"reference-count":40,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,8,1]],"date-time":"1994-08-01T00:00:00Z","timestamp":775699200000},"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":[[1994,8]]},"DOI":"10.1016\/0004-3702(94)90071-x","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"367-397","source":"Crossref","is-referenced-by-count":25,"title":["An empirical analysis of terminological representation systems"],"prefix":"10.1016","volume":"68","author":[{"given":"Jochen","family":"Heinsohn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Kudenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\u00fcrgen","family":"Profitlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)90071-X_BIB1","author":"Aigner","year":"1988"},{"key":"10.1016\/0004-3702(94)90071-X_BIB2","article-title":"A lattice-theoretic approach to computations based on a calculus of partially ordered type structures","author":"A\u00eft-Kaci","year":"1984"},{"key":"10.1016\/0004-3702(94)90071-X_BIB3","series-title":"Proceedings AAAI-90","first-page":"621","article-title":"Terminological cycles in KL-ONE-based knowledge representation languages","author":"Baader","year":"1990"},{"key":"10.1016\/0004-3702(94)90071-X_BIB4_1","article-title":"Terminological knowledge representation: a proposal for a terminological logic","author":"Baader","year":"1990","journal-title":"DFKI Tech. Memo TM-90-04"},{"key":"10.1016\/0004-3702(94)90071-X_BIB4_2","series-title":"International Workshop on Terminological Logics","year":"1991"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB5","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/122296.122298","article-title":"KRIS: knowledge representation and inference system","volume":"2","author":"Baader","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/0004-3702(94)90071-X_BIB6","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","first-page":"270","article-title":"An empirical analysis of optimization techniques for terminological representation systems or \u201cmaking KRIS get a move on\u201d","author":"Baader","year":"1992"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB7","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/122296.122300","article-title":"The LILOG knowledge representation system","volume":"2","author":"Bollinger","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/0004-3702(94)90071-X_BIB8","series-title":"Proceedings AAAI-84","first-page":"34","article-title":"The tractability of subsumption in frame-based description languages","author":"Brachman","year":"1984"},{"key":"10.1016\/0004-3702(94)90071-X_BIB9","series-title":"Proceedings IJCAI-85","first-page":"532","article-title":"An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON","author":"Brachman","year":"1985"},{"issue":"2","key":"10.1016\/0004-3702(94)90071-X_BIB10","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(94)90071-X_BIB11","series-title":"Proceedings Fifth International Symposium on Methodologies for Intelligent Systems","first-page":"234","article-title":"Walking through the semantics of frame-based description languages: a case study","author":"Cattoni","year":"1990"},{"key":"10.1016\/0004-3702(94)90071-X_BIB12","series-title":"ESPRIT '90 Conference Proceedings","article-title":"Terminological information management in ADKMS","author":"Damiani","year":"1990"},{"issue":"5","key":"10.1016\/0004-3702(94)90071-X_BIB13","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/103167.103172","article-title":"LaSSIE: a knowledge-based software information system","volume":"34","author":"Devanbu","year":"1991","journal-title":"Commun. ACM"},{"key":"10.1016\/0004-3702(94)90071-X_BIB14","series-title":"Proceedings AAAI-92","first-page":"761","article-title":"A non-well-founded approach to terminological cycles","author":"Dionne","year":"1992"},{"issue":"2\u20133","key":"10.1016\/0004-3702(94)90071-X_BIB15","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","article-title":"The complexity of existential quantification in concept languages","volume":"53","author":"Donini","year":"1992","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90071-X_BIB16","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference","first-page":"151","article-title":"The complexity of concept languages","author":"Donini","year":"1991"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/122296.122303","article-title":"Empirical investigations of knowledge representation servers: design issues and application experience with KRS","volume":"2","author":"Gaines","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/0004-3702(94)90071-X_BIB18","article-title":"Subsumption algorithms for concept languages","author":"Hollunder","year":"1990"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB19","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/122296.122306","article-title":"First experiences with the SB-ONE knowledge representation workbench in natural-language applications","volume":"2","author":"Kobsa","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/0004-3702(94)90071-X_BIB20","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."},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB21","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/122296.122309","article-title":"Inside the LOOM description classifier","volume":"2","author":"MacGregor","year":"1991","journal-title":"SIGART Bull."},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB22","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/122296.122310","article-title":"K-Rep system overview","volume":"2","author":"Mays","year":"1991","journal-title":"SIGART Bull."},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB23","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(94)90071-X_BIB24","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(94)90071-X_BIB25","series-title":"Principles of Semantic Networks","first-page":"331","article-title":"Terminological cycles: semantics and computational properties","author":"Nebel","year":"1991"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB26","first-page":"36","article-title":"Enabling technology for knowledge sharing","volume":"12","author":"Neches","year":"1991","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(94)90071-X_BIB27","series-title":"K\u00fcnstliche Intelligenz, GWAI-88, 12","first-page":"77","article-title":"Configuration as a consistency maintenance task","author":"Owsnicki-Klewe","year":"1988"},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB28","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/122296.122313","article-title":"The CLASSIC knowledge representation system: guiding principles and implementation rational","volume":"2","author":"Patel-Schneider","year":"1991","journal-title":"SIGART Bull."},{"issue":"2","key":"10.1016\/0004-3702(94)90071-X_BIB29","first-page":"16","article-title":"Term subsumption languages in knowledge representation","volume":"11","author":"Patel-Schneider","year":"1990","journal-title":"AI Mag."},{"issue":"3","key":"10.1016\/0004-3702(94)90071-X_BIB30","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","article-title":"The BACK system\u2014an overview","volume":"2","author":"Peltason","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/0004-3702(94)90071-X_BIB31","article-title":"The BACK system revisited","author":"Peltason","year":"1989"},{"key":"10.1016\/0004-3702(94)90071-X_BIB32","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference","first-page":"421","article-title":"Subsumption in KL-ONE is undecidable","author":"Schmidt-Schau\u00df","year":"1989"},{"key":"10.1016\/0004-3702(94)90071-X_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90071-X_BIB34","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1111\/j.1467-8640.1991.tb00334.x","article-title":"The NIKL experience","volume":"6","author":"Schmolze","year":"1991","journal-title":"Comput. Intell."},{"key":"10.1016\/0004-3702(94)90071-X_BIB35","series-title":"Proceedings AAAI-86","first-page":"612","article-title":"A logical-form and knowledge-base design for natural language generation","author":"Sondheimer","year":"1986"},{"key":"10.1016\/0004-3702(94)90071-X_BIB36","article-title":"Semantic validation of inferences in terminological representation systems","author":"Thomson","year":"1991"},{"key":"10.1016\/0004-3702(94)90071-X_BIB37","series-title":"Computational Theories of Communication and Their Applications","first-page":"121","article-title":"WIP: the coordinated generation of multimodal presentations from a common representation","author":"Wahlster","year":"1992"},{"issue":"1\u20132","key":"10.1016\/0004-3702(94)90071-X_BIB38","first-page":"387","article-title":"Plan-based integration of natural language and graphics generation","volume":"63","author":"Wahlster","year":"1994","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90071-X_BIB39","series-title":"Proceedings AAAI-90","first-page":"349","article-title":"Interaction-based invention: designing novel devices from first principles","author":"Williams","year":"1990"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029490071X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029490071X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:56:13Z","timestamp":1553648173000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029490071X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["000437029490071X"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)90071-x","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}