A Systematic Literature Review of Legal Ontologies

This article analyzes the publications concerning the topic of legal ontology as supporting processes and activities of legal nature. A systematic review of the theme and the identification of the main existing studies are carried out. This review is developed throughout three tasks: contextualization of the theme from a legal perspective; systematic literature search; analysis and synthesis of the information obtained. From these studies the present work serves as a basis for the understanding and discussion of the possibilities of applying legal ontologies to support the activities of the legislative process in the parliamentary scope, and also the judicial process. Furthermore, it is intended in the future the definition of a legal domain-specific language. This article also presents the mapping of the publications of this theme with the existing studies and presents the respective critical and comparative analysis

UFO: Unified Foundational Ontology

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.

Melhoria do processo legislativo no âmbito parlamentar pela introdução de tecnologias digitais do domínio legal

Atualmente, as organizações abordam a melhoria dos seus processos com foco predominante na digitalização e automatização desses processos. Na perspetiva de organizações como os Parlamentos, a automação de processos tem sido abordada, porém, pouco tem sido explorado no âmbito legislativo. Por outro lado, no campo jurídico, a utilização de soluções informáticas para serviços jurídicos tem também emergido. É neste contexto que nesta investigação apresentamos uma nova abordagem para melhorar o processo de elaboração de leis no âmbito parlamentar a partir da definição de uma linguagem específica de domínio. Esta abordagem enfatiza a definição dessa linguagem que representa os conceitos essenciais das leis e suas relações. A investigação realizou uma revisão sistemática da literatura de publicações sobre ontologias legais, como suporte aos processos e atividades de natureza legal, e realizou uma análise comparativa de diferentes ontologias legais. Essa revisão da literatura permitiu identificar problemas concretos nas atividades de produção de leis, sujeitas a vários tipos de erros, e permitiu a definição de um modelo de referência para representar leis de forma mais rigorosa e explícita, proporcionando uma maior sistematização e qualidade dos processos da produção de leis. A análise das ontologias legais permitiu-nos definir essa linguagem especifica de domínio como ferramenta de apoio a esses processos, em particular, processos que vão desde a submissão de iniciativas de leis até sua posterior autoria e homologação. Com recurso às tecnologias Eclipse e Xtext, os autores criaram a ferramenta LegalStudio que representa a linguagem LegalLanguage, com realce de sintaxe, verificação de erros e um editor integrado, no qual as atividades de escrita normativa podem ser aprimoradas e menos propensas a erros em comparação com os processos tradicionais. Foi realizada uma avaliação do protótipo da LegalStudio para apoiar à edição e validação de textos normativos, destacando seus principais atores, funcionalidades e aspetos de apreciação geral da ferramenta.Currently, organizations approach the improvement of their processes with a predominant focus on digitizing and automating these processes. From the perspective of organizations such as Parliaments, the automation of processes has been addressed, however, little has been explored in the legislative scope. On the other hand, in the legal field, the use of IT solutions for legal services has also emerged. It is in this context that in this investigation we present a new approach to improve the process of drafting laws in the parliamentary sphere, starting from the definition of a domain-specific language. This approach emphasizes the definition of that language that represents the essential concepts of the laws and their relationships. The investigation carried out a systematic literature review of publications on legal ontologies, as support to legal processes and activities, and carried out a comparative analysis of different legal ontologies. This literature review made it possible to identify concrete problems in the activities of law production, subject to various types of errors, and allowed the definition of a reference model to represent laws in a more rigorous and explicit way, providing a greater systematization and quality of the processes of the production of laws. The analysis of legal ontologies allowed us to define this domain-specific language as a tool to support these processes, in particular, processes that range from the submission of law initiatives to their subsequent authorship and approval. Using Eclipse and Xtext technologies, the authors created the LegalStudio tool that represents the LegalLanguage language, with syntax highlighting, error checking, and an integrated editor, in which normative writing activities can be improved and less prone to errors compared to traditional processes. An evaluation of the LegalStudio prototype to support the editing and validation of normative texts was carried out, highlighting its main actors, functionalities, and aspects of general appreciation of the tool

Ontology Validation for Managers

Ontology driven conceptual modeling focuses on accurately representing a domain of interest, instead of making information fit an arbitrary set of constructs. It may be used for different purposes, like to achieve semantic interoperability (Nardi, Falbo and Almeida, 2013), development of knowledge representation models (Guizzardi and Zamborlini, 2012) and language evaluation (Santos, Almeida and Guizzardi,2010). Regardless its final application, a model must be accurately defined in order for it to be a successful solution. This new branch of conceptual modeling improves traditional techniques by taking into consideration ontological properties, such as rigidity, identity and dependence, which are derived from a foundational ontology. This increasing interest in more expressive languages for conceptual modeling is shown by OMGs request for language proposals for the Semantic Information Model Federation (SIMF) (OMG,2011). OntoUML (Guizzardi, 2005) is an example of a language designed for that purpose.Its metamodel (Carraretto, 2010) is designed to comply to the Unified Foundational Ontology (UFO). It focus on structural aspects of individuals and universals.Grounded on human cognition and linguistics, it aims to provide the most basic categories in which humans understand and classify things around them.In (Guizzardi, 2010) Guizzardi quotes the famous Dijkstras lecture, in which he discusses the humble programmer and makes an analogy entitled the humble ontologist. He argues that the task of ontology-driven conceptual modeling is extremely complex and thus, modelers should surround themselves with as many tools as possible to aid in the development of the ontology. These complexities arise from different sources. A couple of them come from foundational ontology itself, both its modal nature, which imposes modelers to deal with possibilities, and the many different restrictions of each ontological category. But they also come from the need of accurately defining instance level constraints, which require additional rules, outside of the languages graphical notation. To help modelers to develop high quality OntoUML models, a number of tools have been proposed to aid in different phases of conceptual modeling. From the construction of the models themselves using design patterns questions (Guizzardi et al., 2011), to automatic syntax verification (Benevides, 2010) and model validation through simulation (Benevides et al., 2010). The importance of domain specification that accurately captures the intended conceptualization has been recognized by both the traditional conceptual modeling community (Moody et al., 2003) and the ontology community (Vrandečić, 2009). In this research we want to improve (Benevides et al., 2010) initiative, but focus exclusively on the validation of ontology driven conceptual models, and not on verification. With the complexity of the modeling activity in mind, we want to help modelers to systematically produce high quality ontologies, improving precision and coverage (Gangemi et al., 2005) of the models. We intend to make the simulationbased approach available for users that are not experts in the formal method, relieving them of the need to learn yet another language, solely for the purpose of validating their models

UFO-L: UMA ONTOLOGIA NÚCLEO DE ASPECTOS JURÍDICOS CONSTRUÍDA SOB A PERSPECTIVA DAS RELAÇÕES JURÍDICAS

Nas últimas décadas, o Direito tem se voltado para a Computação em busca de soluções para a representação do domínio jurídico, para o armazenamento de grandes volumes de informação e para a recuperação dessas informações com o intuito de gerar conhecimento para apoio a tomadas de decisões. Dentre as diversas soluções propostas para a representação do domínio jurídico, destacam-se as ontologias jurídicas, que propõem a representação de uma conceitualização compartilhada de conceitos jurídicos e suas relações. As ontologias jurídicas, que representam conceitos jurídicos genéricos passíveis de serem usados e reutilizados na construção de outras ontologias ou em linguagens de modelagem do domínio jurídico, são denominadas Legal Core Ontologies (LCOs) ou Ontologia Núcleo Jurídica. A abordagem da maioria das LCOs é a da representação do Direito focado nas normas jurídicas. No entanto, nesta pesquisa, optou-se por uma abordagem focada nas relações jurídicas para a investigação e para a construção de uma ontologia núcleo jurídica. Embora ambas as abordagens tragam benefícios, a vantagem dessa última é a possibilidade da explicitação de outros conceitos e relacionamentos que não ficam evidenciados na primeira. Em particular, o entendimento da relação jurídica como relação entre sujeitos que desempenham papéis jurídicos, com posições jurídicas inerentes a estes papéis, as quais estão dispostas de tal forma a influenciar os demais sujeitos/papéis jurídicos envolvidos. Neste contexto, o problema a ser atacado está na seara da lacuna entre Computação e Direito, ou seja, no problema de modelagem conceitual aplicada ao recorte da realidade jurídica e como ela é representada. A base teórica desta tese é composta por duas teorias: a Teoria dos Direitos Constitucionais de Robert Alexy e a Teoria dos Fundamentos Ontológicos para Modelos Conceituais Estruturais de Giancarlo Guizzardi. O resultado dessa investigação é um artefato denominado UFO-L e seu catálogo de padrões de modelagem, aplicado em análises ontológicas, na modelagem de domínios jurídicos e na construção de linguagens visuais de domínio jurídico