{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:25:37Z","timestamp":1725596737421},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540929123"},{"type":"electronic","value":"9783540929130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-540-92913-0_10","type":"book-chapter","created":{"date-parts":[[2011,7,22]],"date-time":"2011-07-22T12:17:17Z","timestamp":1311337037000},"page":"399-439","source":"Crossref","is-referenced-by-count":0,"title":["KR and Reasoning on the Semantic Web: RIF"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kifer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1_10","volume-title":"Resource Description Framework (RDF): concepts and abstract syntax","author":"G Klyne","year":"2004","unstructured":"Klyne, G., Carroll, J.J.: Resource Description Framework (RDF): concepts and abstract syntax, W3C Recommendation (Feb 2004)"},{"key":"10_CR2_10","volume-title":"OWL web ontology language reference, W3C Recommendation","author":"M Dean","year":"2004","unstructured":"Dean, M., Schreiber, G.: OWL web ontology language reference, W3C Recommendation (Feb 2004)"},{"key":"10_CR3_10","doi-asserted-by":"crossref","unstructured":"Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs). http:\/\/www.ietf.org\/rfc\/rfc3987.txt (2005)","DOI":"10.17487\/rfc3987"},{"key":"10_CR4_10","unstructured":"W3C: RIF: Rule Interchange Format working group. http:\/\/www.w3. org\/2005\/rules\/wiki\/RIF_Working_Group (2010)"},{"key":"10_CR5_10","volume-title":"A Mathematical Introduction to Logic","author":"H Enderton","year":"2001","unstructured":"Enderton, H.: A Mathematical Introduction to Logic. Academic, Boston (2001)"},{"key":"10_CR6_10","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic. Chapman & Hall\/CRC Press, Boca Raton (1997)"},{"key":"10_CR7_10","volume-title":"Programming in Prolog","author":"W Clocksin","year":"1981","unstructured":"Clocksin, W., Mellish, C.: Programming in Prolog. Springer, New York (1981)"},{"key":"10_CR8_10","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. J. ACM 42, 741\u2013843 (1995)","journal-title":"J. ACM"},{"issue":"3","key":"10_CR9_10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.: HiLog: a foundation for higher-order logic programming. J. Log Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Logic Program."},{"key":"10_CR10_10","unstructured":"FOAF: The friend of a friend (FOAF) project. http:\/\/www.foaf-project.org\/"},{"key":"10_CR11_10","unstructured":"Boag, S., Chamberlin, D., Fernandez, M., Florescu, D., Robie, J., Simeon, J., Ste-fanescu, M.: Xquery 1.0: an xml query language, W3C Technical Report. http:\/\/www.w3.org\/XML\/Query (2004)"},{"key":"10_CR12_10","volume-title":"SPARQL query language for RDF, W3C Proposed Recommendation","author":"E Prud\u2019hommeaux","year":"2007","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF, W3C Proposed Recommendation (Nov 2007)"},{"issue":"3","key":"10_CR13_10","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"10_CR14_10","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth Conference and Symposium on Logic Programming (ICLP 1988), Seattle, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"10_CR15_10","unstructured":"Jess: Jess, the rule language for the Java platform. http:\/\/herzberg.ca.sandia.gov\/jess\/ (2008)"},{"key":"10_CR16_10","unstructured":"JBoss: Drools. http:\/\/labs.jboss.com\/drools\/ (2010)"},{"key":"10_CR17_10","unstructured":"WebSphere ILOG JRules. http:\/\/www-01.ibm.com\/ software\/integration\/businesses-rule-management\/ jrules\/ (2010)"},{"issue":"1","key":"10_CR18_10","first-page":"3","volume":"5","author":"F Bry","year":"2006","unstructured":"Bry, F., Eckert, M., Patranjan, P.L.: Reactivity on the web: paradigms and applications of the language XChange. J. Web Eng. 5(1), 3\u201324 (2006)","journal-title":"J. Web Eng."},{"key":"10_CR19_10","first-page":"899","volume-title":"PROVA: a language for rule-based Java scripting, data and computation integration, and agent programming","author":"A Kozlenkov","year":"2006","unstructured":"Kozlenkov, A., Penaloza, R., Nigam, V., Royer, L., Dawelbait, G., Schroeder, M.: PROVA: a language for rule-based Java scripting, data and computation integration, and agent programming. In: Proceedings of the 10th International Conference on Extending Database Technology (EDBT 2006), Munich. Lecture Notes in Computer Science, vol. 4254, pp. 899\u2013908. Springer, Berlin (2006)"},{"key":"10_CR20_10","unstructured":"Boley, H., Kifer, M.: RIF basic logic dialect, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-bld\/ (June 2010)"},{"key":"10_CR21_10","unstructured":"de Sainte Marie, C., Paschke, A., Hallmark, G.: RIF production rule dialect. http:\/\/www.w3.org\/2005\/rules\/wiki\/PRD\/ (2009)"},{"key":"10_CR22_10","unstructured":"Boley, H., Kifer, M.: RIF framework for logic dialects, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-fld\/ (June 2010)"},{"key":"10_CR23_10","unstructured":"Kifer, M.: FLORA-2: an object-oriented knowledge base language. The FLORA-2 web site. http:\/\/flora.sourceforge.net"},{"key":"10_CR24_10","unstructured":"Vulcan, Inc.: The SILK project: semantic inferencing on large knowledge. http:\/\/silk.semwebcentral.org\/ (2010)"},{"key":"10_CR25_10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-88737-9_1","volume-title":"Web Reasoning and Rule Systems","author":"M Kifer","year":"2008","unstructured":"Kifer, M.: Rule interchange format: the framework. In: Calvanese, D., Lausen, G. (eds.) Web Reasoning and Rule Systems, Second International Conference (RR 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5341, pp 1\u201311. Springer, Heidelberg (2008)"},{"key":"10_CR26_10","unstructured":"de Bruijn, J.: RIF RDF and OWL compatibility, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-rdf-owl\/ (June 2010)"},{"key":"10_CR27_10","unstructured":"Boley, H., Hallmark, G., Paschke, M.K.A., Polleres, A., Reynolds, D.: RIF core dialect, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-core\/ (June 2010)"},{"key":"10_CR28_10","unstructured":"Polleres, A., Boley, H., Kifer, M.: RIF datatypes and built-ins 1.0, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-dtb\/ (June 2010)"},{"key":"10_CR29_10","unstructured":"Paschke, A., Hirtle, D., Ginsberg, A., Patranjan, P.L., McCabe, F.: RIF use cases and requirements, W3C Working Draft. http:\/\/www.w3.org\/TR\/rif-ucr\/ (Dec 2008)"},{"key":"10_CR30_10","unstructured":"Mitchell, S., Morgenstern, L., Paschke, A.: RIF test cases, W3C Working Draft. http:\/\/www.w3.org\/TR\/rif-test\/ (June 2010)"},{"key":"10_CR31_10","first-page":"22","volume-title":"Reasoning Web, First International Summer School, Msida, 25\u201329 July 2005","author":"M Kifer","year":"2005","unstructured":"Kifer, M.: Rules and ontologies in F-Logic. In: Eisinger, N., Maluszynski, J. (eds.) Reasoning Web, First International Summer School, Msida, 25\u201329 July 2005. Lecture Notes in Computer Science, vol. 3564, pp. 22\u201334. Springer, Heidelberg (2005)"},{"key":"10_CR32_10","volume-title":"Extensible markup language (XML) 1.1","author":"T Bray","year":"2006","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible markup language (XML) 1.1, 2nd edn, W3C Recommendation (Aug 2006)","edition":"2"},{"key":"10_CR33_10","unstructured":"Fallside, D., Walmsley, P.: XML schema part 0: primer second edition. Technical report, WWW Consortium. http:\/\/www.w3.org\/TR\/xmlschema-0\/ (Oct 2004)"},{"key":"10_CR34_10","first-page":"292","volume-title":"Logic and Data Bases","author":"K Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 292\u2013322. Plenum Press, New York (1978)"},{"key":"10_CR35_10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, New York (1987)","edition":"2"},{"key":"10_CR36_10","volume-title":"XML schema part 2: datatypes second edition, W3C Recommendation","author":"PV Biron","year":"2004","unstructured":"Biron, P.V., Malhotra, A.: XML schema part 2: datatypes second edition, W3C Recommendation (Oct 2004)"},{"key":"10_CR37_10","first-page":"671","volume-title":"FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web","author":"G Yang","year":"2003","unstructured":"Yang, G., Kifer, M., Zhao, C.: FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In: Proceedings of the Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE 2003), Catania. Lecture Notes in Computer Science, vol. 2888, pp. 671\u2013688. Springer, Heidelberg (2003)"},{"key":"10_CR38_10","first-page":"273","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D Plaisted","year":"1993","unstructured":"Plaisted, D.: Equational reasoning and term rewriting systems. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 273\u2013364. Oxford University Press, Oxford (1993)"},{"key":"10_CR39_10","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2001)"},{"key":"10_CR40_10","unstructured":"Voronkov, A.: Theorem proving and Vampire. The Vampire web site. http:\/\/www.voronkov.com\/vampire.cgi (2010)"},{"issue":"8","key":"10_CR41_10","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/S0306-4379(98)00030-1","volume":"23","author":"J Frohn","year":"1998","unstructured":"Frohn, J., Himmer\u00f6der, R., Lausen, G., May, W., Schlepphorst, C.: Managing semistructured data with FLORID: a deductive object-oriented perspective. Inform. Syst. 23(8), 589\u2013613 (1998)","journal-title":"Inform. Syst."},{"key":"10_CR42_10","volume-title":"SWRL: A semantic web rule language combining OWL and RuleML, W3C Member Submission","author":"I Horrocks","year":"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 Member Submission (May 2004)"},{"key":"10_CR43_10","volume-title":"RDF vocabulary description language 1.0: RDF schema, W3C Recommendation","author":"D Brickley","year":"2004","unstructured":"Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema, W3C Recommendation (Feb 2004)"},{"key":"10_CR44_10","volume-title":"OWL 2 web ontology language structural specification and functional-style syntax, W3C Working Draft","author":"B Motik","year":"2009","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 web ontology language structural specification and functional-style syntax, W3C Working Draft (Apr 2009)"},{"key":"10_CR45_10","volume-title":"RDF\/XML syntax specification (revised), W3C Recommendation","author":"D Beckett","year":"2004","unstructured":"Beckett, D.: RDF\/XML syntax specification (revised), W3C Recommendation (Feb 2004)"},{"key":"10_CR46_10","volume-title":"RDF semantics, W3C Recommendation","author":"P Hayes","year":"2004","unstructured":"Hayes, P.: RDF semantics, W3C Recommendation (Feb 2004)"},{"key":"10_CR47_10","volume-title":"OWL 2 web ontology language direct semantics, W3C Working Draft","author":"B Motik","year":"2009","unstructured":"Motik, B., Patel-Schneider, P.F., Cuenca-Grau, B.: OWL 2 web ontology language direct semantics, W3C Working Draft (Apr 2009)"},{"key":"10_CR48_10","volume-title":"OWL 2 web ontology language rdf-based semantics, W3C Working Draft","author":"M Schneider","year":"2009","unstructured":"Schneider, M.: OWL 2 web ontology language rdf-based semantics, W3C Working Draft (Apr 2009)"},{"key":"10_CR49_10","unstructured":"Ontoprise, GmbH: Ontobroker. http:\/\/www.ontoprise.com\/"},{"key":"10_CR50_10","volume-title":"The XSB system version 3.2: programmer\u2019s manual","author":"K Sagonas","year":"2009","unstructured":"Sagonas, K., Swift, T., Warren, D.S., Freire, J., Rao, P., Cui, B., Johnson, E., de Castro, L., Marques, R.F., Dawson, S., Kifer, M.: The XSB system version 3.2: programmer\u2019s manual (2009)"},{"key":"10_CR51_10","first-page":"501","volume-title":"Can OWL and logic programming live together happily ever after?","author":"B Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Proceedings of the Fifth International Semantic Web Conference (ISWC 2006), Athens, GA. Lecture Notes in Computer Science, vol. 4273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"10_CR52_10","volume-title":"Logic programming with defaults and argumentation theories","author":"H Wan","year":"2009","unstructured":"Wan, H., Grosof, B., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Proceedings of the 25th International Conference on Logic Programming (ICLP 2009), Pasadena (2009)"}],"container-title":["Handbook of Semantic Web Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92913-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T05:58:20Z","timestamp":1560405500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92913-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783540929123","9783540929130"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92913-0_10","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}