A Formal Theory for Modular ERDF Ontologies

Anastasia Analyti; Grigoris Antoniou; Carlos Augusto Isaac Piló Viegas Damásio

doi:10.1007/978-3-642-05082-4_15

A Formal Theory for Modular ERDF Ontologies

Anastasia Analyti, Grigoris Antoniou, Carlos Augusto Isaac Piló Viegas Damásio

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 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 language	English
Title of host publication	Lecture Notes in Computer Science
Editors	A Polleres, T Swift
Place of Publication	Chantilly, VA, USA
Publisher	Springer
Pages	212-226
Volume	5837
ISBN (Print)	978-3-642-05081-7
DOIs	https://doi.org/10.1007/978-3-642-05082-4_15
Publication status	Published - 1 Jan 2009
Event	Web Reasoning and Rule Systems, Third International Conference, RR 2009 - Duration: 1 Jan 2009 → …

Conference

Conference	Web Reasoning and Rule Systems, Third International Conference, RR 2009
Period	1/01/09 → …

Access to Document

10.1007/978-3-642-05082-4_15

http://www.ics.forth.gr/~analyti/Local_Papers/ERDF_RR09_final_pv.pdf

Cite this

@inproceedings{366c15bc2fa541b6a96219923dee42ed,

title = "A Formal Theory 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 = "Semantic Web, Rules, Extended RDF, Modularity",

author = "Anastasia Analyti and Grigoris Antoniou and Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas}",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-05082-4_15",

language = "English",

isbn = "978-3-642-05081-7",

volume = "5837",

pages = "212--226",

editor = "A Polleres and T Swift",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

note = "Web Reasoning and Rule Systems, Third International Conference, RR 2009 ; Conference date: 01-01-2009",

}

TY - GEN

T1 - A Formal Theory for Modular ERDF Ontologies

AU - Analyti, Anastasia

AU - Antoniou, Grigoris

AU - Damásio, Carlos Augusto Isaac Piló Viegas

PY - 2009/1/1

Y1 - 2009/1/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 - Semantic Web

KW - Rules

KW - Extended RDF

KW - Modularity

U2 - 10.1007/978-3-642-05082-4_15

DO - 10.1007/978-3-642-05082-4_15

M3 - Conference contribution

SN - 978-3-642-05081-7

VL - 5837

SP - 212

EP - 226

BT - Lecture Notes in Computer Science

A2 - Polleres, A

A2 - Swift, T

PB - Springer

CY - Chantilly, VA, USA

T2 - Web Reasoning and Rule Systems, Third International Conference, RR 2009

Y2 - 1 January 2009

ER -

A Formal Theory for Modular ERDF Ontologies

Abstract

Conference

Access to Document

Fingerprint

Cite this