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.
Original language | English |
---|---|
Title of host publication | Web Reasoning and Rule Systems |
Subtitle of host publication | Third International Conference, RR 2009, Proceedings |
Editors | Axel Polleres, Terrance Swift |
Place of Publication | Berlin |
Publisher | Springer-Verlag Berlin Heidelberg |
Pages | 212-226 |
Number of pages | 15 |
Volume | 5837 LNCS |
ISBN (Electronic) | 9783642050824 |
ISBN (Print) | 3642050816, 9783642050817 |
DOIs | |
Publication status | Published - 15 Oct 2009 |
Externally published | Yes |
Event | 3rd International Conference on Web Reasoning and Rule Systems, RR 2009 - Collocated with the 8th International Semantic Web Conference ISWC 2009 - Chantilly, United States Duration: 25 Oct 2009 → 26 Oct 2009 Conference number: 3 & 8 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer-Verlag Berlin Heidelberg |
Volume | 5837 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 3rd International Conference on Web Reasoning and Rule Systems, RR 2009 - Collocated with the 8th International Semantic Web Conference ISWC 2009 |
---|---|
Abbreviated title | RR 2009 / ISWC 2009 |
Country/Territory | United States |
City | Chantilly |
Period | 25/10/09 → 26/10/09 |