A modelling and reasoning framework for social networks policies

Enterprise Information Systems

Volumn 5, Issue 1, 2011, Pages 145-167

  Governatoria, Guido ^a   Iannella, Renato ^b  

^a CSIRO   (Australia)

^b Semantic Identity   (Australia)

Author keywords

Defeasible logic; Formal contract logic (FCL); Open digital rights language (ODRL); Policy; Privacy; Rights; Social networks

Indexed keywords

DEFEASIBLE LOGIC; DIGITAL RIGHTS; FORMAL CONTRACT LOGIC (FCL); POLICY; PRIVACY; RIGHTS; SOCIAL NETWORKS;

COPYRIGHTS;

SOCIAL NETWORKING (ONLINE);

EID: 78650276838     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2010.513014     Document Type: Article

References (42)

1. Abadi, M., 2008. Variations in access control logic. In: R. van der Meyden and L. van der Torre, eds. Nineth international conference on Deontic Logic in computer science (DEON 2008), Vol. 5076 of Lecture notes in computer science. Berlin: Springer, 96-109.
2. Ali, B., Villegas, W., and Maheswaran, M., 2007. A trust based approach for protecting user data in social networks. In: K. Lyons and C. Couturier, eds. Conference of the centre for advanced studies on collaborative research (CASCON). IBM, 288-293.
3. Antoniou, G., Billington, D., Governatori, G., and Maher, M.J., 2001. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2 (2), 255-287.
4. Antoniou, G., Billington, D., Governatori, G., and Maher, M.J., 2006. Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming, 6 (6), 703-735.
5. Antoniou, G., Bikakis, A., Dimaresis, M., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., and Zeginis, D. 2008. Proof explanation for a nonmonotonic Semantic Web rules language. Data & Knowledge Engineering, 64 (3), 662-687.
6. Bassiliades, N., Antoniou, G., and Vlahavas, I., 2006. A defeasible logic reasoner for the semantic web. International Journal on Semantic Web and Information Systems, 2, 1-41.
7. Bournez, C. and Neven, G., 2008. Draft requirements for next generation policies [online]. PrimeLife Deliverable H5.1.1, 11 December 2008 [online]. Available from: http://www.primelife.eu/images/stories/deliverables/h5.1.1-policy/_requ'irements-public.pdf [Accessed 5 August 2010].
8. Breslin, J.G. and Decker, S., 2007. The future of social networks on the internet: the need for semantics. IEEE Internet Computing, 11 (6), 86-90.
9. Carminati, B., Ferrari, E., Heatherly, R., Kantarcioglu, M., and Thuraisingham, B.M., 2009a. A semantic web based framework for social network access control. In: B. Carminati and J. Joshi, eds. 14th ACM symposium on access control models and technologies (SACMAT 2009). New York: ACM, 177-186.
10. Carminati, B., Ferrari, E., and Perego, A., 2009b. Enforcing access control in web-based social networks. ACM Transactions on Information and System Security, 13 (1), 1-38.
11. Carmo, J. and Jones, A., 2002. Deontic logic and contrary to duties. In: D. Gabbay and F. Guenther, eds. Handbook of philosophical logic. 2nd ed.Vol. 8. Dordrecht: Kluwer, 265-343.
12. Governatori, G., 2004. Defeasible description logic. In: G. Antoniou and H. Boley, eds. Third international workshop on rules and rule markup languages for the semantic web (RuleML 2004), no. 3323 in Lecture notes in computer science. Berlin, 98-112.
13. Governatori, G., 2005. Representing Business Contracts in RuleML. International Journal of Cooperative Information Systems, 14 (2-3), 181-216.
14. Governatori, G., Hulstijn, J., Riveret, R., and Rotolo, A., 2007a. Characterising deadlines in temporal modal defeasible logic. In: M. Orgun and J. Thornton, eds. 20th Australian joint conference on artificial intelligence, AI 2007, Vol. 4830 of Lecture notes in computer science. Berlin: Springer, 486-496.
15. Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., and Sartor, G., 2007b. Variants of temporal defeasible logic for modelling norm modifications. In: 11th International conference on artificial intelligence and law (ICAIL07). ACM, 155-159.
16. Governatori, G., Hall, J., and Paschke, A., eds., 2009. International symposium rule interchange and applications (RuleML 2009), Vol. 5858 of Lecture notes in computer science. Berlin: Springer.
17. Governatori, G. and Iannella, R., 2009. Modelling and reasoning languages for social networks policies. In: J.P.A. Almeida, G. Dobbie, and G. Webe, eds. Enterprise Distributed Object Computing Conference (EDOC 2009). Los Alamitos, CA: IEEE, 193-200.
18. Governatori, G. and Milosevic, Z., 2006. A formal analysis of a business contract language. International Journal of Cooperative Information Systems, 15 (4), 659-685.
19. Governatori, G., Milosevic, Z., and Sadiq, S., 2006. Compliance checking between business processes and business contracts. In: P.C.K. Hung, ed. 10th International Enterprise Distributed Object Computing Conference (EDOC 2006). Los Alamitos, CA: IEEE Computing Society, 221-232.
20. Governatori, G. and Pham, D.H., 2009. DR-CONTRACT: an architecture for e-contracts in defeasible logic. International Journal of Business Process Integration and Management, 4 (3), 187-199.
21. Governatori, G. and Rotolo, A., 2006. Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4, 193-215.
22. Governatori, G. and Rotolo, A., 2008. A computational framework for institutional agency. Artificial Intelligence and Law, 16 (1), 25-52.
23. Governatori, G. and Rotolo, A., 2010. On the complexity of temporal defeasible logic. In: Non-Monotonic Reasoning 2010 (NMR 2010). CEUR Workshop Proceedings.
24. Governatori, G., Rotolo, A., and Rubino, R., 2010. Implementing temporal defeasible logic for modeling legal reasoning. In: 3rd Juris-Informatics Workshop (Jurisin 2009), volume 6284 of Lecture Notes in Artificial Intelligence. Berlin: Springer, 45-58.
25. Governatori, G., Rotolo, A., and Sartor, G., 2005. Temporalised normative positions in defeasible logic. In: 10th international conference on artificial intelligence and law (ICAIL05). New York: ACM, 25-34.
26. Guth, S. and Iannella, R., 2009a. ODRL V2.0 - common vocabulary [online]. ODRL Initiative. Working Draft, 25 September 2009. Available form: http://odrl.net/2.0/WD-ODRLVocab.html [Accessed 5 August 2010].
27. Guth, S. and Iannella, R., 2009b. ODRL V2.0 - core model [online]. ODRL Initiative. Draft Specification: 23 September 2009. Available form: http://odrl.net/2.0/DS-ODRL-Model.html [Accessed 5 August 2010].
28. Iannella, R., 2002. Open digital rights language (ODRL) Version 1.1 [online]. W3C Note 19 September 2002. Available form: http://www.w3.org/TR/odrl [Accessed 5 August 2010].
29. Iannella, R., 2009. Industry challenges for social and professional networks. In: W3C workshop on the future of social networking [online], Barcellona, 15-16 January. Available from: http://www.w3.org/2008/09/msnws/papers/nicta-position-paper.pdf.
30. Kolovski, V., Hendler, J., and Parsia, B., 2007. Analyzing web access control policies. In: C. Williamson, M. Zurko, P. Patel-Schneider, and P. Shenoy, eds. 16th International conference on World Wide Web (WWW 2007). New York: ACM, 677-686.
31. Kruk, S., Grzonkowski, S., Gzella, A., Woroniecki, T., and Choi, H.-C., 2006. D-FOAF: distributed identity management with access rights delegation. In: R. Mizoguchi, Z. Shi, and F. Giunchiglia, eds. First Asian SemanticWeb Conference (ASWC 2006), Vol. 4185 of Lecture Notes in Computer Science. Berlin: Springer, 140-154.
32. Lam, H. and Governatori, G., 2009. The making of SPINdle. In: Governatori et al., editor. Springer, 315-322. See also Governatori et al. 2009.
33. Lee, A., Boyer, J.P., Olson, L.E., and Gunter, C.A., 2006. Defeasible security policy composition for web services. In: Fourth ACM workshop on formal methods in security (FSME 06). New York, NY, USAACM, 45-54.
34. Maher, M., 2001. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, 1, 691-711.
35. Mikroyannidis, A., 2007. Toward a social semantic web. IEEE Computer, 40 (11), 113-115.
36. Ni, Q., Bertino, E., and Lobo, J., 2008. An obligation model bridging access control policies and privacy policies. In: I. Ray and N. Li, eds. 13th ACM symposium on access control models and technologies (SACMAT 2008). New York: ACM, 133-142.
37. Nute, D., 1994. Defeasible logic. In: D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds. Handbook of logic in artificial intelligence and logic programming. Oxford University Press: Oxford, 353-395.
38. Passant, A., Kärger, P., Hausenblas, M., Olmedilla, D., Polleres, A., and Decker, S., 2009. Enabling trust and privacy on the social web. In: W3C workshop on the future of social networking [online]. Barcellona, 15-16 January. http://www.w3.org/2008/09/msnws/papers/trustprivacy.html.
39. Rubino, R. and Rotolo, A., 2009. A Java implementation of temporal defeasible logic. In:Governatori et al. Berlin: Springer, 297-304. See also Governatori et al. 2009.
40. Sadiq, S., Governatori, G., and Naimiri, K., 2007. Modelling of control objectives for business process compliance. In: G. Alonso, P. Dadam, and M. Rosemann, eds. Fifth international conference on business process canagement (BPM 2007), no. 4714 in LNCS. Berlin: Springer, 149-164.
41. Simpson, A., 2008. On the need for user-defined fine-grained access control policies for social networking applications. In: M. Onen and T. Strufe, eds. Workshop on security in opportunistic and social networks (SOSOC 08). New York, NY, USA: ACM, 1-8.
42. Tonti, G., Bradshaw, J., Jeffers, R., Montanari, R., Suri, N., and Uszok, A. 2003. Semantic web languages for policy representation and reasoning: a comparison of Kaos, Rei, and Ponder. In: D. Fensel, K.P. Sycara, and J. Mylopoulos, eds. 2nd International semantic web conference (ISWC2003), no. 2870 in Lecture notes in computer science. 2003. Springer, 419-437.