{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:03:52Z","timestamp":1743001432565,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319217673"},{"type":"electronic","value":"9783319217680"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21768-0_7","type":"book-chapter","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T12:35:20Z","timestamp":1436531720000},"page":"189-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation)"],"prefix":"10.1007","author":[{"given":"Benjamin N.","family":"Grosof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Fodor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"7_CR1","unstructured":"Andersen, C., Benyo, B., Calejo, M., Dean, M., Fodor, P., Grosof, B.N., Kifer, M., Liang, S., Swift, T.: Advanced knowledge base debugging for rulelog. In: Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11\u201313, 2013 (2013). http:\/\/ceur-ws.org\/Vol-1004\/paper8.pdf"},{"key":"7_CR2","unstructured":"Boley, H., Kifer, M.: RIF Basic logic dialect, February 2013. http:\/\/www.w3.org\/TR\/rif-bld\/, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-bld\/"},{"key":"7_CR3","unstructured":"Boley, H., Kifer, M.: RIF Framework for logic dialects, February 2013. http:\/\/www.w3.org\/TR\/rif-fld\/, W3C Recommendation. http:\/\/www.w3.org\/TR\/rif-fld\/"},{"issue":"3","key":"7_CR4","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. Logic Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Logic Program."},{"key":"7_CR5","unstructured":"Fibo technology summit at semtechbiz: Financial industry and sem tech leaders discuss ontology evaluation tools, flora-2\u2019s potential, and more, July 2013. http:\/\/www.dataversity.net\/fibo-technology-summit-at-semtechbiz-financial-industry-and-sem-tech-leaders-discuss-ontology-evaluation-tools-flora-2s-potential-and-more\/"},{"key":"7_CR6","unstructured":"Grosof, B., Dean, M., Kifer, M.: Semantic web rules: Fundamentals, applications, and standards, tutorial presented at AAAI-2013, July 2013. http:\/\/silk.semwebcentral.org\/"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Grosof, B., Swift, T.: Radial restraint: a semantically clean approach to bounded rationality for logic programs. In: AAAI Conference on Artificial Intelligence. AAAI (2013)","DOI":"10.1609\/aaai.v27i1.8682"},{"key":"7_CR8","unstructured":"Grosof, B.N., Burstein, M.H., Dean, M., Andersen, C., Benyo, B., Ferguson, W., Inclezan, D., Shapiro, R.: A SILK graphical UI for defeasible reasoning, with a biology causal process example. In: Palmirani, M., Shafiq, M.O., Francesconi, E., Vitali, F. (eds.) Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21\u201323, 2010. CEUR Workshop Proceedings, vol. 649. CEUR-WS.org (2010). http:\/\/ceur-ws.org\/Vol-649\/paper12.pdf"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-39617-5_2","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"BN Grosof","year":"2013","unstructured":"Grosof, B.N.: Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 2\u201311. Springer, Heidelberg (2013). http:\/\/dx.doi.org\/10.1007\/978-3-642-39617-5_2"},{"key":"7_CR10","unstructured":"Grosof, B.: Making very expressive rules practical in logic and text, November 2013. invited talk. http:\/\/coherentknowledge.com\/wp-content\/uploads\/2013\/05\/DecisionCamp2013-talk-v7-1-BNG.pdf"},{"key":"7_CR11","unstructured":"Kifer, M.: Flora-2: an object-oriented knowledge base language. The Flora-2 Web Site (2015). http:\/\/flora.sourceforge.net"},{"key":"7_CR12","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"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511612947","volume-title":"Uncertain Inference","author":"H Kyburg","year":"2001","unstructured":"Kyburg, H., Teng, C.: Uncertain Inference. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1017\/S1471068411000664","volume":"13","author":"F Riguzzi","year":"2013","unstructured":"Riguzzi, F., Swift, T.: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Theor. Pract. Logic Program. 13(2), 279\u2013302 (2013)","journal-title":"Theor. Pract. Logic Program."},{"issue":"1\u20132","key":"7_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending the power of prolog using tabling. Theor. Pract. Logic Program. (TPLP) 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theor. Pract. Logic Program. (TPLP)"},{"issue":"4\u20135","key":"7_CR16","first-page":"553","volume":"14","author":"T Swift","year":"2014","unstructured":"Swift, T.: Incremental tabling in support of knowledge representation and reasoning. TPLP 14(4\u20135), 553\u2013567 (2014). http:\/\/dx.doi.org\/10.1017\/S1471068414000209","journal-title":"TPLP"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-02846-5_35","volume-title":"Logic Programming","author":"H Wan","year":"2009","unstructured":"Wan, H., Grosof, B., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 432\u2013448. Springer, Heidelberg (2009)"},{"key":"7_CR18","first-page":"81","volume":"5","author":"H Wan","year":"2014","unstructured":"Wan, H., Kifer, M., Grosof, B.: Defeasibility in answer set programs with defaults and argumentation rules. Semant. Web J. 5, 81\u201398 (2014)","journal-title":"Semant. Web J."},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1078","DOI":"10.1007\/3-540-44957-4_72","volume-title":"Computational Logic - CL 2000","author":"G Yang","year":"2000","unstructured":"Yang, G., Kifer, M.: FLORA: implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, p. 1078. Springer, Heidelberg (2000)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume-title":"Journal on Data Semantics I","author":"G Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69\u201397. Springer, Heidelberg (2003)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/978-3-540-39964-3_43","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G Yang","year":"2003","unstructured":"Yang, G., Kifer, M., Zhao, C.: $$\\cal F$$\n                                    lora-2: a rule-based knowedge representation and inference infrastructure for the semantic web. In: Meersman, R., Schmidt, D.C. (eds.) CoopIS\/DOA\/ODBASE 2003. LNCS, vol. 2888, pp. 671\u2013688. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Web Logic Rules"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21768-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T10:44:47Z","timestamp":1676025887000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21768-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319217673","9783319217680"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21768-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"11 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}