Advertisement

A Formal Theory for Modular ERDF Ontologies

  • Anastasia Analyti
  • Grigoris Antoniou
  • Carlos Viegas Damásio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5837)

Abstract

The success of the Semantic Web is impossible without any form of modularity, encapsulation, and access control. In an earlier paper, we extended RDF graphs with weak and strong negation, as well as derivation rules. The ERDF #n-stable model semantics of the extended RDF framework (ERDF) is defined, extending RDF(S) semantics. In this paper, we propose a framework for modular ERDF ontologies, called modular ERDF framework, which enables collaborative reasoning over a set of ERDF ontologies, while support for hidden knowledge is also provided. In particular, the modular ERDF stable model semantics of modular ERDF ontologies is defined, extending the ERDF #n-stable model semantics. Our proposed framework supports local semantics and different points of view, local closed-world and open-world assumptions, and scoped negation-as-failure. Several complexity results are provided.

Keywords

Resource Description Framework Stable Model Derivation Rule Stable Model Semantic Resource Description Framework Graph 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Analyti, A., Antoniou, G., Damásio, C.V., Wagner, G.: Extended RDF as a Semantic Foundation of Rule Markup Languages. Journal of Artificial Intelligence Research (JAIR) 32, 37–94 (2008)MATHGoogle Scholar
  2. 2.
    Analyti, A., Antoniou, G., Damásio, C.V., Wagner, G.: On the Computability and Complexity Issues of Extended RDF. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol. 5351, pp. 5–16. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: A Logical Framework For the World Wide Web. TPLP 8(3), 249–269 (2008)MATHMathSciNetGoogle Scholar
  4. 4.
    Gelder, A.V., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3), 620–650 (1991)MATHGoogle Scholar
  5. 5.
    Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation. In: 7th International Conference on Logic Programming, pp. 579–597 (1990)Google Scholar
  6. 6.
    Hayes, P.: RDF Semantics. W3C Recommendation, February 10 (2004), http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
  7. 7.
    Herre, H., Jaspars, J., Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What Is Negation? Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  8. 8.
    Klyne, G., Carroll, J.J.: Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, February 10 (2004), http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/
  9. 9.
    Lloyd, J.W., Topor, R.W.: Making Prolog more Expressive. Journal of Logic Programming 1(3), 225–240 (1984)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Oikarinen, E., Janhunen, T.: Achieving compositionality of the stable model semantics for smodels programs. TPLP 8(5–6), 717–761 (2008)MATHMathSciNetGoogle Scholar
  11. 11.
    Polleres, A., Feier, C., Harth, A.: Rules with Contextually Scoped Negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Stefan Decker, W.N., Sintek, M.: The Model-Theoretic Semantics of TRIPLE. Technical Report (2002)Google Scholar
  14. 14.
    Wagner, G., Giurca, A., Diaconescu, I.-M., Antoniou, G., Analyti, A., Damasio, C.: Reasoning on the Web with Open and Closed Predicates. In: 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS 2008), in conjunction with ICLP 2008, pp. 71–84 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Anastasia Analyti
    • 1
  • Grigoris Antoniou
    • 1
    • 2
  • Carlos Viegas Damásio
    • 3
  1. 1.Institute of Computer ScienceFORTH-ICSGreece
  2. 2.Department of Computer ScienceUniversity of CreteGreece
  3. 3.CENTRIA, Departamento de Informatica, Faculdade de Ciencias e TecnologiaUniversidade Nova de LisboaCaparicaPortugal

Personalised recommendations