A framework for modular ERDF ontologies

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 languageEnglish
Pages (from-to)189-249
Number of pages61
JournalAnnals of Mathematics and Artificial Intelligence
Volume67
Issue number3-4
DOIs
Publication statusPublished - 1 Mar 2013

Fingerprint

Ontology
Semantics
Stable Models
Semantic Web
Encapsulation
Access control
Framework
Strong Negation
Negation as Failure
Modularity
Access Control
Reasoning
Closed
Graph in graph theory

Cite this

Analyti, Anastasia ; Antoniou, Grigoris ; Damásio, Carlos Viegas ; Pachoulakis, Ioannis. / A framework for modular ERDF ontologies. In: Annals of Mathematics and Artificial Intelligence. 2013 ; Vol. 67, No. 3-4. pp. 189-249.
@article{b2dd6202c3e646a293e3aff5c36d92a9,
title = "A framework for modular ERDF ontologies",
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 = "Local closed-world and open-world assumptions, Local semantics, Modular ERDF ontologies, Scoped negation-as-failure",
author = "Anastasia Analyti and Grigoris Antoniou and Dam{\'a}sio, {Carlos Viegas} and Ioannis Pachoulakis",
year = "2013",
month = "3",
day = "1",
doi = "10.1007/s10472-013-9350-1",
language = "English",
volume = "67",
pages = "189--249",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "3-4",

}

A framework for modular ERDF ontologies. / Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis.

In: Annals of Mathematics and Artificial Intelligence, Vol. 67, No. 3-4, 01.03.2013, p. 189-249.

Research output: Contribution to journalArticle

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

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 -