Jolanta Cybulka

Dynamics of legal provisions and its representation

Legal provisions are considered as interrelated fragments of a text with some structural relations which hold between them. Some provisions are treated as meta-provisions, in case they are used to enact, repeal or amend the substantial provisions. The meaning of a meta-provision is described by meta-norms. Every meta-norm is conditioned by a certain event, and it describes the action which should be executed in order to obtain the current properties of the provision, such as its current text content or the current structural relations holding between the provisions. The presented model of the legal provisions dynamics is based on the event calculus, which is used to represent how the provision properties change in time. The model can be easily implemented in Prolog.

Applying the c.DnS Design Pattern to Obtain an Ontology for Investigation Management System

The intelligence of a system aimed at supporting the teamwork of investigators against economy crimes is based on the relevant knowledge base. Such a base implements some view on the state of affairs and should be carefully modeled. We show how it can be done with the help of the constructive descriptions and situations (c.DnS) design pattern, which enables to construct an ontology (a conceptual model) in the top-down manner. The modeled state of affairs is constituted by both the domain and the task-based components.

Towards ontology of fraudulent disbursement

The task to ontologically model the knowledge concerning the selected class of economic crimes is considered; particularly we focus on fraudulent disbursement. The ontology has a layered structure with the foundational ontology (constructive descriptions and situations) on the structures top and the application ontology at the structures bottom. The application level entities were manually separated from the motivating crime scenarios, having a domain- and a task-based parts. Domain-based ontology contains descriptions of attributes and relations of the domain while the task-based part, designed to support the knowledge extraction from databases, is implemented via rules that are used to extract data about documents and their attributes, transactions, engaged people actions and their legal qualifications.

Reasoning about XML schema mappings in the presence of key constraints and value dependencies

Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data schemas. Based on these specifications, data structured under a source schema can be transformed into data structured under a target schema. During the transformation some structural constraints, both context-free (the structure) and contextual (e.g. keys and value dependencies) should be taken into account. In this work, we present a new formalism for the schema mapping specification. We propose a new class of tree-pattern formulas in order to extend semantics of XML schema mappings by specification of key constraints and value dependencies. We discuss foundations of the method and propose a key-preserving transformation algorithm.

Events Extractor for Polish Based on Semantics-Driven Extraction Templates

The paper presents a certain paradigm of extracting events from Polish free texts. We call it semantics-driven because the extraction templates are generated from the specification of a domain knowledge that is expressed in the form of a well-founded ontology. The considered method is equipped with the supporting tool that has two components: the first one is domain-dependent and serves to generate extraction templates on the basis of an ontology. The second part is linguistic and domain-independent and may be used whenever templates are supplied, not necessarily via the generator. We checked the quality performance of our generator on a basis of a case study.