Modelling and reasoning languages for social networks policies

Proceedings - 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009

Volumn , Issue , 2009, Pages 193-200

  Governatori, Guido ^a   Iannella, Renato ^a  

^a CSIRO   (Australia)

Author keywords

Defeasible logic; Open Digital Rights Language (ODRL); Policy; Privacy; Rights; Social networks

Indexed keywords

DEFEASIBLE LOGIC; DIGITAL RIGHTS; EXECUTION MODEL; POLICY LANGUAGE; REASONING LANGUAGES; REASONING MECHANISM; SOCIAL NETWORKS;

COMPUTER SCIENCE; COPYRIGHTS; LINGUISTICS; QUERY LANGUAGES;

BEHAVIORAL RESEARCH;

EID: 71249113927     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2009.19     Document Type: Conference Paper

References (21)

1. A. Mikroyannidis, "Toward a social Semantic Web," IEEE Compute, pp. 113-115, November 2007.
2. J. Breslin and S. Decker, "The future of social networks on the internet," IEEE Internet Computing, pp. 86-90, Nov/Dec 2007.
3. R. Iannella, "Industry challenges for social and professional networks," in W3C Workshop on the Future of Social Networking, Barcellona, 15-16 January 2009, http://www.w3.org/2008/09/msnws/papers/ nicta-position-paper.pdf.
4. G. Tonti, J. Bradshaw, R. Jeffers, R. Montanari, N. Suri, and A. Uszok, "Semantic Web languages for policy representation and reasoning: A comparison of Kaos, Rei, and Ponder," in 2nd International Semantic Web Conference (ISWC2003), ser. LNCS, no. 2870. Springer, 2003, pp. 419-437.
5. S. Guth and R. Iannella, ODRL V2.0 - Core Model. ODRL Initiative. Draft Specification: 16 January 2009, http://odrl.net/2.0/ DS-ODRL-Model.html.
6. A. Passant, P. Kärger, M. Hausenblas, D. Olmedilla, A. Polleres, and S. Decker, "Enabling trust and privacy on the social web," in W3C Workshop on the Future of Social Networking, Barcellona, 15-16 January 2009, http://www.w3.org/2008/09/msnws/papers/trustprivacy.html.
7. G. Governatori, "Representing business contracts in RuleML," International Journal of Cooperative Information Systems, vol. 14, no. 2-3, pp. 181-216, 2005.
8. G. Governatori, Z. Milosevic, and S. Sadiq, "Compliance checking between business processes and business contracts," in 10th International Enterprise Distributed Object Computing Conference (EDOC 2006). IEEE Computing Society, 2006, pp. 221-232.
9. G. Antoniou, D. Billington, G. Governatori, and M. Maher, "Representation results for defeasible logic," ACM Transactions on Computational Logic, vol. 2, no. 2, pp. 255-287, 2001.
10. -, "Embedding defeasible logic into logic programming," Theory and Practice of Logic Programming, vol. 6, no. 6, pp. 703-735, 2006.
11. G. Governatori and A. Rotolo, "Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations," Australasian Journal of Logic, vol. 4, pp. 193-215, 2006.
12. J. Carmo and A. J. Jones, "Deontic logic and contrary to duties," in Handbook of Philosophical Logic, 2nd Edition, D. Gabbay and F. Guenther, Eds. Dordrecht: Kluwer, 2002, vol. 8, pp. 265-343.
13. D. Nute, "Defeasible logic," in Handbook of Logic in Artificial Intelligence and Logic Programming, 1994, vol. 3.
14. G. Antoniou, A. Bikakis, M. Dimaresis, M. Genetzakis, G. Georgalis, G. Governatori, E. Karouzaki, N. Kazepis, D. Kosmadakis, M. Kritsotakis, G. Lilis, A. Papadogiannakis, P. Pediaditis, C. Terzakis, R. Theodosaki, and D. Zeginis, "Proof explanation for a nonmonotonic semantic web rules language," Data & Knowledge Engineering, vol. 64, no. 3, pp. 662-687, 2008.
15. M. Maher, "Propositional defeasible logic has linear complexity," Theory and Practice of Logic Programming, vol. 1, pp. 691-711, 2001.
16. N. Bassiliades, G. Antoniou, and I. Vlahavas, "A defeasible logic reasoner for the Semantic Web," International Journal on Semantic Web and Information Systems, vol. 2, pp. 1-41, 2006.
17. G. Governatori and A. Rotolo, "A computational framework for institutional agency," Artificial Intelligence and Law, vol. 16, no. 1, pp. 25-52, 2008.
18. G. Governatori, A. Rotolo, R. Riveret, M. Palmirani, and G. Sartor, "Variants of temporal defeasible logic for modelling norm modifications," in Proceedings of 11th International Conference on Artificial Intelligence and Law, 2007, pp. 155-159.
19. S. Sadiq, G. Governatori, and K. Naimiri, "Modelling of control objectives for business process compliance," in BPM 2007, ser. LNCS, no. 4714. Springer, 2007, pp. 149-164.
20. G. Governatori and Z. Milosevic, "A formal analysis of a business contract language," International Journal of Cooperative Information Systems, vol. 15, no. 4, pp. 659-685, 2006.
21. C. Bournez and G. Neven, Draft Requirements for Next Generation Policies. PrimeLife Deliverable H5.1.1, 11 December 2008, http://www.primelife.eu/images/stories/deliverables/h5.1.1-policy-requirements- public.pdf.