{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:59:33Z","timestamp":1648821573821},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[2004,9]]},"DOI":"10.1007\/bf03040963","type":"journal-article","created":{"date-parts":[[2009,5,13]],"date-time":"2009-05-13T02:03:38Z","timestamp":1242180218000},"page":"253-269","source":"Crossref","is-referenced-by-count":0,"title":["Resolution for label-based formulas in hierarchical representation"],"prefix":"10.1007","volume":"22","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"No. 3","key":"BF03040963_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci, H. and Nasr, R., \u201cLOGIN: A Logic Programming Language with Built-in Inheritance,\u201dJournal of Logic Programming, Vol. 3, No. 3, pp. 185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"issue":"No. 3-4","key":"BF03040963_CR2","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"A\u00eft-Kaci, H. and Podelski, A., \u201cTowards a Meaning of LIFE,\u201dJournal of Logic Programming, Vol. 16, No. 3-4, pp. 195\u2013234, 1993.","journal-title":"Journal of Logic Programming"},{"key":"BF03040963_CR3","series-title":"DFKI Technical Memo TM-90-04","volume-title":"Terminological Knowledge, Representation: A Proposal for a Terminological Logic","author":"F. Baader","year":"1990","unstructured":"Baader, F., B\u00fcrckert, H.-J., Heinsohn, J., M\u00fcller, J., Hollunder, B., Nebel, B., Nutt, W. and Profitlich, H.-J., \u201cTerminological Knowledge, Representation: A Proposal for a Terminological Logic,\u201dDFKI Technical Memo TM-90-04, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Kaiserslautern, 1990."},{"key":"BF03040963_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0004-3702(92)90055-3","volume":"55","author":"C. Beierle","year":"1992","unstructured":"Beierle, C., Hedts\u00fcck, U., Pletat, U., Schmitt, P. H. and Siekmann, J., \u201cAn Order-sorted Logic for Knowledge Representation Systems,\u201dArtificial Intelligence, 55, pp. 149\u2013191, 1992.","journal-title":"Artificial Intelligence"},{"key":"BF03040963_CR5","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G., \u201cA More Expressive Formulation of Many Sorted Logic,\u201dJournal of Automated Reasoning, 3, pp. 113\u2013200, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"BF03040963_CR6","first-page":"89","volume":"3","author":"A. G. Cohn","year":"1989","unstructured":"Cohn, A. G., \u201cTaxonomic Reasoning with Many Sorted Logics,\u201dArtificial Intelligence Review, 3, pp. 89\u2013128, 1989.","journal-title":"Artificial Intelligence Review"},{"key":"BF03040963_CR7","unstructured":"Horrocks, I., Fensel, D., Broekstra, J., Decker, S., Erdmann, M., Goble, Harmelen, F. van, Klein, M., Staab, S., Studer, R. and Motta, E., \u201cOIL: The Ontology Inference Layer,\u201dTechnical Report IR-479, Vrije Universiteit Amsterdam, Sciences, 2000."},{"key":"BF03040963_CR8","unstructured":"Horrocks, I. and Sattler, U., \u201cOntology Reasoning in theSHOQ(D) Description Logic,\u201d inProc. of the Seventeenth International Joint Conference on Artificial Intelligence, 2001."},{"key":"BF03040963_CR9","unstructured":"Nitta, K., et al., \u201cKnowledge Representation of New HELIC-II,\u201d inWorkshop on Legal Application of Logic Programming, ICLP \u201994, 1994."},{"key":"BF03040963_CR10","unstructured":"Kaneiwa, K. and Tojo, S., \u201cEvent, Property, and Hierarchy in Order-sorted Logic,\u201d inProc. of the 1999 Int. Conf. on Logic Programming, pp. 94\u2013108, The MIT Press, 1999."},{"key":"BF03040963_CR11","doi-asserted-by":"crossref","unstructured":"Kaneiwa, K. and Tojo, S., \u201cAn Order-sorted Resolution with Implicitly Negative Sorts,\u201d inProc. of the 2001 Int. Conf. on Logic Programming, LNCS 2237, pp. 300\u2013314. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45635-X_28"},{"issue":"4","key":"BF03040963_CR12","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G. and Wu, J., \u201cLogical Foundations of Object-oriented and Frame-based Languages,\u201dJ. ACM, 42(4), pp. 741\u2013843, 1995.","journal-title":"J. ACM"},{"key":"BF03040963_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"Schmidt-Schauss, M. and Smolka, G., \u201cAttributive Concept Descriptions with Complements,\u201dArtificial Intelligence, 48, pp. 1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"BF03040963_CR14","doi-asserted-by":"crossref","unstructured":"Socher-Ambrosius, R. and Johann, P.,Deduction Systems, Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4612-2266-8"},{"issue":"2","key":"BF03040963_CR15","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0004-3702(85)90029-3","volume":"26","author":"C. Walther","year":"1985","unstructured":"Walther, C., \u201cA Mechanical Solution of Schuber\u2019s Steamroller by Many-sorted Resolution,\u201dArtificial Intelligence, 26(2) pp. 217\u2013224, 1985.","journal-title":"Artificial Intelligence"},{"key":"BF03040963_CR16","doi-asserted-by":"crossref","unstructured":"Walther, C., \u201cMany-sorted Unification,\u201dJourn. of the Association for Computing Machinery,35,1, 1988.","DOI":"10.1145\/42267.45071"},{"issue":"2","key":"BF03040963_CR17","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0304-3975(97)00051-0","volume":"185","author":"T. Weibel","year":"1997","unstructured":"Weibel, T., \u201cAn Order-sorted Resolution in Theory and Practice,\u201dTheoretical Computer Science, 185(2), pp. 393\u2013410, 1997.","journal-title":"Theoretical Computer Science"},{"key":"BF03040963_CR18","unstructured":"Yokota, K., \u201cQuixote: A Constraint Based Approach to a Deductive Object-Oriented Database,\u201d Ph.D. thesis, Kyoto University, 1994."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03040963.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03040963\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03040963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T21:05:10Z","timestamp":1558559110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03040963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["BF03040963"],"URL":"https:\/\/doi.org\/10.1007\/bf03040963","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,9]]}}}