A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules

  • Harold Boley
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6826)

Abstract

In F-logic and RIF, objects (frames) are defined entirely separately from function and predicate applications. In POSL and RuleML, these fundamental notions are integrated by permitting applications with optional object identifiers and, orthogonally, arguments that are positional or slotted. The resulting positional-slotted, object-applicative (psoa) terms are given a novel formalization, reducing the number of RIF terms by generalizing its positional and slotted (named-argument) terms as well as its frame terms and class memberships. Like multi-slot frames accommodate for (Web-)distributed slotted descriptions of the same object identifier (IRI), multi-tuple psoa terms (e.g., shelves) do for positional descriptions. The syntax and semantics of these integrated terms and rules over them are defined as PSOA RuleML in the style of RIF-BLD. The semantics provides a novel first-order model-theoretic foundation, blending frame slotribution, as in F-logic and RIF (as well as shelf tupribution) with integrated psoa terms, as in POSL and RuleML.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AK93]
    Aït-Kaci, H.: An Introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. In: Miller, D. (ed.) Proceedings of the 1993 International Symposium on Logic Programming, Vancouver, B.C., Canada, pp. 52–68. MIT Press, Cambridge (October 1993)Google Scholar
  2. [BK10a]
    Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering 22(11), 1593–1608 (2010)CrossRefGoogle Scholar
  3. [BK10b]
    Boley, H., Kifer, M.: RIF Basic Logic Dialect, W3C Recommendation (June 2010), http://www.w3.org/TR/rif-bld
  4. [BK10c]
    Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation (June 2010), http://www.w3.org/TR/rif-fld
  5. [Bol10]
    Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343–353 (2010), http://ojs.academypublisher.com/index.php/jetwi/article/view/0204343353 MathSciNetGoogle Scholar
  6. [BPS10]
    Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 162–178. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  7. [CKW93]
    Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15(3), 187–230 (1993)CrossRefMATHMathSciNetGoogle Scholar
  8. [CL73]
    Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)MATHGoogle Scholar
  9. [End01]
    Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (2001)MATHGoogle Scholar
  10. [KLW95]
    Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM 42, 741–843 (1995)CrossRefMATHMathSciNetGoogle Scholar
  11. [Llo87]
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)CrossRefMATHGoogle Scholar
  12. [PBK10]
    Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0, W3C Recommendation (June 2010), http://www.w3.org/TR/rif-dtb
  13. [YK03]
    Yang, G., Kifer, M.: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In: Spaccapietra, S., March, S.T., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. [YKZ03]
    Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 671–688. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Harold Boley
    • 1
  1. 1.Institute for Information TechnologyNational Research Council of CanadaFrederictonCanada

Personalised recommendations