Modularity in the rule interchange format

Authors:
Carlos Viegas Damásio;Anastasia Analyti;Grigoris Antoniou
Affiliations:
CENTRIA, Departamento de Informática, Universidade Nova de Lisboa, Portugal;Institute of Computer Science, FORTH-ICS, Crete, Greece;Institute of Computer Science, FORTH-ICS, and Department of Computer Science, University of Crete, Crete, Greece
Venue:
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Year:
2011

Citing 14
Cited 1

Logic programs with classical negation

Logic programming
A survey of paraconsistent semantics for logic programs

Handbook of defeasible reasoning and uncertainty management systems
A Model Theory for Paraconsistent Logic Programming

EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Equilibrium logic

Annals of Mathematics and Artificial Intelligence
Partial equilibrium logic

Annals of Mathematics and Artificial Intelligence
Ontology module extraction for ontology reuse: an ontology engineering perspective

Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Package-Based Description Logics

Modular Ontologies
Modular Equivalence for Normal Logic Programs

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Semantic Modularity and Module Extraction in Description Logics

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular Nonmonotonic Logic Programming Revisited

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A logical framework for modularity of ontologies

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A purely model-theoretic semantics for disjunctive logic programs with negation

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
MWeb: A principled framework for modular web rule bases and its semantics

ACM Transactions on Computational Logic (TOCL)
A Guide to the Basic Logic Dialect for Rule Interchange on the Web

IEEE Transactions on Knowledge and Data Engineering

A framework for modular ERDF ontologies

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, it is essential to the community to discuss the recommendations published by the W3C RIF Working Group. In particular, this paper presents the semantics of Rule Interchange Format (RIF) of multidocuments, analyses it and some deficiencies are elicited. A more general approach is proposed as an alternative semantics for multi-documents. As a side important result, some relevant problems in the semantics of RIF-FLD are also discussed and possible ways out are proposed.