The RuleML Knowledge-Interoperation Hub

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

Abstract

The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of formal knowledge. The representation system permits the configuration of textbook and enriched Relax NG syntax as well as the association of syntax with semantics. The transformation tool suite includes serialized formatters (normalizers and compactifiers), polarized parsers and generators (the RuleML\(\leftrightarrow \)POSL tool and the RuleML\(\rightarrow \)PSOA/PS generator and PSOA/PS\(\rightarrow \)AST parser), as well as importers and exporters (the importer from Dexlog to Naf Datalog RuleML and the exporter from FOL RuleML languages to TPTP). An N3-PSOA-Flora knowledge-interoperation use case is introduced for illustration.

References

  1. 1.
    Cali, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. J. Web Semant. 14, 57–83 (2012)CrossRefGoogle Scholar
  2. 2.
    Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: RDFox: a highly-scalable RDF store. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 3–20. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25010-6_1 CrossRefGoogle Scholar
  3. 3.
    Boley, H., Grütter, R., Zou, G., Athan, T., Etzold, S.: A Datalog\(^{\text{+ }}\) RuleML 1.01 architecture for rule-based data access in ecosystem research. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 112–126. Springer, Heidelberg (2014)Google Scholar
  4. 4.
    Hernández-Orallo, J., Muggleton, S.H., Schmid, U., Zorn, B.: Approaches and applications of inductive programming (Dagstuhl seminar 15442). Dagstuhl Rep. 5(10), 89–111 (2016)Google Scholar
  5. 5.
    Athan, T., Boley, H.: Design and implementation of highly modular schemas for XML: customization of RuleML in Relax NG. In: Palmirani, M. (ed.) RuleML 2011 - America. LNCS, vol. 7018, pp. 17–32. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    Athan, T., Boley, H.: The MYNG 1.01 suite for Deliberation RuleML 1.01: Taming the language lattice. In: Patkos, T., Wyner, A., Giurca, A. (eds.) Proceedings of the RuleML 2014 Challenge, at the 8th International Web Rule Symposium. CEUR, vol. 1211, August 2014Google Scholar
  7. 7.
    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
  8. 8.
    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
  9. 9.
    Zou, G.: PSOA RuleML integration of relational and object-centered geospatial data. In: Bassiliades, N., Fodor, P., Giurca, A., Gottlob, G., Kliegr, T., Nalepa, G.J., Palmirani, M., Paschke, A., Proctor, M., Roman, D., Sadri, F., Stojanovic, N. (eds.) Proceedings of the RuleML 2015 Challenge, Berlin, Germany, 2–5 August 2015. CEUR Workshop Proceedings, vol. 1417. CEUR-WS.org (2015)Google Scholar
  10. 10.
    Agarwal, S., Mohapatra, A., Genesereth, M., Boley, H.: Rule-based exploration of structured data in the browser. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 161–175. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  11. 11.
    Boley, H.: Integrating positional and slotted knowledge on the Semantic Web. J. Emerg. Technol. Web Intell. 4(2), 343–353 (2010)Google Scholar
  12. 12.
    Sutcliffe, G.: The TPTP problem library and associated infrastructure. J. Autom. Reason. 43(4), 337–362 (2009)CrossRefMATHGoogle Scholar
  13. 13.
    Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: A logical framework for the World Wide Web. Theory Pract. Logic Program. (TPLP) 8(3), 249–269 (2008)MathSciNetMATHGoogle Scholar
  14. 14.
    Kifer, M., Yang, G., Wan, H., Zhao, C.: \({\cal E}\)RGO\(^\mathit{Lite}\) (a.k.a. \({\cal F}\)lora-2): User’s Manual, v1.1 (2015). http://flora.sourceforge.net/docs/floraManual.pdf

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada

Personalised recommendations