A Formal Theory for Modular ERDF Ontologies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 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 languageUnknown
Title of host publicationLecture Notes in Computer Science
EditorsA Polleres, T Swift
Place of PublicationChantilly, VA, USA
PublisherSpringer
Pages212-226
Volume5837
ISBN (Print)978-3-642-05081-7
DOIs
Publication statusPublished - 1 Jan 2009
EventWeb Reasoning and Rule Systems, Third International Conference, RR 2009 -
Duration: 1 Jan 2009 → …

Conference

ConferenceWeb Reasoning and Rule Systems, Third International Conference, RR 2009
Period1/01/09 → …

Cite this

Damásio, C. A. I. P. V., & DI Group Author (2009). A Formal Theory for Modular ERDF Ontologies. In A. Polleres, & T. Swift (Eds.), Lecture Notes in Computer Science (Vol. 5837, pp. 212-226). Springer. https://doi.org/10.1007/978-3-642-05082-4_15