A Formal Theory for Modular ERDF Ontologies

Authors:
Anastasia Analyti;Grigoris Antoniou;Carlos Viegas Damásio
Affiliations:
Institute of Computer Science, FORTH-ICS, Greece;Institute of Computer Science, FORTH-ICS, Greece and Department of Computer Science, University of Crete, Greece;CENTRIA, Departamento de Informatica, Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal 2829-516
Venue:
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Year:
2009

Citing 8
Cited 3

Logic programs with classical negation

Logic programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
N3logic: A logical framework for the world wide web

Theory and Practice of Logic Programming
On the Computability and Complexity Issues of Extended RDF

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Achieving compositionality of the stable model semantics for smodels programs1

Theory and Practice of Logic Programming
Extended RDF as a semantic foundation of rule markup languages

Journal of Artificial Intelligence Research
Rules with contextually scoped negation

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

Implementing Simple Modular ERDF ontologies

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Embeddings of simple modular extended RDF

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A framework for modular ERDF ontologies

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.