Sandorio, prieštaraujančio imperatyvioms įstatymo normoms, negaliojimas įtvirtinamas tiek Lietuvos, tiek užsienio valstybių nacionalinėje teisėje. Šis negaliojimo pagrindas valstybių nacionaliniuose teisės aktuose, o taip pat ir Europos sutarčių teisėje siejamas su itin svarbių teisės normų pažeidimu, kurių tikslas apsaugoti visos visuomenės mastu reikšmingas vertybes. Sandorio, prieštaraujančio imperatyvioms įstatymo normoms, negaliojimo pagrindas Lietuvos nacionalinėje teisėje įtvirtinamas CK 1.80 straipsnio 1 dalyje. Tai viena iš sutarties laisvės išimčių, nustatytų, siekiant užtikrinti teisėtumą civiliniuose santykiuose, apginti asmens teises ir teisėtus interesus. Sandorio negaliojimas minėtu pagrindu dažniausiai konstatuojamas, esant suinteresuoto asmens prašymui. Be teisės, suteikiamos suinteresuotiems asmenims, teisė ex officio konstatuoti sandorio negaliojimą įtvirtinama teismui, tačiau svarbu, tačiau turi būti nustatyta šio pagrindo taikymui būtina aplinkybių visuma: aplinkybė, kad teisės norma yra imperatyvi, kad ši teisės norma yra pažeista ir, kad pažeidimas lemia sandorio negaliojimą. Europos sutarčių teisėje taip pat atsižvelgiama į pažeidimo pasekmes, sandorio šalių tyčią, pažeidimo rimtumą ir kitas reikšmingas aplinkybes. Teismas, nustatęs šią aplinkybių visumą, t.y., kad sandoris prieštarauja imperatyvioms įstatymo normoms, gali ji pripažinti negaliojančiu ab initio, arba ex nunc, jeigu pagal bylos aplinkybes ab initio sandorio pripažinti negalima. Teismo... [toliau žr. visą tekstą] / Invalidity of transactions contrary to mandatory rules is recognized in European Contract Law, also in national legal systems. Ground of invalidity of the contract contrary to the imperative rules is introduced at Civil code of the Republic of Lithuania paragraph 1.80. This is one of exceptions of contracts freedom set out in order to ensure the legitimacy of civil relations, to protect individual rights and legitimate interests. The mostly transactions contrary mandatory rules are invalidated as a consequence of being concerned person request. In addition despite of the rights granted to persons, the right to invalidate transaction ex officio is provided to court at paragraph 1.78. The using of the right ex-officio invalidate the transaction is based on the obvious invalidity of the transaction. Therefore, the court decision by its own initiative to invalidated contact contrary to the imperative norms can be made only when all the circumstances by which is based the invalidity of the transaction are investigated and determined. When the court finds existing all the circumstances that the transaction infringes the mandatory rules of the law, it may be declared that transaction is void ab initio or ex nunc. Application of court right ex officio invalidate transaction is especially needed when the transaction violated mandatory rules ensuring the needs of society and protecting the public interest. A lot of such rules regulate state-owned land purchase agreements. Infringement... [to full text]

Typescript translation of Synopse des deux regles de Libermann. Translated by Fr. Walter van de Putte

The work is based on the research of business rules classification and specification methods. The basics of business rules approach are discussed. The most common business rules classification and modeling methods are analyzed. Business rules modeling techniques and tools for supporting them in the information systems are presented. Basing on the analysis results business rules classification method is proposed. Templates for every business rule type are presented. Business rules structuring process is shortly described. Business rules repository architecture, which is based on the proposed classification method, is presented. Proposed repository can store all types of business rules of defined classification method. Rules in the database are stored linked with events which are grouped by business functions. Such rules storing makes repository structure more flexible and more adaptive in information systems. Repository can function as an independent database for storing business rules and can be fully integrated in to the rule based information system. Rule specification tool for business rules registering and viewing was created. This tool has a simple user interface which allows register business rules and provides first steps in formalizing business statements. Finally conclusions are presented.

Ontology integration is a process of matching and merging two ontologies for reasons such as for generating a new ontology, thus creating digital services and products. Current techniques for ontology integration, used for information and knowledge integration, are not powerful enough to handle the semantic and pragmatic heterogeneities. Because of the heterogeneities, the ontology matching and integration have shown to be a complex problem, especially when the intention is to make the process automatic. This thesis addresses the problem of integrating heterogeneous ontologies, first, by exploring the context of ontology integration, secondly, by building a context knowledge base, and thirdly, by applying the context knowledge base. More specifically, the thesis contributes a context knowledge base method for ontology integration, CKB-OI method, which contains: 1) A method of building a context knowledge base by extracting context and contextual information from ontologies in an ontology repository to improve ontology integration. 2) A method of refining the result of ontology integration with the help of the context knowledge base and expanding the context rules in the context knowledge base. In the first method, the context of the ontology integration is identified by examining the content and metadata of the integrated ontologies. The context of an ontology integration contains the information describing the integration, such as the domain of ontology, the purpose of ontology, and the ontology elements involved. Context criteria, such as the metadata of ontologies and the element of ontologies in the repository, are used to model the context. The contextual information is extracted and integrated from ontologies in an ontology repository, using an ontology integration process with non-violation check. With the context and the contextual information, a context knowledge base is built. Since this is built by reusing ontologies to provide extra information for new ontology integration in the same context, it is quite possible that the context knowledge base will improve the earlier ontology integration result. A method for identifying the domain of an ontology is also proposed to help in building and using the context knowledge base. Since the method considers the semantic and pragmatic heterogeneities of ontologies, and uses a light-weight ontology representing a domain, this work increases the semantic value of the context knowledge base. In the second method, the context knowledge base is applied to the result of an ontology integration process with a non-violation check, which in turn results in an ontology intersection. The contextual information is searched for and extracted from the context knowledge base and then applied on the ontology intersection to improve the integration result. The ontology non-violation check integration process is adjusted and adopted in the method. Moreover, the context knowledge base is expanded with perspective rules, with which the different views of ontologies in a context are preserved, and reused in future ontology integration. The results of the CKB-OI methods are: 1) a context knowledge base with rules that consider semantic and pragmatic knowledge for ontology integration; 2) contextual ontology intersection (COI) with the refining result compared to the ontology intersection (OI), and 3) an extended context knowledge base with the different views of both ontologies. For evaluation, ontologies from the Ontology Alignment Evaluation Initiative (OAEI) and from ontology search engines Swoogle and Watson have been used for testing the proposed methods. The results show that the context knowledge base can be used for improving heterogeneous ontologies integration, hence, the context knowledge base provides semantic and pragmatic knowledge to integrate ontologies. Also, the results demonstrate that ontology integration, refined with the context knowledge base, contains more knowledge without contradicting the ontologies involved in our examples. / Ontologi-integration är en process för att matcha och sammanfoga två ontologier för att t.ex. generera en ny ontologi, och därmed skapa digitala tjänster och produkter. Aktuella tekniker för ontologi- integration, som används för information och kunskapsintegration, är inte tillräckligt kraftfulla för att hantera semantiska och pragmatiska heterogeniteter. På grund av heterogeniteter, har ontologi- matchning och -integration visat sig utgöra ett komplext problem, särskilt när avsikten är att göra processen automatisk. Denna avhandling behandlar problemet med att integrera heterogena ontologier; för det första genom att undersöka kontexten för ontologi-integrationen, för det andra genom att bygga en kunskapsbas för kontexten, och för det tredje genom att tillämpa denna kunskapsbas. Mer specifikt bidrar avhandlingen med CKB-OI-metoden för ontologi-integration, vilken innehåller: 1)      En metod för att bygga en kontextkunskapsbas, genom att extrahera sammanhang och kontextuell information från ontologier i ett ontologi-förvar för att förbättra ontologi-integrationen. 2)      En metod för att förfina resultatet av ontologi-integration med hjälp av kontextkunskapsbasen och för att utöka kontextreglerna i kunskapsbasen. I metod nr. 1 identifieras kontexten genom att undersöka innehållet och metadata för de ontologier, som ska integrereras. Kontexten innehåller information som beskriver integrationen, till exempel domän och syfte för varje ontologi, samt element som ingår i respektive ontologi. Kontexten  modelleras med kriterier, såsom metadata och element för ontologierna i förvaret. Den kontextuella informationen extraheras och integreras med användning av en integrationsprocess med icke-överträdelsekontroll. Kontextkunskapsbasen byggs utav kontext samt kontextuell information. Eftersom kunskapsbasen är byggd av återanvända ontologier för att ge ytterligare information till ontologi-integrationen inom samma kontext, så är det mycket möjligt att kontextkunskapsbasen kommer att förbättra det tidigare integrationsresultatet. En metod för att identifiera domänen för en ontologi föreslås också, för att hjälpa till att bygga och använda kontextkunskapsbasen. Eftersom metoden tar hänsyn till de semantiska och pragmatiska heterogeniteterna hos ontologier, och använder en enkel ontologi för att representera en domän, så ökar detta arbete det semantiska värdet av kontextkunskapsbasen. I metod nr. 2 tillämpas kontextkunskapsbasen på resultatet av en ontologi-integrationsprocess med icke-överträdelsekontroll, vilket i sin tur resulterar i ett ontologisnitt. Den kontextuella informationen extraheras från kontextkunskapsbasen och appliceras sedan på ontologisnittet för att förbättra integrationsresultatet. Icke-överträdelsekontrollen i integrationsprocessen justeras och används på nytt. Dessutom utökas kontextkunskapsbasen med perspektivregler, med vilka de olika vyerna av ontologier i en gemensam kontext bevaras och återanvänds i framtida ontologi-integrationer. Resultaten av CKB-OI metoden är: 1) en kontextkunskapsbas med regler som avser semantiska och pragmatiska kunskaper om en ontologi-integration; 2) ett kontextuellt ontologisnitt (COI) med ett förfinat resultat jämfört med ontologisnittet (OI) och 3) en utökad kontextkunskapsbas med olika vyer av båda ontologier. För utvärderingen har ontologier från Ontology Alignment Evaluation Initiative (OAEI) samt ontologisökmotorerna Swoogle och Watson använts för att testa de föreslagna metoderna. Resultaten visar att kontextkunskapsbasen kan användas för förbättring av heterogena ontologi-integrationer. Följaktligen tillhandahåller kontextkunskapsbasen semantiska och pragmatiska kunskaper för att integrera ontologier. Dessutom visar resultaten att ontologi-integrationer, utökade med kontextkunskapsbaser, innehåller mer kunskap, utan att motsäga de ontologier som ingår i våra exempel. / <p>QC 20141017</p>

The reason behind this essay has been to study if previous research is relevant for Jehovah’s Witnesses in Sweden and see if secularization has affected the organization or not. The empirical material is made from two qualitative group- interviews and open observations during two meetings in the Kingdom Hall. These studies were performed in Oskarshamn and Mönsterås during the month of February. The reason that these studies have been limited to Oskarshamn and Mönsterås is mainly because they were the only ones willing to do an interview.  According to previous research by James A. Beckfors and Andrew Holden, it has been shown that the Jehovah’s Witnesses hasn’t been affected by secularization, neither by new interpretations nor from the decrease of predicators. In my study, the interviewees have experienced secularization over the last 10-15 years while they are out preaching the religion. The organization of Jehovah’s Witnesses in Sweden has been setting up rules for the members to follow, such as not live together before marriage or not get tattoos. This is rules set up to keep a distance between the members and the society and therefore the organization avoid the secularization.

Typescript translation of Synopse des deux regles de Libermann. Translated by Fr. Walter van de Putte

The Canadian C-Spine (CS) and CT-Head (CT) Rules are tools aimed at improving the accuracy and efficiency of radiography use in emergency departments. This study evaluated whether the Theory of Planned Behaviour (TPB) could explain the inconsistent results from implementation studies of these two rules at 12 Canadian hospitals, where the same intervention resulted in a significant reduction in CS radiography but not CT radiography. It was demonstrated that the TPB model’s proposed relationships between constructs and behaviour could explain the ordering of CS but not CT radiography. However, after examining longitudinal changes of the TPB constructs, it was clear that these changes could not explain the changes in CS radiography ordering. Overall, TPB is unlikely to suggest important ways by which to improve radiography use, for CT because its constructs are not related to radiography ordering, and for CS because of high baseline levels of intention to clinically clear.

Resultat från tidigare studier inom sexuella trakasserier hos sjuksköterskor och undersköterskor visar på emotionella konsekvenser som påverkar individen som blir utsatt och även organisationen denne verkar inom. Denna C-uppsats är en av de första kvalitativa studier, som inriktat sig på offrets känslomässiga upplevelser från och under trakasserier, som genomförts i Sverige. Denna studie utökar den tidigare förståelsen av vilka faktorer som påverkar upplevelsen i situationen och hur personerna hanterar känslor efter att ha blivit trakasserad. Syftet med denna studie var att undersöka levda erfarenheter, känslor och emotioner av sexuella trakasserier hos personer i lågstatusyrken inom vården i Sverige. Följande genomfördes intervjuer med sex personer vilka arbetade som undersköterska eller vårdbiträde i en kommun i norra Sverige. Teorin grundas i huvudsak från Arlie Russel Hochschild och Allan G Johnson. Analysen visade att samtliga deltagare varit utsatta för sexuella trakasserier och detta har medfört känslor av chock, irritation, rädsla och pinsamhet. Känslorna från dessa situationer har hanterats genom att personerna byggt upp mentala skyddsbarriärer genom att vara medvetet otrevliga mot personer som har en tendens att vara trakasserande,samt att känslomässigt avtrubba sig och distansera sig från sitt arbete. I denna studie kommer sexuella trakasserier likställas med begreppet ovälkomna närmanden av sexuell natur och i avsaknaden av ett användbart samlingsbegrepp för vårdbiträden och undersköterskor kommer dessa benämnas som skötare och sköterskor.

The goal of this study is to research how the digitalization of a table top gameaffects the game and its gameplay. We are researching this by first havingparticipants play chess, and online chess, and the interviewing them about theirexperiences with the both games. The main effects of digitalization are inputcontrols. When digitalizing a table top game, there is one thing that the designercannot control at all, which is, the necessity of input controls. However, thedesign for these controls is up to the designer. When digitalizing a game, therules ted to get enforced by the programming. Mistakes that could be committedin the table top version are no longer possible due to the rule enforcementcaused by the programming. It is also possible to use the digital realm to yourbenefit by adding features such as highlighting in chess, which is only possible inthe digital version. Immersion is also affected by the digitalization; the possiblelack of a visible and present opponent can alter how the players experience thegameplay. / Målet med den här studien är att forska kring hur digitaliseringen av ettbrädspel påverkar spelet och dess spelande. Vi utför vår forskning genom attförst låta deltagare spela schack, och onlineschack, för att sedan intervjua demangående deras upplevelser med de båda spelen. De huvudsakliga effekterna avdigitaliseringen är inmatningskontrollerna. När man digitaliserar ett brädspel såfinns det en sak som designers inte alls kan kontrollera. Detta är nödvändighetenav inmatningskontroller. Designen för dessa kontroller däremot, kan designerspåverka. När man digitaliserar ett spel så brukar ofta reglerna bli förstärkta avprogrammeringen. Misstag som spelare kunde begå i brädspelsversionen, kaninte längre begås tack vare regelförstärkningen som programmeringen bidrartill. Det är även möjligt att använda den digitala världen till ens fördel genom attlägga till vissa saker, så som markeringen i onlineschack, vilket bara är möjligt iden digitala versionen. Digitaliseringen påverkar även inlevelsen som spelarnaupplever. Den möjliga saknaden av en synlig och närvarande motspelare kanändra hur spelarna upplever spelandet.

The goal of this thesis is to find provably correct methods for detecting conflicts between XACML rules. A conflict occurs when one rule permits a request and another denies that same request. As XACML deals with access control, we can help prevent unwanted access by verifying that it contains rules that do not have unintended conflicts. In order to help with this, we propose an algorithm to find these conflicts then use the Coq Proof Assistant to prove correctness of this algorithm. The algorithm takes a rule set specified in XACML and returns a list of pairs of indices denoting which rules conflict. It is then up to the policy writer to see if the conflicts are intended, or if they need modifying. Since we will prove that this algorithm is sound and complete, we can be assured that the list we obtain is complete and only contains true conflicts.