{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T11:32:51Z","timestamp":1648639971616},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T00:00:00Z","timestamp":1340064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s10115-012-0513-x","type":"journal-article","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T11:54:11Z","timestamp":1340020451000},"page":"463-492","source":"Crossref","is-referenced-by-count":0,"title":["An order-sorted query system for sort, predicate, and meta-predicate hierarchies"],"prefix":"10.1007","volume":"35","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","published-online":{"date-parts":[[2012,6,19]]},"reference":[{"issue":"3","key":"513_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, Nasr R (1986) \u2018LOGIN: a logic programming language with built-in inheritance\u2019. J Log Program 3(3): 185\u2013215","journal-title":"J Log Program"},{"key":"513_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The classical decision problem","author":"E B\u00f6rger","year":"1997","unstructured":"B\u00f6rger E, Gr\u00e4del E, Gurevich Y (1997) The classical decision problem. Springer, Berlin"},{"key":"513_CR3","doi-asserted-by":"crossref","unstructured":"Chen W, Kifer M (1995) Sorted HiLog: sorts in higher-order logic data languages. In: Proceedings of the 5th international conference on database theory (ICDT\u201995). LNCS 893, Springer, Berlin, pp 252\u2013265","DOI":"10.1007\/3-540-58907-4_20"},{"key":"513_CR4","first-page":"89","volume":"3","author":"AG Cohn","year":"1989","unstructured":"Cohn AG (1989) Taxonomic reasoning with many sorted logics. Artif Intell Rev 3: 89\u2013128","journal-title":"Artif Intell Rev"},{"key":"513_CR5","doi-asserted-by":"crossref","unstructured":"Dantsin E, Eiter T, Gottlob G, Voronkov A (1997) Complexity and expressive power of logic programming. In: IEEE conference on computational complexity, pp 82\u2013101","DOI":"10.1109\/CCC.1997.612304"},{"key":"513_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 (1994) From logic to logic programming. The MIT Press, Cambridge"},{"key":"513_CR7","doi-asserted-by":"crossref","unstructured":"Grosof B, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logics. In: Proceedings of the twelfth international world wide web conference, Budapest, Hungary (WWW)","DOI":"10.2139\/ssrn.460986"},{"key":"513_CR8","doi-asserted-by":"crossref","unstructured":"Groza T, Grimnes GA, Handschuh S, Decker S (2011) From raw publications to linked data. Knowl Inf Syst, pp 1\u201321 (Online First, 28 Dec 2011)","DOI":"10.1007\/s10115-011-0473-6"},{"key":"513_CR9","volume-title":"Types in logic programming","author":"M Hanus","year":"1992","unstructured":"Hanus M (1992) Logic programming with type specifications. In: Pfenning F (ed) Types in logic programming. The MIT Press, Cambridge"},{"key":"513_CR10","doi-asserted-by":"crossref","unstructured":"Hitzler P, Parsia B (2009) Ontologies and rules. In: Staab S, Studer R (eds) Handbook on ontologies, 2nd edn","DOI":"10.1007\/978-3-540-92673-3_5"},{"key":"513_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks I, Patel-Schneider PF (2004) A proposal for an owl rules language. In: Proceedings of the thirteenth international world wide web conference (WWW 2004). ACM, pp 723\u2013731. http:\/\/download\/2004\/HoPa04a.pdf","DOI":"10.1145\/988672.988771"},{"key":"513_CR12","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML. W3C recommendation. http:\/\/www.w3.org\/submission\/swrl\/"},{"key":"513_CR13","unstructured":"Jouannaud JP, Okada M (1991) Satisfiability of systems of ordinal notations with the subterm property is decidable. In: Proceedings of the 18th international colloquium on automata, languages and programming (ICALP91) LNCS510, pp 455\u2013468"},{"issue":"2","key":"513_CR14","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 (2004) Order-sorted logic programming with predicate hierarchy. Artif Intell 158(2): 155\u2013188","journal-title":"Artif Intell"},{"key":"513_CR15","doi-asserted-by":"crossref","unstructured":"Kaneiwa K, Mizoguchi R (2005) An order-sorted quantified modal logic for meta-ontology. In: Proceedings of the international conference on automated reasoning with analytic tableaux and related methods (TABLEAUX2005). LNCS 3702, Springer, Berlin, pp 169\u2013184","DOI":"10.1007\/11554554_14"},{"issue":"3","key":"513_CR16","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/j.websem.2009.05.003","volume":"7","author":"K Kaneiwa","year":"2009","unstructured":"Kaneiwa K, Mizoguchi R (2009) Distributed reasoning with ontologies and rules in order-sorted logic programming. J Web Semant 7(3): 252\u2013270","journal-title":"J Web Semant"},{"key":"513_CR17","doi-asserted-by":"crossref","unstructured":"Kaneiwa K, Nguyen P (2009) Decidable order-sorted logic programming for ontologies and rules with argument restructuring. In: Proceedings of the 8th international semantic web conference (ISWC 2009). LNCS 5823, Springer, Berlin, pp 328\u2013343","DOI":"10.1007\/978-3-642-04930-9_21"},{"key":"513_CR18","unstructured":"Krisnadhi A, Maier F, Hitzler P (2011) OWL and rules. In: Reasoning web. Semantic technologies for the web of data\u20147th international summer school 2011, Galway, Ireland, August 23\u201327, Tutorial Lectures. LNCS 6848, pp 382\u2013415"},{"key":"513_CR19","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2008) ELP: tractable rules for OWL 2. In: Proceedings of the 7th international semantic web conference (ISWC 2008). LNCS 5318, pp 649\u2013664"},{"key":"513_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd JW (1987) Foundations of logic programming. Springer, Berlin"},{"key":"513_CR21","unstructured":"Manzano M (1993) Introduction to many-sorted logic. In: Many-sorted Logic and its applications. Wiley, New York, pp 3\u201386"},{"issue":"4","key":"513_CR22","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B Motik","year":"2007","unstructured":"Motik B (2007) On the properties of metamodeling in OWL. J Log Comput 17(4): 617\u2013637","journal-title":"J Log Comput"},{"key":"513_CR23","unstructured":"Motik B, Grau BC, Horrocks I, Wu Z, Fokoue A, Lutz C (2009) OWL 2 web ontology language profiles, W3C recommendation. http:\/\/www.w3.org\/tr\/owl2-profiles\/"},{"issue":"1","key":"513_CR24","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant Sci Serv Agents World Wide Web 3(1): 41\u201360","journal-title":"J Web Semant Sci Serv Agents World Wide Web"},{"key":"513_CR25","unstructured":"Nguyen P, Kaneiwa K, Corbett D, Nguyen MQ (2007) An ontology formalization of relation type hierarchy in conceptual structure theory. In: Proceedings of the 21th Australian joint conference on artificial intelligence (AI2008). LNCS 5360, Springer, Berlin, pp 79\u201385"},{"key":"513_CR26","unstructured":"Patel-Schneider PF, Hayes P, Horrocks I (2004) OWL web ontology language semantics and abstract syntax. W3C recommendation. http:\/\/www.w3.org\/tr\/2004\/rec-owl-semantics-20040210\/"},{"issue":"1","key":"513_CR27","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 (2005) On the decidability and complexity of integrating ontologies and rules. J Web Semant 3(1): 41\u201360","journal-title":"J Web Semant"},{"key":"513_CR28","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s10115-010-0302-3","volume":"27","author":"S S\u00e1nchez","year":"2011","unstructured":"S\u00e1nchez S, Isern D, Millan M (2011) Content annotation for the semantic web: an automatic web-based approach. Knowl Inf Syst 27: 393\u2013418","journal-title":"Knowl Inf Syst"},{"key":"513_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0024065","volume-title":"Computational aspects of an order-sorted logic with term declarations","author":"M Schmidt-Schauss","year":"1989","unstructured":"Schmidt-Schauss M (1989) Computational aspects of an order-sorted logic with term declarations. Springer, Berlin"},{"key":"513_CR30","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10115-011-0386-4","volume":"30","author":"P Senkul","year":"2012","unstructured":"Senkul P, Salin S (2012) Improving pattern quality in web usage mining by using semantic information. Knowl Inf Syst 30: 527\u2013541","journal-title":"Knowl Inf Syst"},{"key":"513_CR31","volume-title":"Deduction systems","author":"R Socher-Ambrosius","year":"1996","unstructured":"Socher-Ambrosius R, Johann P (1996) Deduction systems. Springer, Berlin"},{"key":"513_CR32","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s10115-005-0218-5","volume":"10","author":"W Vongdoiwang","year":"2006","unstructured":"Vongdoiwang W, Batanov D (2006) An ontology-based procedure for generating object model from text description. Knowl Inf Syst 10: 93\u2013108","journal-title":"Knowl Inf Syst"},{"issue":"2\u20135","key":"513_CR33","first-page":"133","volume":"23","author":"W Woods","year":"1992","unstructured":"Woods W, Schmolze J (1992) The KL-ONE family. Comput Math with Appl Special Issue Semant Netw Artif Intell Part 1 23(2\u20135): 133\u2013178","journal-title":"Comput Math with Appl Special Issue Semant Netw Artif Intell Part 1"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-012-0513-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-012-0513-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-012-0513-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T22:47:43Z","timestamp":1561848463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-012-0513-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["513"],"URL":"https:\/\/doi.org\/10.1007\/s10115-012-0513-x","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,19]]}}}