The main statements of ontology theory and its implementation in the system of legal knowledge

Authors

  • Serhii Kosenko Pukhov institute for modeling in energy engineering of National academy of sciences of Ukraine, Kyiv,, Ukraine

DOI:

https://doi.org/10.20535/2411-1031.2016.4.2.109915

Keywords:

Ontology, law, artificial intelligent, conceptualization, law domain.

Abstract

The paper presents general information about a notion “ontology” historical derivation. Apart from this different ways of ontology term transformation for usage in artificial intelligence systems are analyzed. Ontology is regarded as a result of knowledge accumulation and association for clear representation the data about events, phenomena, general and special notions concerning society, laws and the world. Apart from this, ontology is developed to supply different information about the subject of interest. There are a number of ontologies, namely light weighing, top, domain ones and so on, which form a base for further knowledge based systems development and their application in combination with artificial intelligence and a set of databases for reasoning and making relevant decision. Ontologies have begun playing a particular role in law and legal theory for rule formalization, accepting court resolutions and providing information about precedents and unusual cases. In the paper the ontology design criteria are also given along with the peculiarities of their application in legal domain. The ontologies are being developed with special goal. However there are no arrangements about their contents and design. The main task which is to be followed in ontology creation deals with the strict and clear formulation of ontology essence, the link between different ontologies being anticipated.

Author Biography

Serhii Kosenko, Pukhov institute for modeling in energy engineering of National academy of sciences of Ukraine, Kyiv,

postgraduate student

References

M.R. Genesereth, and N.J. Nilsson, Logical foundations of artificial intelligence. California, USA: Morgan Kaufmann Publishers, 1988.

J.A. Fulton, Standards working document ISO TC184/SC4/WG3 N103, IGES/PDSES Organization, Dictionary/Methodology Committee, USA, Technical report on the semantic unification meta-model. 1992.

H.B. Enderton, A mathematical introduction to logic. San Diego, USA: Academic Press, 1972.

R. Newell, “The knowledge level”, Artificial Intelligence, vol. 18, no. 1, pp. 87-127, 1982.

doi: 10.1016/0004-3702(82)90012-1.

H.J. Levesque, “Foundations of a functional approach to knowledge representation”, Artificial Intelligence, vol. 23, no. 1, pp. 155-212, 1984.

doi: 10.1016/0004-3702(84)90009-2

T.R. Gruber, “Toward principles for the design of ontologies used for knowledge sharing”, Int. Journal of Human-Computer Studies, vol. 43, pp. 907-928, 1995.

doi: 10.1006/ijhc.1995.1081.

L.T. McCarty, “Ownership: A case study in representing legal concepts”, Artificial Intelligence and Law, vol. 10, pp. 135-161, 2002.

doi: 10.1023/A:1019584605638

M.R. Genesereth and R.E. Fikes, “Knowledge interchange format, Version 3.0 Reference Manual”, Computer Science Department, Stanford University, USA, Tech. Rep. Logic-92-1, 1992.

doi: 10.1.1.54.8601.

T.J.M. Bench-Capon, and P.R.S. Visser, “Ontologies in legal information systems; the need for explicit specifications of domain conceptualisations”, in Proc. Sixth International Conference on Artificial Intelligence and Law. (ICAIL ’97), Melbourne, Australia, 1997, pp. 132-141.

doi: 10.1145/261618.261646.

N.F. Noy, R.W. Fergerson, and M.A. Musen, “The knowledge model of Protege-2000: Combining interoperability and flexibility”, in Proc. 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW'2000), Juan-les-Pins, France, 2000, pp. 87-98.

doi: 10.1007/3-540-39967-4_2.

P.R.S. Visser, Knowledge specification for multiple tasks. Boston, USA: Kluwer Law International Hague, 1995.

T. Bench-Capon, and D. Jones, “PRONTO: Ontology based evaluation of knowledge based systems”, in Validation and verification of knowledge based systems, A. Vermesan and F. Coenen, Eds. Dordrecht, Boston, USA: Kluwer Academic Publishers, 1999, pp. 48-71.

doi: 10.1007/978-1-4757-6916-6_7.

V. Aleven, “Teaching case based argumentation through an example and models”, PhD Thesis, The University of Pittsburgh, Pittsburg, USA, 1997.

doi: 10.1.1.203.1165.

K.D. Ashley, Modeling legal argument. Cambridge, MA, USA: MIT Press, 1990.

H. Prakken, and G. Sartor, “Modelling reasoning with precedents in a formal dialogue game”, Artificial Intelligence and Law, vol. 6, pp. 231-287, 1998.

doi: 10.1007/978-94-015-9010-5_5.

K.D. Ashley, and W. Bridewell, “Emerging AI and law approaches to automating analysis and retrieval of electronically stored information in discovery proceedings”, Artificial Intelligence and Law, vol. 18, pp. 311-320, 2010.

doi: 10.1007/s10506-010-9098-4.

T. Bench-Capon, and G. Sartor, “A model of legal reasoning with cases incorporating theories and values”, Artificial Intelligence, vol. 150, pp. 97-143, 2003.

doi: 10.1016/S0004-3702(03)00108-5.

G.A. Miller, R. Beckwith, Ch. Fellbaum, D. Gross, and K.J. Miller, “Introduction to WordNet: an on-line lexical database”, International Journal of Lexicography, vol. 3, no. 4, pp. 361-373, 1990.

doi: 10.1.1.105.1244.

R.V. Guha, D.B. Lenat, K. Pittman, D. Pratt, and M. Shepherd, “CYC: A midterm report”, Communications of the ACM, vol. 33, no. 8, pp. 345-357, 1990.

doi: 10.1080/08839519108927917.

A. Valente, Legal knowledge engineering: A modelling approach, Amsterdam, Netherland: IOS Press, 1995.

R. van Kralingen, P.R.S. Visser, T.J.M. Bench-Capon, and J. van der Herik, “A principled methodology for the development of legal knowledge systems”, International Journal of Human Computer Studies, vol. 51, no. 6, pp. 1127-1154, 1999.

doi: 10.1006/ijhc.1999.0300.

L.T. McCarty, A language for legal discourse I. basic features, in Proc. Second International Conference on Artificial Intelligence and Law, New York, 1989, pp.180-189.

doi: 10.1145/74014.74037.

L.T. McCarty, Deep semantic interpretations of legal texts, in Proc. Eleventh International Conference on Artificial Intelligence and Law, Stanford, CA, 2007, pp. 217-224.

doi: 10.1145/1276318.1276361.

R.K. Stamper, “The role of semantics in legal expert systems and legal reasoning”, Ratio Jurist, vol. 4, no. 2, pp. 219-244, 1991.

doi: 10.1111/j.1467-9337.1991.tb00094.x.

T.R. Gruber, ONTOLINGUA: A mechanism to support portable ontologies, Knowledge systems laboratory, Stanford University, California, USA, Tech. Rep. 1992.

doi: 10.1.1.34.9819.

A. Valente, and J. Breuker, “Legal modeling and automated reasoning with ON-LINE”, International Journal of Human-Computer Studies, vol. 51, no. 6, pp. 1079-1125, 1999.

doi: 10.1006/ijhc.1999.0298.

A. Valente, “Types and roles of legal ontologies”, in Law and Semantic Web. LNAI 3369,

V. R. Benjamins, Eds., Berlin, Germany: Springer-Verlag, 2005, pp. 65-76.

doi: 10.1007/978-3-540-32253-5_5.

A. Valente, and J. Breuker, “A functional ontology of law”, in Towards a global expert system in law, G. Bargellini and S. Binazzi, Eds. Padua, Italy: CEDAM Publishers. 1994, pp. 112-136.

doi: 10.1.1.39.8951.

P. Visser, and T. Bench-Capon, “A comparison of four ontologies for the design of legal knowledge systems”, Artificial Intelligence and Law, vol. 6, no. 1, pp. 54-68, 1998.

doi: 10.1023/A:1008251913710.

A. Bolioli, L. Dini, P. Mercatali, and F. Romano, “For the automated mark-up of Italian legislative texts in XML”, in Legal Knowledge and Information Systems JURIX 2002: The Fifteenth Annual Conference, T. Bench-Capon, A. Daskalopulu, and R. Winkels, Eds. Amsterdam, Netherland: IOS Press, 2002, pp. 21-30.

doi: 10.1.1.106.6559.

J. Breuker, A. Elhag, E. Petkov, and R. Winkels, “Ontologies for legal information serving and knowledge management”, in Legal Knowledge and Information Systems JURIX 2002: The Fifteenth Annual Conference, T. Bench-Capon, A. Daskalopulu, and R. Winkels, Eds. Amsterdam, Netherland: IOS Press, 2002, pp. 73-82.

doi: 10.1.1.59.1956.

T.M. van Engers, R.Gerrits, M. Boekenoogen, E. Glassée, and P. Kordelaar, “POWER: using UML/OCL for modeling legislation - an application report”, in Proceedings of the 8th International Conference on Artificial intelligence and Law, New York, USA: ACM Press, 2001, pp. 157-167.

doi: 10.1145/383535.383554.

J. Delgado, I. Gallego, S. Lorente, and R. Garcia, “iPROnto: An ontology for digital rights management”, in Legal Knowledge and Information Systems JURIX 2003: The Sixteenth Annual Conference, D. Bourcier, Eds. Amsterdam, Netherland: IOS Press, 2003, pp. 111-121.

M.J. Sergot, F. Sadri, R.A.Kowalski, F. Kriwaczek, P. Hammond, and H.T. Cory, “The British nationality act as a logic program”, Communications of the ACM, vo1. 29, no. 5, pp. 370-386, 1986.

doi: 10.1145/5689.5920.

M.J. Sergot, “The representation of law in computer programs”, in Knowledge Based Systems and Legal Applications, T.J.M. Bench-Capon, Eds. London, UK: Academic Press, 1991, pp. 3-68.

R.A. Kowalski, “The treatment of negation in logic programs for representing legislation”, in Proceedings of the Second International Conference on AI and Law, New York, USA: ACM Press, 1989, pp. 48-69.

doi: 10.1145/74014.74016.

T.J.M. Bench-Capon, “Practical legal expert systems: the relation between a formalisation of law and expert knowledge”, in Computers, Law and AZ, J. Bennun and M. Narayanan, Eds. New York, USA: Ablex, 1991, pp.191-201.

L.T. McCarty, “An implementation of Eisner vs Macomber, in Proceedings of the Fifth International Conference on AI and Law, New York, USA: ACM press, 1995, pp. 276-286. doi: 10.1145/222092.222258.

R.N. Moles, and S. Dayal “There is more to life than logic”, Journal of Information Science, vol. 3, no. 2, pp.188-218, 1992.

A. Wyner, “An ontology in OWL for legal case-based reasoning”, Artificial Intelligence and Law, vol. 16, pp. 271-283, 2008.

doi: 10.1007/s10506-008-9070-8.

H. Prakken, “Artificial intelligence and law, logic and argument schemes”, in Arguing on the Toulmin Model, D. Hitchcock and B. Verheij, Eds. Berlin, German: Dordrecht Springer, 2006, pp. 91-117.

doi: 10.1007/978-1-4020-4938-5_15.

K. Ashley, and S. Bruninghaus, “Automatically classifying case texts and predicting outcomes”, Artificial Intelligence Law, vol. 17, no. 2, pp. 125-165, 2009.

doi: 10.1007/s10506-009-9077-9.

Published

2016-12-31

How to Cite

Kosenko, S. (2016). The main statements of ontology theory and its implementation in the system of legal knowledge. Collection "Information Technology and Security", 4(2), 154–171. https://doi.org/10.20535/2411-1031.2016.4.2.109915

Issue

Section

INFORMATION TECHNOLOGY