nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

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

verfasst von : Benjamin N. Grosof, Michael Kifer, Paul Fodor

Erschienen in: Reasoning Web. Web Logic Rules

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel LegalRuleML: Design Principles and Foundations

Nächstes Kapitel Recent Advances in Datalog

http://ruleml.org/rif/rulelog/rif/RIF-Rulelog.html.

http://www.ruleml.org.

http://www.w3.org.

http://coherentknowledge.com/ergo-suite-platform-technology/.

http://coherentknowledge.com.

http://flora.sourceforge.net.

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)MathSciNetCrossRefMATH

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 CrossRef

10.

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

11.

Kifer, M.: Flora-2: an object-oriented knowledge base language. The Flora-2 Web Site (2015). http://flora.sourceforge.net

12.

Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42, 741–843 (1995)MathSciNetCrossRefMATH

13.

Kyburg, H., Teng, C.: Uncertain Inference. Cambridge University Press, Cambridge (2001) CrossRefMATH

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)MathSciNetCrossRefMATH

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)MathSciNetCrossRefMATH

16.

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 MathSciNetMATH

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) CrossRef

18.

Wan, H., Kifer, M., Grosof, B.: Defeasibility in answer set programs with defaults and argumentation rules. Semant. Web J. 5, 81–98 (2014)

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) CrossRef

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) CrossRef

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) CrossRef

Titel: The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation)
verfasst von: Benjamin N. Grosof
Michael Kifer
Paul Fodor
Verlag: Springer International Publishing
Buch: Reasoning Web. Web Logic Rules
Print ISBN: 978-3-319-21767-3

Electronic ISBN: 978-3-319-21768-0

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-21768-0_7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner