A constructive framework for legal ontologies

References (77)

1. Secondly, we introduce the relations between the norm and its components, e.g. the urban speed limit defined in the norm, as well as the used concepts: Defines(UrbanSpeedLimit@Art142_ITC, UrbanSpeedLimit) Uses(UrbanSpeedLimit@Art142_ITC, Vehicle)
2. Uses(UrbanSpeedLimit@Art142_ITC, Driver)
3. Uses(UrbanSpeedLimit@Art142_ITC, RunningTask)
4. Uses(UrbanSpeedLimit@Art142_ITC, DrivingTask)
5. Thirdly, we provide the articulation of the concepts inside the norm, e.g. the relation between the parameter and its expected value, the attitudes prefigured by roles with respect to to course, the ordering of roles and tasks, etc.: ValuedBy(UrbanSpeedLimit, ≤50kmh)
6. ObligationTowards(Driver, DrivingTask)
7. AnankasticDutyTowards(Vehicle, RunningTask) 5
8. RequisiteFor(UrbanSpeedLimit, RunningTask)
9. DependsOn(Driver, Vehicle)
10. DirectSuccessor(ConcurrencyTask, DriverTask)
11. DirectSuccessor(ConcurrencyTask, RunningTask)
12. A simple case (involving a guy named A. Basilisco and a high-speed travel on his car) is then depicted which should be checked for conformity to the model that formalizes the norm: LegalCase(Driving_PT_130804_#1209) LegalPerson(A.Basilisco) Car(TR4#PT130CC21) SpeedValue(120kmh) Activity(A.Basilisco's_travel_130804)
13. SettingFor(Driving_PT_130804_#1209, A.Basilisco) SettingFor(Driving_PT_130804_#1209, TR4#PT130CC21)
14. SettingFor(Driving_PT_130804_#1209, A.Basilisco's_travel_130804) SettingFor(Driving_PT_130804_#1209, 120kmh)
15. LocatedIn(A.Basilisco's_travel_130804, 120kmh)
16. ParticipantIn(A.Basilisco, A.Basilisco's_travel_130804)
17. ParticipantIn(TR4#PT130CC21, A.Basilisco's_travel_130804) We can easily realize that the case does not conform to the norm, since although most mandatory concepts in the norm classify appropriate entities: PlayedBy(Driver, A.Basilisco) PlayedBy(Vehicle, TR4#PT130CC21)
18. Sequences(ConcurrencyTask, A.Basilisco's_travel_130804)
19. Sequences(RunningTask, A.Basilisco's_travel_130804)
20. Sequences(DrivingTask, A.Basilisco's_travel_130804) the requisite expressed by the urban speed limit cannot classify the speed value of the car in the case: ? ValuedBy(UrbanSpeedLimit, 120kmh) no, because: >(120kmh, 50kmh) and then 120kmh cannot be a part of the ≤50kmh region (i.e., an accepted value). References
21. Winkels, R. (ed.), Second International Workshop on Legal Ontologies (LEGONT), at the Jurix Conference, http://lri.jur.uva.nl/~winkels/legont.html, 2002.
22. Breuker, J., Gangemi, A., Tiscornia, D., Winkels, R. (eds.), ICAIL03 Wks on Legal On- tologies, Edinburgh, http://lri.jur.uva.nl/~winkels/legontICAIL2003.html, 2003.
23. Jarrar, M., Salaun, A. (eds.), First Workshop on Regulatory Ontologies, OTM Workshops, Springer, 2003.
24. Jarrar, M., Gangemi, A. (eds.), Second Workshop on Regulatory Ontologies, OTM Work- shops, Springer, 2004.
25. Benjamins R., Casanovas P., Breuker J., Gangemi A. Law and the Semantic Web. Berlin, Springer, 2004.
26. Sagri M.T., Tiscornia D., Gangemi A. An Ontology-based Approach for Representing "Bundle-of-rights", Jarrar & Gangemi (eds.), Second International Workshop on Regulatory Ontologies, in OTM Workshops, Springer, 2004.
27. Gangemi A, Prisco A, Sagri MT, Steve G, Tiscornia D, "Some ontological tools to support legal regulatory compliance, with a case study", in Jarrar M, et al. (eds.), Proceedings of the WORM03 Workshop at OTM Conference, Springer Verlag, Berlin, 2003.
28. Alexy R. A Theory of Legal Argumentation, Oxford: Clarendon Press, 1989.
29. Allen L.E. e Saxon C.S. Analysis of the Logical Structure of Legal Rules by a Modernized and Formalized Version of Hohfeld's Fundamental Legal Conceptions, Martino, Socci (eds.), Automated Analysis of Legal Texts, Amsterdam: North-Holland, 1986.
30. Kowalski R. e Sergot M. The Use of Logical Models in Legal Problem Solving, in (Nara- yan and Bennum eds.), Law, Computer Science and Artificial Intelligence, Ablex, 1989.
31. Sergot M. The Representation of Law in Computer Programs, in Trevor Bench Capon (ed.) Knowledge Based Systems and legal Applications, Academic Press, 1991, pp. 3-68.
32. Antoniou G., Billington D., Governatori G., Maher M.J. Representation results for defea- sible logic, ACM Transactions on Computational Logic, 2, 2, 2001.
33. Hamfelt A. e Barklund J. Hierarchical Representation of Legal Knowledge with Metapro- gramming in logic, in Proceedings of First Compulog-NetWorkshop, Imperial College, London, 1992.
34. Bench Capon T. e Coenen F. Isomorphism and Legal Knowledge-based systems, in Artifi- cial Intelligence and Law: An International Journal, 1(1), 1992, pp.65-86.
35. Jones A., Sergot M. On the Characterization of Law and Computer Sustems: The Norma- tive Systems Perspective, in Deontic Logic in Computer Science, (a cura di J. Ch. Meyer e R. J. Wieringa, Wiley (UK), 1993.
36. Kolodner, J.L. Case-based reasoning. Morgan Kaufmann, Calif., US, 1993.
37. Breuker, J. and N. den Haan, Separating world and regulation knowledge: where is the logic? In Sergot, M. (ed), Processing of the third internetional conference on AI and Law, New York, Association of Computing Machinery, 1991.
38. Chisholm R.M., Contrary to duty imperative and deontic logic, in Analysis, 24, 1963.
39. Hohfeld W. N. Some fundamental legal conceptions as applied in legal reasoning , Yale Law Journal , XXIII, n.1, pp.16-59, 1913.
40. Jones A. and Sergot M., A Formal Characterisation of Institutional Power, Journal of IGPL, 4(3), 429-445, 1996.
41. Bowen K.A., Kowalski R. Amalgamating Language and Metalanguage in Logic Pro- gramming, in Clark e Tarnlund (eds.), Logic Programming, London: Academic Press, pp. 153-172, 1982.
42. Moore, M., Legal Reality: A Naturalist Approach to Legal Ontology, Law and Philosophy, 21, 619-705, 2002.
43. Forbus, K., Mostek. T., Ferguson, R., An analogy ontology for integrating analogical proc- essing and first-principles reasoning, in Proceedings of AAAI02, 2002.
44. Karmiloff-Smith, A. Beyond Modularity: A Developmental Perspective on Cognitive Sci- ence. Cambridge, MA.: MIT Press, 1992.
45. Gangemi A., Mika P. Understanding the Semantic Web through Descriptions and Situa- tion, Meersman R, et al. (eds.), Proceedings of ODBASE03, Springer, Berlin, 2003.
46. Masolo C., Vieu L., Bottazzi E., Catenacci C., Ferrario R., Gangemi A., Guarino N. Social Roles and their Descriptions, Welty & Dubois (eds.), Proceedings of the International Con- ference on Principles of Knowledge Representation and Reasoning (KR), 2004.
47. Masolo C., Borgo S., Gangemi A, Guarino N, Oltramari A. The WonderWeb Library of Foundational Ontologies", IST 2001-33052
48. Wonder Web. http://wonderweb.semanticweb.org/deliverables/documents/D18.pdf, 2003.
49. Gangemi A., Catenacci C., Lehmann J., Borgo S. Task taxonomies for knowledge content, EU 6FP METOKIS Project, D07, http://metokis.salzburgresearch.at, 2004.
50. Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. (eds.) Description logic handbook, Cambridge: Cambridge UP, 2002.
51. Eco, U., Kant e l'ornitorinco, Milano, Bompiani, 1997.
52. Visser P., T. Bench Capon, Ontologies in the Design of Legal Knowledge Systems, to- wards a Library of Legal Domain Ontologies, in Proceedings of Jurix 99, Leuven, Belgique.
53. Dean, M., Schreiber, G.: Owl web ontology language reference, W3c candidaterecom- mendation, World Wide Web Consortium (August 2003).
54. Hart, H.L.A. The Concept of Law, Oxford (UK), Clarendon Press, 1961.
55. Alchourrón C. E., Buligyn E. Normative System, Springer Verlag, Wien, 1971.
56. Searle J., The Construction of Social Reality, Free Press: N.Y., 1995.
57. Gangemi A., Bottazzi E., Catenacci C., Lehmann J. From Collective Intentionality to In- tentional Collectives: An Ontological Perspective, C. Castelfranchi, L. Tummolini (eds.), In- ternational Conference on Collective Intentionality, to appear, 2004.
58. Lindhal L., Position and Change. A study in Law and Logic, Reidel, 1977.
59. Kanger S., Law and Logic, Theoria, 38, 105-132, 1972.
60. Jones A, A logical Framework, in J.Pitt (ed.), Open Agents Societies: Normative Specifi- cations in Multi-Agent Systems, Wiley and S., 2003.
61. Pörn, I., Action Theory and Social Science, Some Formal Models, Reidel, 1977.
62. Lehmann, J, Borgo, S., Masolo, C., Gangemi, A. Causality and Causation in DOLCE, Vieu & Varzi (eds.), Third International Conference on Formal Ontology and Information Systems (FOIS04), IOS Press, 2004.
63. Sagri M.T. Progetto per lo sviluppo di una rete lessicale giuridica on line attraverso la specializzazione di ItalWordnet, in Informatica e Diritto, ESI, Napoli, 2003.
64. Roventini A., Alonge A., Bertagna F., Calzolari N., et al., ItalWordNet: Building a Large Semantic Database for the Automatic Treatment of Italian, in "Linguistica Computazion- ale", Istituti Editoriali e Poligrafici Internazionali, Pisa-Roma, ISSN, 2000.
65. Vossen P. (ed.). EuroWordNet A Multilingual Database with Lexical Semantic Networks, Kluwer Academic publishers, 1998.
66. Fellbaum C. (editor), WordNet: An electronic lexical database, MIT Press, 1998.
67. Gangemi A., Battaglia, M., Catenacci, C. The Inflammation Ontology Design Pattern, in Pisanelli (ed.), Biomedical Ontologies, IOS Press, 2004.
68. Boer A., van Engers T. and Winkels R., Using Ontologies for Comparing and Harmoniz- ing Legislation, in Proceedings of the 9 th ICAIL Conference, Edinburgh, 2003.
69. Gärdenfors P, "The Dynamics of Normative Systems", 1989.
70. Biagioli C., An XML editor for Legislative drafting, JURIX wks on E-Government, 2002.
71. Sartor G., "Legal Reasoning and Normative Conflicts", in Reasoning with Inconsistency, 1991.
72. Gangemi A., Pisanelli DM., Steve G. A Formal Ontology Framework to represent Norm Dynamics. Proc. of Second International Workshop on Legal Ontologies, Amsterdam, 2001.
73. Ross A. Directives and Norms. London, 1968.
74. McCormick N., Legal Reasoning and Legal Theory, Oxford University Press, 1978
75. Dworkin R. Taking Rights Seriously, 2nd ed., London: Duckworth, 1978.
76. von Wright G.E. Norm and Action, London, Routledge, 1963.
77. Valente A. e Breuker J. A Functional Ontology of Law, in Preatti del Convegno del Ven- ticinquennale IDG, Firenze, 1993, pp.3-6