Representing Uncertainty in RuleML

Authors:
Carlos Viegas Damásio;Jeff Z. Pan;Giorgos Stoilos;Umberto Straccia
Affiliations:
Centro de Inteligência Artificial, Universidade Nova de Lisboa, Portugal. E-mail: cd@di.fct.unl.pt;Department of Computing Science, University of Aberdeen, UK. E-mail: jpan@csd.abdn.ac.uk;Electrical and Computer Engineering National Technical University of Athens, Greece. E-mail: gstoil@image.ece.ntua.gr;ISTI - Italian National Research Council Pisa, Italy. E-mail: Umberto.Straccia@isti.cnr.it
Venue:
Fundamenta Informaticae
Year:
2008

Citing 21
Cited 7

Quantitative deduction and its fixpoint theory

Journal of Logic Programming
Bilattices and the semantics of logic programming

Journal of Logic Programming
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
The independent choice logic for modelling multiple agents under uncertainty

Artificial Intelligence - Special issue on economic principles of multi-agent systems
Temporal probabilistic logic programs

Proceedings of the 1999 international conference on Logic programming
Annotated fuzzy logic programs

Fuzzy Sets and Systems
Probabilistic logic programming with conditional constraints

ACM Transactions on Computational Logic (TOCL)
Parameter Estimation in Stochastic Logic Programs

Machine Learning
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence

Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Approximate reasoning by similarity-based SLD resolution

Theoretical Computer Science
A Parametric Approach to Deductive Databases with Uncertainty

IEEE Transactions on Knowledge and Data Engineering
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)

ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables

UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Soundness and Completeness of Non-classical SLD-Resolution

ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
On a theory of probabilistic deductive databases

Theory and Practice of Logic Programming
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Query answering in normal logic programs under uncertainty

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic description logic programs

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
f-SWRL: a fuzzy extension of SWRL

Journal on Data Semantics VI
Uncertainty and RuleML rulebases: a preliminary report

RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web

Vague-SWRL: A Fuzzy Extension of SWRL

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Combining Fuzzy Description Logics and Fuzzy Logic Programs

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Approaches to Uncertain or Imprecise Rules - A Survey

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Fuzzy Reasoning with a Rete-OO Rule Engine

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
RuleML 1.0: the overarching specification of web rules

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
SWRL-F: a fuzzy logic extension of the semantic web rule language

Proceedings of the International Conference on Web Intelligence, Mining and Semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract

The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. The main contribution of the paper is to propose such a general extension, showing how to encode many of the existing languages in this extension. It is detailed the important case of fuzzy rule languages. We hope this work can also provide some insights on how to cover uncertainty in the RIF framework.