{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:47:25Z","timestamp":1725540445509},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049293"},{"type":"electronic","value":"9783642049309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_21","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"328-343","source":"Crossref","is-referenced-by-count":3,"title":["Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring"],"prefix":"10.1007","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip H. P.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"http:\/\/www.ruleml.org\/","key":"21_CR1"},{"unstructured":"http:\/\/www.w3.org\/tr\/owl2-profiles\/","key":"21_CR2"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-58907-4_20","volume-title":"Database Theory - ICDT 1995","author":"W. Chen","year":"1995","unstructured":"Chen, W., Kifer, M.: Sorted HiLog: Sorts in higher-order logic data languages. In: Y. Vardi, M., Gottlob, G. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 252\u2013265. Springer, Heidelberg (1995)"},{"key":"21_CR4","first-page":"89","volume":"3","author":"A.G. Cohn","year":"1989","unstructured":"Cohn, A.G.: Taxonomic reasoning with many sorted logics. Artificial Intelligence Review\u00a03, 89\u2013128 (1989)","journal-title":"Artificial Intelligence Review"},{"doi-asserted-by":"crossref","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. In: IEEE Conference on Computational Complexity, pp. 82\u2013101 (1997)","key":"21_CR5","DOI":"10.1109\/CCC.1997.612304"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3133.001.0001","volume-title":"From Logic to Logic Programming","author":"K. Doets","year":"1994","unstructured":"Doets, K.: From Logic to Logic Programming. MIT Press, Cambridge (1994)"},{"doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), Budapest, Hungary (2003)","key":"21_CR7","DOI":"10.1145\/775152.775160"},{"key":"21_CR8","volume-title":"Types in Logic Programming","author":"M. Hanus","year":"1992","unstructured":"Hanus, M.: Logic programming with type specifications. In: Pfenning, F. (ed.) Types in Logic Programming. The MIT Press, Cambridge (1992)"},{"doi-asserted-by":"crossref","unstructured":"Hitzler, P., Parsia, B.: Ontologies and rules. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, 2nd edn. (2009)","key":"21_CR9","DOI":"10.1007\/978-3-540-92673-3_5"},{"key":"21_CR10","first-page":"723","volume-title":"Proc. of the Thirteenth International World Wide Web Conference (WWW 2004)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an owl rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pp. 723\u2013731. ACM, New York (2004)"},{"unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Recommendation, http:\/\/www.w3.org\/submission\/swrl\/","key":"21_CR11"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/3-540-54233-7_155","volume-title":"Automata, Languages and Programming","author":"J.-P. Jouannaud","year":"1991","unstructured":"Jouannaud, J.-P., Okada, M.: Satisfiability of systems of ordinal notations with the subterm property is decidable. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 455\u2013468. Springer, Heidelberg (1991)"},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa, K.: Order-sorted logic programming with predicate hierarchy. Artificial Intelligence\u00a0158(2), 155\u2013188 (2004)","journal-title":"Artificial Intelligence"},{"key":"21_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11554554_14","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"K. Kaneiwa","year":"2005","unstructured":"Kaneiwa, K., Mizoguchi, R.: An order-sorted quantified modal logic for meta-ontology. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol.\u00a03702, pp. 169\u2013184. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Kaneiwa, K., Mizoguchi, R.: Distributed reasoning with ontologies and rules in order-sorted logic programming. In: Journal of Web Semantics (in press, 2009)","key":"21_CR15","DOI":"10.1016\/j.websem.2009.05.003"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"21_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"issue":"4","key":"21_CR18","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B. Motik","year":"2007","unstructured":"Motik, B.: On the Properties of Metamodeling in OWL. Journal of Logic and Computation\u00a017(4), 617\u2013637 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"21_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-89378-3_8","volume-title":"AI 2008: Advances in Artificial Intelligence","author":"P.H.P. Nguyen","year":"2008","unstructured":"Nguyen, P.H.P., Kaneiwa, K., Corbett, D.R., Nguyen, M.-Q.: An\u00a0ontology formalization of relation type hierarchy in conceptual structure theory. In: Wobcke, W., Zhang, M. (eds.) AI 2008. LNCS (LNAI), vol.\u00a05360, pp. 79\u201385. Springer, Heidelberg (2008)"},{"unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation, http:\/\/www.w3.org\/tr\/2004\/rec-owl-semantics-20040210\/","key":"21_CR20"},{"issue":"1","key":"21_CR21","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"21_CR22","volume-title":"Deduction Systems","author":"R. Socher-Ambrosius","year":"1996","unstructured":"Socher-Ambrosius, R., Johann, P.: Deduction Systems. Springer, Heidelberg (1996)"},{"issue":"2\u20135","key":"21_CR23","first-page":"133","volume":"23","author":"W. Woods","year":"1992","unstructured":"Woods, W., Schmolze, J.: The KL-ONE family. Computers and Mathematics with Applications, Special Issue on Semantic Networks in Artificial Intelligence, Part 1\u00a023(2\u20135), 133\u2013178 (1992)","journal-title":"Computers and Mathematics with Applications, Special Issue on Semantic Networks in Artificial Intelligence, Part 1"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:33Z","timestamp":1606185933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}