Abstract
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.
Keywords
- 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.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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). http://ceur-ws.org/Vol-1004/paper8.pdf
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/
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/
Chen, W., Kifer, M., Warren, D.: HiLog: a foundation for higher-order logic programming. J. Logic Program. 15(3), 187–230 (1993)
Fibo technology summit at semtechbiz: Financial industry and sem tech leaders discuss ontology evaluation tools, flora-2’s 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/
Grosof, B., Dean, M., Kifer, M.: Semantic web rules: Fundamentals, applications, and standards, tutorial presented at AAAI-2013, July 2013. http://silk.semwebcentral.org/
Grosof, B., Swift, T.: Radial restraint: a semantically clean approach to bounded rationality for logic programs. In: AAAI Conference on Artificial Intelligence. AAAI (2013)
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. CEUR-WS.org (2010). http://ceur-ws.org/Vol-649/paper12.pdf
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). http://dx.doi.org/10.1007/978-3-642-39617-5_2
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
Kifer, M.: Flora-2: an object-oriented knowledge base language. The Flora-2 Web Site (2015). http://flora.sourceforge.net
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42, 741–843 (1995)
Kyburg, H., Teng, C.: Uncertain Inference. Cambridge University Press, Cambridge (2001)
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)
Swift, T., Warren, D.S.: XSB: extending the power of prolog using tabling. Theor. Pract. Logic Program. (TPLP) 12(1–2), 157–187 (2012)
Swift, T.: Incremental tabling in support of knowledge representation and reasoning. TPLP 14(4–5), 553–567 (2014). http://dx.doi.org/10.1017/S1471068414000209
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)
Wan, H., Kifer, M., Grosof, B.: Defeasibility in answer set programs with defaults and argumentation rules. Semant. Web J. 5, 81–98 (2014)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Grosof, B.N., Kifer, M., Fodor, P. (2015). The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). In: Faber, W., Paschke, A. (eds) Reasoning Web. Web Logic Rules. Reasoning Web 2015. Lecture Notes in Computer Science(), vol 9203. Springer, Cham. https://doi.org/10.1007/978-3-319-21768-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-21768-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21767-3
Online ISBN: 978-3-319-21768-0
eBook Packages: Computer ScienceComputer Science (R0)