The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation)

  • Benjamin N. GrosofEmail author
  • Michael Kifer
  • Paul Fodor
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9203)


In this tutorial, we provide a comprehensive and up-to-date introduction to the fundamental concepts and recent progress in the area of Rulelog, a leading approach to semantic rules knowledge representation and reasoning.


Existential Quantifier Tight Integration Evidential Probability Open Source System Natural Language Processing Technique 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    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–13, 2013 (2013).
  2. 2.
    Boley, H., Kifer, M.: RIF Basic logic dialect, February 2013., W3C Recommendation.
  3. 3.
    Boley, H., Kifer, M.: RIF Framework for logic dialects, February 2013., W3C Recommendation.
  4. 4.
    Chen, W., Kifer, M., Warren, D.: HiLog: a foundation for higher-order logic programming. J. Logic Program. 15(3), 187–230 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Fibo technology summit at semtechbiz: Financial industry and sem tech leaders discuss ontology evaluation tools, flora-2’s potential, and more, July 2013.
  6. 6.
    Grosof, B., Dean, M., Kifer, M.: Semantic web rules: Fundamentals, applications, and standards, tutorial presented at AAAI-2013, July 2013.
  7. 7.
    Grosof, B., Swift, T.: Radial restraint: a semantically clean approach to bounded rationality for logic programs. In: AAAI Conference on Artificial Intelligence. AAAI (2013)Google Scholar
  8. 8.
    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–23, 2010. CEUR Workshop Proceedings, vol. 649. (2010).
  9. 9.
    Grosof, B.N.: Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 2–11. Springer, Heidelberg (2013). CrossRefGoogle Scholar
  10. 10.
    Grosof, B.: Making very expressive rules practical in logic and text, November 2013. invited talk.
  11. 11.
    Kifer, M.: Flora-2: an object-oriented knowledge base language. The Flora-2 Web Site (2015).
  12. 12.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42, 741–843 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Kyburg, H., Teng, C.: Uncertain Inference. Cambridge University Press, Cambridge (2001) CrossRefzbMATHGoogle Scholar
  14. 14.
    Riguzzi, F., Swift, T.: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Theor. Pract. Logic Program. 13(2), 279–302 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Swift, T., Warren, D.S.: XSB: extending the power of prolog using tabling. Theor. Pract. Logic Program. (TPLP) 12(1–2), 157–187 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Swift, T.: Incremental tabling in support of knowledge representation and reasoning. TPLP 14(4–5), 553–567 (2014). MathSciNetzbMATHGoogle Scholar
  17. 17.
    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–448. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  18. 18.
    Wan, H., Kifer, M., Grosof, B.: Defeasibility in answer set programs with defaults and argumentation rules. Semant. Web J. 5, 81–98 (2014)Google Scholar
  19. 19.
    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) CrossRefGoogle Scholar
  20. 20.
    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–97. Springer, Heidelberg (2003) CrossRefGoogle Scholar
  21. 21.
    Yang, G., Kifer, M., Zhao, C.: \(\cal F\) 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–688. Springer, Heidelberg (2003) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Benjamin N. Grosof
    • 1
    Email author
  • Michael Kifer
    • 1
  • Paul Fodor
    • 1
  1. 1.Coherent Knowledge Systems, LLC.Mercer IslandUSA

Personalised recommendations