A Formal Theory for Modular ERDF Ontologies

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationWeb Reasoning and Rule Systems
Subtitle of host publicationThird International Conference, RR 2009, Proceedings
EditorsAxel Polleres, Terrance Swift
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Pages212-226
Number of pages15
Volume5837 LNCS
ISBN (Electronic)9783642050824
ISBN (Print)3642050816, 9783642050817
DOIs
Publication statusPublished - 15 Oct 2009
Externally publishedYes
Event3rd 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 200926 Oct 2009
Conference number: 3 & 8

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume5837 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Conference on Web Reasoning and Rule Systems, RR 2009 - Collocated with the 8th International Semantic Web Conference ISWC 2009
Abbreviated titleRR 2009 / ISWC 2009
Country/TerritoryUnited States
CityChantilly
Period25/10/0926/10/09

Fingerprint

Dive into the research topics of 'A Formal Theory for Modular ERDF Ontologies'. Together they form a unique fingerprint.

Cite this