{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T22:40:23Z","timestamp":1710283223803},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"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":[[2006,3]]},"DOI":"10.1007\/bf03037292","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:43:44Z","timestamp":1240541024000},"page":"29-51","source":"Crossref","is-referenced-by-count":0,"title":["A hybrid reasoning system for terminologies and first-order clauses in knowledge bases"],"prefix":"10.1007","volume":"24","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"BF03037292_CR1","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1093\/logcom\/11.5.717","volume":"11","author":"C. Areces","year":"2001","unstructured":"Areces, C., Nivelle, H. de and Rijke, M. de, \u201cResolution in Modal, Description and Hybrid Logics,\u201dJournal of Logic and Computation, 11, 5, pp. 717\u2013736, 2001.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037292_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F. and Sattler, U., \u201cAn Overview of Tableau Algorithms for Description Logics,\u201dStudia Logica, 69, pp. 5\u201340, 2001.","journal-title":"Studia Logica"},{"key":"BF03037292_CR3","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"},{"issue":"10","key":"BF03037292_CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","volume":"16","author":"R. J. Brachman","year":"1983","unstructured":"Brachman, R. J., Fikes, R. E. and Levesque, H. J., \u201cKRYPTON: A Functional Approach to Knowledge Representation,\u201dComputer, 16, 10, pp. 67\u201373, 1983.","journal-title":"Computer"},{"key":"BF03037292_CR5","series-title":"Lecture Notes in Artificial Intelligence and Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55034-8","volume-title":"A Resolution Principle for a Logic with Restricted Quantifiers","author":"H. J. B\u00fcrckert","year":"1991","unstructured":"B\u00fcrckert, H. J., \u201cA Resolution Principle for a Logic with Restricted Quantifiers,\u201dLecture Notes in Artificial Intelligence and Lecture Notes in Computer Science, 568, Springer-Verlag Inc., New York, NY, USA, 1991."},{"key":"BF03037292_CR6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(94)90027-2","volume":"66","author":"H. J. B\u00fcrckert","year":"1994","unstructured":"B\u00fcrckert, H. J., \u201cA Resolution Principle for Constraint Logics,\u201dArtificial Intelligence, 66, pp. 235\u2013271, 1994.","journal-title":"Artificial Intelligence"},{"key":"BF03037292_CR7","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":"BF03037292_CR8","doi-asserted-by":"crossref","unstructured":"Denecker, M., \u201cA Terminological Interpretation of (Abductive) Logic Programming,\u201d inLogic Programming and Nonmonotonic Reasoning, Proceedings LPNMR\u201995, Lecture Notes in Artificial Intelligence, 928, pp. 15\u201329, Springer, 1995.","DOI":"10.1007\/3-540-59487-6_2"},{"key":"BF03037292_CR9","doi-asserted-by":"crossref","unstructured":"Doets, K.,From Logic to Logic Programming, The MIT Press, 1994.","DOI":"10.7551\/mitpress\/3133.001.0001"},{"key":"BF03037292_CR10","unstructured":"Donini, F. D., Lenzerini, M., Nardi, D. and Schaerf, A. \u201cReasoning in Description Logic,\u201d inPrinciples of Knowledge Representation (G. Brewka, ed.), CSLI Publications, FoLLI, 1996."},{"issue":"3","key":"BF03037292_CR11","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. D. Donini","year":"1998","unstructured":"Donini, F. D., Lenzerini, M., Nardi, D. and Schaerf, A., \u201cAL-LOG: Integrating Datalog and Description Logic,\u201dJournal of Intelligent Information Systems, 10, 3, pp. 227\u2013252, 1998.","journal-title":"Journal of Intelligent Information Systems"},{"issue":"1","key":"BF03037292_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(89)90137-0","volume":"65","author":"P. Enjalbert","year":"1989","unstructured":"Enjalbert P. and Farinas del Cerro, L., \u201cModal Resolution in Clausal Form,\u201dTheoretical Computer Science, 65, 1, pp. 1\u201333, 1989.","journal-title":"Theoretical Computer Science"},{"key":"BF03037292_CR13","unstructured":"Frisch, A. M., \u201cA General Framework for Sorted Deduction: Fundamental Result on Hybrid Reasoning,\u201d inProc. of the First International Conference on Principles of Knowledge Representation and Reasoning, 1989."},{"issue":"2","key":"BF03037292_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1004952317276","volume":"59","author":"D. Gabbay","year":"1997","unstructured":"Gabbay D. and Reyle, U., \u201cLabelled Resolution for Classical and Non-classical Logics,\u201dStudia Logica, 59, 2, pp. 179\u2013216, 1997.","journal-title":"Studia Logica"},{"key":"BF03037292_CR15","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R. and Decker, S., \u201cDescription Logic Programs: Combining Logic Programs with Description Logics,\u201d inProc. of WWW-2003, Budapest, Hungary, May, 2003.","DOI":"10.2139\/ssrn.460986"},{"key":"BF03037292_CR16","doi-asserted-by":"crossref","unstructured":"Heymans, S. and Vermeir, D., \u201cIntegrating Ontology Languages and Answer Set Programming,\u201d inProc. of the 14th International Workshop on Expert System Applications (DEXA2003), pp. 584\u2013588, IEEE Computer Society, 2003.","DOI":"10.1109\/DEXA.2003.1232085"},{"key":"BF03037292_CR17","unstructured":"Heymans, S. and Vermeir, D., \u201cIntegrating Semantic Web Reasoning and Answer Set Programming,\u201d inAnswer Set Programming: Advances in Theory and Implementation (ASP03), CEUR Proc., 78, pp. 194\u2013208, 2003."},{"key":"BF03037292_CR18","doi-asserted-by":"crossref","unstructured":"Hollunder, B., \u201cHybrid Inferences,\u201d inKL-ONE-based Knowledge Representation systems, inProc. of GWAI-90, Fourteenth German Workshop on Artificial Intelligence, pp. 38\u201347, 1990.","DOI":"10.1007\/978-3-642-76071-6_5"},{"key":"BF03037292_CR19","doi-asserted-by":"crossref","unstructured":"Horrocks, I. and Patel-Schneider, P. F., \u201cA Proposal for an Owl Rules Language,\u201din Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pp. 723\u2013731, ACM, 2004.","DOI":"10.1145\/988672.988771"},{"issue":"1","key":"BF03037292_CR20","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/scj.10409","volume":"35","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K., \u201cThe Completeness of Logic Programming with Sort Predicates,\u201dSystems and Computers in Japan, 35, 1, pp. 37\u201346, 2004.","journal-title":"Systems and Computers in Japan"},{"key":"BF03037292_CR21","unstructured":"Kaneiwa, K., \u201cA Hybrid Reasoning System for Terminologies and Clause Sets,\u201d inProc. of the Twenty-Second IASTED International Multi-Conference on Applied Informatics, 2004."},{"issue":"2","key":"BF03037292_CR22","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K., \u201cOrder-sorted Logic Programming with Predicate Hierarchy,\u201dArtificial Intelligence, 158, 2, pp. 155\u2013188, 2004.","journal-title":"Artificial Intelligence"},{"key":"BF03037292_CR23","unstructured":"Kaneiwa, K. and Mizoguchi, R., \u201cOntological Knowledge Base Reasoning with Sort-hierarchy and Rigidity,\u201d inProc. of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp. 278\u2013288, 2004."},{"key":"BF03037292_CR24","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":"1\u20132","key":"BF03037292_CR25","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. A. Levy","year":"1998","unstructured":"Levy A. A. and Rousset, M.-C., \u201cCARIN: A Representation Language Combining Horn rules and Description Logics,\u201dArtificial Intelligence, 104, 1\u20132, pp. 165\u2013209, 1998.","journal-title":"Artificial Intelligence"},{"key":"BF03037292_CR26","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037292_CR27","doi-asserted-by":"crossref","unstructured":"Lobo, J., Minker, J. and Rajasekar, A.,Foundations of Disjunctive Logic Programming, The MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"issue":"1","key":"BF03037292_CR28","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., \u201cA Machine-oriented Logic Based on the Resolution Principle,\u201dJournal of the ACM (JACM), 12, 1, pp. 23\u201341, 1965.","journal-title":"Journal of the ACM (JACM)"},{"key":"BF03037292_CR29","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":"BF03037292_CR30","doi-asserted-by":"crossref","unstructured":"Belleghem, K. Van, Denecker M. and Schreye, D. De, \u201cA Strong Correspondence between Description Logics and Open Logic Programming,\u201d inLogic Programming, Proc. of the Fourteenth International Conference on Logic Programming, pp. 346\u2013360. MIT Press, 1997.","DOI":"10.7551\/mitpress\/4299.003.0030"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037292.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037292\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T21:58:39Z","timestamp":1710280719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["BF03037292"],"URL":"https:\/\/doi.org\/10.1007\/bf03037292","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}