{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:24Z","timestamp":1725490224665},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745648"},{"type":"electronic","value":"9783540745655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74565-5_9","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T02:01:04Z","timestamp":1188007264000},"page":"84-98","source":"Crossref","is-referenced-by-count":2,"title":["Any-World Access to OWL from Prolog"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Matzner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.tcs.2005.04.005","volume":"342","author":"Y. Loyer","year":"2005","unstructured":"Loyer, Y., Straccia, U.: Any-world assumptions in logic programming. Theoretical Computer Science\u00a0342, 351\u2013381 (2005)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-540-24750-0_2","volume-title":"Handbook on Ontologies","author":"J. Angele","year":"2004","unstructured":"Angele, J., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 29\u201350. Springer, Heidelberg (2004)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued logics: A uniform approach to inference in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Reidel, Dordrecht, Netherlands (1977)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M. Fitting","year":"1993","unstructured":"Fitting, M.: The family of stable models. Journal of Logic Programming\u00a017, 197\u2013225 (1993)","journal-title":"Journal of Logic Programming"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A kripke-kleene semantics for logic programs. Journal of Logic Programming\u00a02, 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1109\/ISMVL.1990.122627","volume-title":"20th International Symposium on Multiple-Valued Logic","author":"M.C. Fitting","year":"1990","unstructured":"Fitting, M.C.: Bilattices in logic programming. In: 20th International Symposium on Multiple-Valued Logic, Charlotte, pp. 238\u2013247. IEEE CS Press, Los Alamitos (1990)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"9_CR11","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD thesis, Universit\u00e4t Karlsruhe (2006)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M. Fitting","year":"2002","unstructured":"Fitting, M.: Fixpoint semantics for logic programming \u2013 a survey. Theoretical Computer Science\u00a0278, 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K.: Negation in logic programming. Journal of Logic Programming\u00a04, 289\u2013308 (1987)","journal-title":"Journal of Logic Programming"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"key":"9_CR16","first-page":"141","volume-title":"KR 2004","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR 2004. Principles of Knowledge Representation and Reasoning, pp. 141\u2013151. AAAI Press, Menlo Park, California (2004)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for semantic-web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"9_CR19","unstructured":"Motik, B., Rosati, R.: Closing semantic web ontologies. Technical report, University of Manchester, UK (2006)"},{"key":"9_CR20","first-page":"381","volume-title":"Proceedings of IJCAI 1991","author":"V. Lifschitz","year":"1991","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of IJCAI 1991, San Mateo, CA., pp. 381\u2013386. Morgan Kaufmann, San Francisco (1991)"},{"key":"9_CR21","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 68\u201378. AAAI Press (2006)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","KI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74565-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:25:06Z","timestamp":1619504706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74565-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745648","9783540745655"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74565-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}