{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:30Z","timestamp":1761620910777},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf02127745","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T11:34:26Z","timestamp":1126784066000},"page":"133-157","source":"Crossref","is-referenced-by-count":15,"title":["Consistency checking reduced to satisfiability of concepts in terminological systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Bernhard","family":"Hollunder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF02127745_CR1","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder,KRIS:KnowledgeRepresentation andInferenceSystem,SIGART Bulletin 2(3) (1991) 8\u201314.","journal-title":"SIGART Bulletin"},{"key":"BF02127745_CR2","doi-asserted-by":"crossref","unstructured":"F. Baader and B. Hollunder, A terminological knowledge representation system with complete inference algorithms, in:International Workshop on Processing Declarative Knowledge, Vol. 567, eds. M. Richter and H. Boley (Springer, 1991).","DOI":"10.1007\/BFb0013522"},{"key":"BF02127745_CR3","unstructured":"F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, in:Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass. (1992)."},{"issue":"2","key":"BF02127745_CR4","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 theKl-one knowledge representation system,Cognitive Science 9(2) (1985) 171\u2013216.","journal-title":"Cognitive Science"},{"key":"BF02127745_CR5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","volume":"2\u20133","author":"F. Donini","year":"1992","unstructured":"F. Donini, B. Hollunder, M. Lenzerini, A.M. Spaccamela, D. Nardi and W. Nutt, The complexity of existential quantification in concept languages,Artificial Intelligence 2\u20133 (1992) 309\u2013327.","journal-title":"Artificial Intelligence"},{"key":"BF02127745_CR6","unstructured":"F. Donini, M. Lenzerini, D. Nardi and W. Nutt, The complexity of concept languages, in:Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass. (1991)."},{"key":"BF02127745_CR7","unstructured":"F. Donini, M. Lenzerini, D. Nardi and W. Nutt, Tractable concept languages, in:Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia (1991)."},{"key":"BF02127745_CR8","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi and A. Schaerf, From subsumption to instance checking, Technical Report 15.92, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d (1992)."},{"key":"BF02127745_CR9","unstructured":"B. Hollunder,Algorithmic Foundations of Terminological Knowledge Representation Systems, PhD Thesis, University of Saarbr\u00fccken (1994)."},{"key":"BF02127745_CR10","unstructured":"B. Hollunder and F. Baader, Qualifying number restrictions in concept languages, in:Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass. (1991)."},{"key":"BF02127745_CR11","unstructured":"B. Hollunder, W. Nutt and M. Schmidt-Schau\u00df, Subsumption algorithms for concept description languages, in:Proceedings of the 9th European Conference on Artificial Intelligence, Stockholm, Sweden (1990) pp. 348\u2013353."},{"key":"BF02127745_CR12","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H.J. Levesque","year":"1987","unstructured":"H.J. Levesque and R.J. Brachman, Expressiveness and tractability in knowledge representation and reasoning,Computational Intelligence 3 (1987) 78\u201393.","journal-title":"Computational Intelligence"},{"issue":"3","key":"BF02127745_CR13","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R. MacGregor","year":"1991","unstructured":"R. MacGregor, Inside the LOOM description classifier,SIGART Bulletin 2(3) (1991) 88\u201392.","journal-title":"SIGART Bulletin"},{"key":"BF02127745_CR14","series-title":"LNAI","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"B. Nebel,Reasoning and Revision in Hybrid Representation Systems, LNAI 422 (Springer-Verlag, Berlin, Germany, 1990)."},{"issue":"2","key":"BF02127745_CR15","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"B. Nebel, Terminological reasoning is inherently intractable,Artificial Intelligence 43(2) (1990) 235\u2013249.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"BF02127745_CR16","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/122296.122313","volume":"2","author":"P.F. Patel-Schneider","year":"1991","unstructured":"P.F. Patel-Schneider, D.L. McGuinness, R.J. Brachman, L.A. Resnick and A. Borgida, TheClassic knowledge representation system: Guiding principles and implementation rational,SIGART Bulletin 2(3) (1991) 108\u2013113.","journal-title":"SIGART Bulletin"},{"issue":"3","key":"BF02127745_CR17","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C. Peltason","year":"1991","unstructured":"C. Peltason, TheBack system \u2014 an overview,SIGART Bulletin 2(3) (1991) 114\u2013119.","journal-title":"SIGART Bulletin"},{"key":"BF02127745_CR18","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df and G. Smolka, Attributive concept descriptions with complements,Artificial Intelligence 47 (1991).","DOI":"10.1016\/0004-3702(91)90078-X"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127745.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02127745\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02127745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:45:38Z","timestamp":1557798338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02127745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF02127745"],"URL":"https:\/\/doi.org\/10.1007\/bf02127745","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}