Minimal Objectification and Maximal Unnesting in PSOA RuleML

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9718)

Abstract

The paper introduces two connected advancements of Positional-Slotted, Object-Applicative RuleML: (1) a model-theoretic semantics, realized transformationally, that directly handles atoms (i.e., predicate applications) without object identifiers (e.g., relationships as in Prolog) and (2) a transformational semantics that handles nested atomic formulas (e.g., nested frames as in Flora-2/F-logic). For (1), the model theory is extended to atoms with optional OIDs, the transformation is developed from static to dynamic objectification, and the correctness of the realization is proved. For (2), the unnesting transformation is defined to decompose nested atomic formulas into equivalent conjunctions.

References

  1. 1.
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    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
  3. 3.
    Boley, H., Kifer, M.: RIF Basic Logic Dialect, 2nd edn. W3C Recommendation. http://www.w3.org/TR/rif-bld
  4. 4.
    Boley, H.: A RIF-Style semantics for RuleML-integrated positional-slotted, object-applicative rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 194–211. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Boley, H.: PSOA RuleML: Integrated object-relational data and rules. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 114–150. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  6. 6.
    Zou, G., Boley, H.: PSOA2Prolog: Object-relational rule interoperation and implementation by translation from PSOA RuleML to ISO prolog. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 176–192. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  7. 7.
    Boley, H.: Integrating positional and slotted knowledge on the Semantic Web. J. Emerg. Technol. Web Intell. 4(2), 343–353 (2010)Google Scholar
  8. 8.
    Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: A logical framework for the World Wide Web. Theor. Pract. Logic Program. (TPLP) 8(3), 249–269 (2008)MathSciNetMATHGoogle Scholar
  9. 9.
    Kifer, M., Yang, G., Wan, H., Zhao, C.: \({\cal E}\)RGO\(^{Lite}\) (a.k.a.\({\cal F}\)lora-2): User’s Manual, v1.1 (2015). http://flora.sourceforge.net/docs/floraManual.pdf
  10. 10.
    Boley, H., Kifer, M.: RIF Basic Logic Dialect (Working Draft) W3C Working Draft. https://www.w3.org/TR/2007/WD-rif-bld-20071030/

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada

Personalised recommendations