A Formal Theory for Modular ERDF Ontologies
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.
KeywordsResource Description Framework Stable Model Derivation Rule Stable Model Semantic Resource Description Framework Graph
Unable to display preview. Download preview PDF.
- 5.Gelfond, M., Lifschitz, V.: Logic programs with Classical Negation. In: 7th International Conference on Logic Programming, pp. 579–597 (1990)Google Scholar
- 6.Hayes, P.: RDF Semantics. W3C Recommendation, February 10 (2004), http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
- 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.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/
- 13.Stefan Decker, W.N., Sintek, M.: The Model-Theoretic Semantics of TRIPLE. Technical Report (2002)Google Scholar
- 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