TY - JOUR
T1 - A framework for modular ERDF ontologies
AU - Analyti, Anastasia
AU - Antoniou, Grigoris
AU - Damásio, Carlos Viegas
AU - Pachoulakis, Ioannis
PY - 2013/3/1
Y1 - 2013/3/1
N2 - 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.
AB - 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.
KW - Local closed-world and open-world assumptions
KW - Local semantics
KW - Modular ERDF ontologies
KW - Scoped negation-as-failure
UR - http://www.scopus.com/inward/record.url?scp=84879938725&partnerID=8YFLogxK
U2 - 10.1007/s10472-013-9350-1
DO - 10.1007/s10472-013-9350-1
M3 - Article
AN - SCOPUS:84879938725
VL - 67
SP - 189
EP - 249
JO - Annals of Mathematics and Artificial Intelligence
JF - Annals of Mathematics and Artificial Intelligence
SN - 1012-2443
IS - 3-4
ER -