An approach to representing uncertainty rules in RuleML

Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web

Volumn , Issue , 2006, Pages 97-106

  Damásio, Carlos Viegas ^a   Pan, Jeff Z ^b   Stoilos, Giorgos ^c   Straccia, Umberto ^d  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

^c NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^d CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA HANDLING;

EXISTING LANGUAGES; RULE-BASED LANGUAGES;

SEMANTIC WEB;

EID: 38949157111     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RULEML.2006.3     Document Type: Conference Paper

References (38)

1. J. Alcântara, C. V. Damásio, and L. M. Pereira. An encompassing framework for paraconsistent logic programs. J. Applied Logic, 3(l):67-95, 2005.
2. J. F. Baldwin, T. P. Martin, and B. W. Pilsworth. Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Research Studies Press Ltd, 1995.
3. H. Boley, V. Bhavsar, and L. Yang. A weightedtree similarity algorithm for multi-agent systems in ebusiness environments. In Business Agents and the Semantic Web 2004 (In conjunction with the 2003 Canadian AI Conference), number 47089 in NRC, pages 53-72, 2003.
4. J. Calmet, J. Lu, M. Rodriguez, and J. Schü. Signed formula logic programming: operational semantics and applications. In Z. W. Ras and M. Michalewicz, editors, Proceedings of the Ninth International Symposium on Foundations of Intelligent Systems, volume 1079 of LNAI, pages 202-211, Berlin, June 9-13 1996. Springer.
5. T. Cao. Annotated fuzzy logic programs. Fuzzy Sets and Systems, 113(2):277-298, 2000.
6. J. Cussens. Parameter estimation in stochastic logic programs. Machine Learning, 44(3):245-271, 2001.
7. C. V. Damásio, J. Medina, and M. Ojeda-Aciego. Sorted multi-adjoint logic programs: termination results and applications. In Proceedings of JELIA'04, LNAI 3229, pages 260-273, 2004.
8. C. V. Damásio, J. Medina, and M. Ojeda-Aciego. A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations. In Proceedings of FUZZ-IEEE '06, 2006. To appear.
9. C. V. Damásio and L. M. Pereira. Monotonie and residuated logic programs. In S. Benferhat and P. Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, volume 2143 of Lecture Notes in Computer Science, pages 748-759. Springer, 2001.
10. C. V. Damásio and L. M. Pereira. Sorted monotonic logic programs and their embeddings. In Proc. IPMU'04, pages 807-814, 2004.
11. A. Dekhtyar, M. I. Dekhtyar, and V. S. Subrahmanian. Temporal probabilistic logic programs. In D. D. Schreye, editor, Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November29 -December4, pages 109-123, 1999.
12. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. Journal of Logic Programming, 43(3): 187-250, 2000.
13. D. Dubois, J. Lang, and H. Prade. Towards possibilistic logic programming. In K. Furukawa, editor, Proceedings of the 8th International Conference on Logic Programming, pages 581-598. MIT, June 1991.
14. D. Dubois and H. Prade, editors. Fudamentals of Fuzzy Sets. Kluwer Academic Publishers, 2000.
15. S. Guadarrama, S. Munoz-Hernandez, and C. Vaucheret. Fuzzy prolog: a new approach using soft constraints propagation. Fuzzy Sets and Systems, 1(144): 127-150, 2004.
16. D. Hirtle. RuleML 0.9 content models, 2006. http://www.ruleml.org/0.9/ xsd/content_models_0 9.pdf.
17. K. Kersting and L. D. Raedt. Bayesian logic programs. In J. Cussens and A. M. Frisch, editors, ILP Work-inprogress reports, volume 35 of CEUR Workshop Proceedings. CEUR-WS.org, 2000.
18. M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. The Journal of Logic Programming, 12(1, 2, 3 &4):335-367, 1992.
19. L. V. S. Lakshmanan and F. S adri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming, l(l):5-42, Jan. 2001.
20. L. V. S. Lakshmanan and N. Shiri. A parametric approach to deductive databases with uncertainty. IEEE Transactions Knowledge Data Engineering, 13(4):554-570, 2001.
21. Y. Loyer and U. Straccia. Default knowledge in logic programs with uncertainty. In Proc. of the 19th Int. Conf. on Logic Programming (ICLP-03), number 2916 in Lecture Notes in Computer Science, pages 466-480, Mumbai, India, 2003. Springer Verlag.
22. J. J. Lu. Logic programming with signs and annotations. Journal of Logic and Computation, 6(6):755-778, Dec. 1996.
23. T. Lukasiewicz. Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Logic, 2(3):289-339, 2001.
24. T. Lukasiewicz. Probabilistic logic programming with conditional constraints. ACM Transactions on Computational Logic, 2(3):289-339, 2001.
25. D. L. McGuiness and F. van Harmelen. OWL web ontology language overview, 2004. W3C Recommendation http://www.w3.org/TR/owl-features/.
26. J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Multiadjoint logic programming with continuous semantics. In T. Eiter, W Faber, and M. Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, volume 2173, pages 351-364, 2001.
27. S. Muggleton. Stochastic logic programs. Journal of Logic Programming, 2001. Accepted subject to revision.
28. J. Z. Pan, G. Stoilos, G. Stamou, V. Tzouvaras, and I. Horrocks. f-SWRL: A Fuzzy Extension of SWRL. Journal of Data Semantic, special issue on Emergent Semantics. To appear.
29. M. I. Sessa. Approximate reasoning by similaritybased sld resolution. Theoretical Computer Science, 275:389-426, 2002.
30. G. Stoilos, G. Stamou, V. Tzouvaras, and J. Pan. Uncertainty and ruleml rulebases:a preliminary report. In A. Adi, editor, Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web, volume 3791 of Lecture Notes in Computer Science, pages 199-203. Springer-Verlag, 2005.
31. U. Straccia. Query answering in normal logic programs under uncertainty. In 8th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-05), number 3571 in Lecture Notes in Computer Science, pages 687-700, Barcelona, Spain, 2005. Springer Verlag.
32. U. Straccia. Fuzzy description logic programs. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), 2006.
33. U. Straccia. Query answering under the any-world assumption for normal logic programs. In Proceedings of the 10th International Conference on Knowledge Representation (KR-06), 2006.
34. M. H. van Emden. Quantitative deduction and its fixpoint theory. The Journal of Logic Programming, 3(l):37-54, Apr. 1986.
35. J. Vennekens, S. Verbaeten, and M. Bruynooghe. Logic programs with annotated disjunctions. In B. Demoen and V. Lifschitz, editors, Proc. of ICLP 2004, volume 3132 of Lecture Notes in Computer Science, pages 431-445. Springer, 2004.
36. P. Vojtáš. Fuzzy logic programming. Fuzzy sets and systems, 124(3):361-370, 2001.
37. P. Vojtáš and L. Paulík. Soundness and completeness of non-classical sld-resolution. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, volume 1050 of Lecture Notes in Computer Science, pages 289-301. Springer, 1996.
38. G. Wagner. A logical reconstruction of fuzzy inference in databases and logic programs. In Proc. of 7th Int. Fuzzy Systems Association World Congress (IFSA'97), 1997.