The document discusses LegalRuleML, a rule interchange language proposed by OASIS to model legal rules and regulations. It extends RuleML with features for the legal domain like modeling normative effects and resolving conflicts. The document proposes mapping LegalRuleML constructs like statements for constitutive rules, prescriptive rules, etc. to modal defeasible logic (MDL) which can handle contrary-to-duty obligations. This mapping allows reasoning with LegalRuleML rules using the proof theory of MDL.
Financil Contracts (FCs) specify rights and obligations that parties are legally
bind.Hence effective management of FCs is vital.Domain Specific Language (DSL)
approach provides a method of defining rights and obligations of contracts using fixed
and precisely defined set of combinators and observables.As a result, any contract can
be composed using fixed set of symbols, the contract management becomes efficient and effective.The Haskell Contract Combinator Library (HCCL) is the driving forcebehind the DSL approach in finance sector
What is the difference between the way Ruby and Erlang processes are scheduled? I explore the differences in latency and where this can lead to issues in industries like payments.
Σε αυτό το LRworld μπορείτε να απολαύσετε τις υπέροχες προσφορές του καλοκαιριού από την LR Health & Beauty.
Eάν θέλετε να μάθετε περισσότερες πληροφορίες ή πως θα μπορείτε να προμηθευτείτε κάποια από τα προϊόντα μας μπορούμε να σας εξηγήσουμε να τα πάρετε με τον πιο οικονομικό τρόπο.
Πληροφορίες ελάτε σε επαφή με τον Στέφανο:
Email: s.andreou92@gmail.com
Facebook: Stefanos Alas
Linkedin: Stefanos Andreou
QR Translator provides users an interface to be able to easily handle translated texts and speech data in a single ID, as a qr code, being linked to designated locations. Our business model is flexibly set up in order to collaborate with both machine and human translation providers, and to adjust to any kind of technological development we can expect in the near future.
Examining Factors of Customer Experience: An Empirical Study of Flipkart.comscmsnoida5
This document summarizes a research paper that examines factors influencing customer experience on Flipkart.com, an Indian e-commerce retailer. The paper reviews literature on customer experience, identifies five key areas (physical environment, service delivery, employees, back office support, other customers), and surveys 163 Flipkart users. The study finds these five factors significantly determine customer satisfaction, loyalty, and word-of-mouth behavior after purchases. The paper aims to identify areas Flipkart is meeting expectations and needs improvement to enhance the customer experience.
RuleML 2015 Constraint Handling Rules - What Else?RuleML
Constraint Handling Rules (CHR) is both a versatile theoretical formalism based on logic and an efficient practical high-level programming language based on rules and constraints.
Procedural knowledge is often expressed by if-then rules, events and actions are related by reaction rules, change is expressed by update rules. Algorithms are often specified using inference rules, rewrite rules, transition rules, sequents, proof rules, or logical axioms. All these kinds of rules can be directly written in CHR. The clean logical semantics of CHR facilitates non-trivial program analysis and transformation. About a dozen implementations of CHR exist in Prolog, Haskell, Java, Javascript and C. Some of them allow to apply millions of rules per second. CHR is also available as WebCHR for online experimentation with more than 40 example programs. More than 200 academic and industrial projects worldwide use CHR, and about 2000 research papers reference it.
Financil Contracts (FCs) specify rights and obligations that parties are legally
bind.Hence effective management of FCs is vital.Domain Specific Language (DSL)
approach provides a method of defining rights and obligations of contracts using fixed
and precisely defined set of combinators and observables.As a result, any contract can
be composed using fixed set of symbols, the contract management becomes efficient and effective.The Haskell Contract Combinator Library (HCCL) is the driving forcebehind the DSL approach in finance sector
What is the difference between the way Ruby and Erlang processes are scheduled? I explore the differences in latency and where this can lead to issues in industries like payments.
Σε αυτό το LRworld μπορείτε να απολαύσετε τις υπέροχες προσφορές του καλοκαιριού από την LR Health & Beauty.
Eάν θέλετε να μάθετε περισσότερες πληροφορίες ή πως θα μπορείτε να προμηθευτείτε κάποια από τα προϊόντα μας μπορούμε να σας εξηγήσουμε να τα πάρετε με τον πιο οικονομικό τρόπο.
Πληροφορίες ελάτε σε επαφή με τον Στέφανο:
Email: s.andreou92@gmail.com
Facebook: Stefanos Alas
Linkedin: Stefanos Andreou
QR Translator provides users an interface to be able to easily handle translated texts and speech data in a single ID, as a qr code, being linked to designated locations. Our business model is flexibly set up in order to collaborate with both machine and human translation providers, and to adjust to any kind of technological development we can expect in the near future.
Examining Factors of Customer Experience: An Empirical Study of Flipkart.comscmsnoida5
This document summarizes a research paper that examines factors influencing customer experience on Flipkart.com, an Indian e-commerce retailer. The paper reviews literature on customer experience, identifies five key areas (physical environment, service delivery, employees, back office support, other customers), and surveys 163 Flipkart users. The study finds these five factors significantly determine customer satisfaction, loyalty, and word-of-mouth behavior after purchases. The paper aims to identify areas Flipkart is meeting expectations and needs improvement to enhance the customer experience.
RuleML 2015 Constraint Handling Rules - What Else?RuleML
Constraint Handling Rules (CHR) is both a versatile theoretical formalism based on logic and an efficient practical high-level programming language based on rules and constraints.
Procedural knowledge is often expressed by if-then rules, events and actions are related by reaction rules, change is expressed by update rules. Algorithms are often specified using inference rules, rewrite rules, transition rules, sequents, proof rules, or logical axioms. All these kinds of rules can be directly written in CHR. The clean logical semantics of CHR facilitates non-trivial program analysis and transformation. About a dozen implementations of CHR exist in Prolog, Haskell, Java, Javascript and C. Some of them allow to apply millions of rules per second. CHR is also available as WebCHR for online experimentation with more than 40 example programs. More than 200 academic and industrial projects worldwide use CHR, and about 2000 research papers reference it.
Rule Responder is a RuleML-based semantic web service that can be used to implement semi-automated decision support. It uses a middleware architecture with personal agents, organizational agents, rule engines like Prova and OO jDREW, and an enterprise service bus like Mule. A sample use case is a question answering system for a symposium organized by virtual agents.
Four ways to represent computer executable rulesJeff Long
July 27, 2008: "Four Ways to Represent Computer-Executable Rules". Presented at InterSymp 2008 conference sponsored by the International Institute for Advanced Studies
in Systems Research and Cybernetics (IIAS). Paper published in conference proceedings.
Semantic Complex Event Processing with Reaction RuleML 1.0 and Prova 3.0Adrian Paschke
Seminar presented by Visiting Professor Adrian Paschke from Freie Universitaet Berlin as part of the BPM EduNet (http://bpmedu.net) staff exchange at University of Toronto, McGill University, Ryerson University, University of Ontario Institute of Technology
This document discusses moving XBRL usage upstream to the point of first recording. It proposes using connectivity perspectives and transferable FpML mechanisms. Industry packs could position XBRL tagging close to real-time by tagging transaction streams in franchising, dealerships, and royalty networks at the point of sale or entry level.
This document summarizes a research paper on scaling laws for neural language models. Some key findings of the paper include:
- Language model performance depends strongly on model scale and weakly on model shape. With enough compute and data, performance scales as a power law of parameters, compute, and data.
- Overfitting is universal, with penalties depending on the ratio of parameters to data.
- Large models have higher sample efficiency and can reach the same performance levels with less optimization steps and data points.
- The paper motivated subsequent work by OpenAI on applying scaling laws to other domains like computer vision and developing increasingly large language models like GPT-3.
The RuleML Perspective on Reaction Rule StandardsAdrian Paschke
Presentation about Reaction RuleML at the Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP) Session at the Ontolog Forum, 9 January 2014
RuleML2015: Explanation of proofs of regulatory (non-)complianceusing semanti...RuleML
With recent regulatory advances, modern enterprises have to not only comply with regulations but have to be prepared to provide explanation of proof of (non-)compliance. On top of compliance checking, this necessitates modeling concepts from regulations and enterprise operations so that stakeholder-specific and close to natural language explanations could be generated. We take a step in this direction by using Semantics of Business Vocabulary and Rules to model and map vocabularies of regulations and operations of enterprise. Using these vocabularies and leveraging proof generation abilities of an existing compliance engine, we show how such explanations can be created. Basic natural language explanations that we generate can be easily enriched by adding requisite domain knowledge to the vocabularies.
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic VocabulariesDr.-Ing. Sagar Sunkle
With recent regulatory advances, modern enterprises have to not only comply with regulations but have to be prepared to provide explanation of proof of (non-)compliance. On top of compliance checking, this necessitates modeling concepts from regulations and enterprise operations so that stakeholder-specific and close to natural language explanations could be generated. We take a step in this direction by using Semantics of Business Vocabulary and Rules to model and map vocabularies of regulations and operations of enterprise. Using these vocabularies and leveraging proof generation abilities of an existing compliance checking technique, we show how such explanations can be created. Basic natural language explanations that we generate can be easily enriched by adding requisite domain knowledge to the vocabularies.
IBM Paris Bluemix Meetup #12 - Ecole 42 - 9 décembre 2015IBM France Lab
The document discusses the history and current state of rule-based artificial intelligence and expert systems. It describes how early expert systems used rule-based inference engines and knowledge bases to emulate human decision-making. It then discusses how rule-based systems evolved to power operational decision management. The document concludes by outlining IBM's Business Rules service on Bluemix, which allows business users and developers to author and deploy rule-based decision logic independently of applications.
Rulelog is in process of industry standardization via RuleML and W3C:
RIF-Rulelog specification, version of of May 24, 2013, Michael Kifer, ed. RIF-Rulelog is a powerful dialect of W3C Rule Interchange Format (RIF) that is in draft as a submission from RuleML to W3C.
Several industry standards in the areas are based heavily on our team’s contributions to the authoring/editing of the specifications and conducting the underlying research and earlier-phase standards design. These include most notably the two most important industry standards on rules knowledge:
W3C Rule Interchange Format (RIF), which is primarily based on the RuleML standards design (semantic web rules)
W3C OWL 2 RL Profile (rule-based web ontologies)
The team has also contributed to the development of W3C SPARQL and ISO Common Logic, and been strongly involved in other related standardization efforts at OMG and Oasis.
This document proposes using linear function approximation as a computationally efficient method for solving reinforcement learning problems compared to neural network approaches like TRPO and PPO. It summarizes TRPO and PPO, which use neural networks to approximate value functions. The paper then presents a natural actor-critic algorithm that uses linear function approximation instead of neural networks for value approximation. The author evaluates this approach on cart pole and acrobot benchmarks and finds it trains faster than neural network methods while achieving equivalent or better results, especially on sparse reward problems. This allows the paper to recommend using natural policy gradient methods with linear function approximation over TRPO and PPO for traditional and sparse reward low-dimensional reinforcement learning challenges.
This document discusses rule engines and the Drools rule engine. It provides an overview of rule engine concepts like facts, rules, and actions. It explains the different types of rules and why rule engines are useful. It then focuses on specifics of Drools, including how it represents facts as objects, supports different rule patterns and operators, and handles performance and conflict resolution. It also provides an example of how rules could be used for a data mining use case.
An integrating framework is needed that supports automated data mapping and sharing of risk and threat information. Semantic reference models provide unambiguous shared meaning that can reduce time, costs and risks when realized as enterprise capabilities. Conceptual models capture business semantics in an understandable way and can leverage semantics for efficiency through automation. Multiple technologies like graph databases, rules engines and APIs can be utilized based on a conceptual model to integrate information from various sources.
This document summarizes a research paper that presents Anchor, a new architecture for resource management in cloud computing. Anchor decouples resource management policies from mechanisms. It uses a stable matching framework to match virtual machines (VMs) to physical servers based on preferences expressed by clients and operators. The key contribution is a new many-to-one stable matching theory that handles heterogeneous VM resource needs. Theoretical analysis shows the matching algorithm converges to an optimal solution. Experimental results demonstrate Anchor can realize diverse policy objectives with good performance.
This document discusses Rule Responder, which uses RuleML as a rule interchange format to enable distributed collaboration on the Pragmatic Web using intelligent agents. RuleML allows rules to be modeled, marked up, and exchanged in a common format. Rule Responder uses Reaction RuleML to represent reaction rules and complex event processing. Its architecture separates computational models from platform-specific implementations using a platform-independent rule interchange format.
Ruleby is a Ruby rule engine that allows defining IF-THEN production rules to execute against facts, using an implementation of the efficient Rete algorithm to match facts to rules; rules are defined using a domain specific language and stored in rule books, and an inference engine executes the rules by propagating asserted facts through a network of nodes built from the rule conditions.
XBRL reporting is becoming a norm rather than an exception for a lot of companies. This document introduces XBRL, how it is enabled and works in 11i and R12 and how it can be viewed. This standardized powerful reporting option is a must-know for all users supporting financial users.
Multi-data-types Interval Decision Diagrams for XACML Evaluation EngineCanh Ngo
The document describes research on improving the performance of XACML policy evaluation engines using multi-data-type interval decision diagrams (MIDDs). The researchers propose transforming XACML policies into MIDD representations called X-MIDDs to enable more efficient evaluation. X-MIDDs decompose attribute logic expressions and combine decision paths. Policies are then evaluated by traversing the X-MIDD graph and applying combining algorithms at nodes. Experiments show the approach handles complex XACML logic and achieves high performance evaluation.
GRA, NIEM and XACML Security Profiles July 2012Bizagi Inc
Details how to use policy rule templates to manage content access rules. Avoiding the pitfalls of the ABAC approach. Providing a method for policy analysts to quickly markup content without requiring deep programming knowledge.
Agent Reasoning For Norm Compliance A Semantic ApproachAmy Cernava
This document proposes a semantic approach for agent reasoning about norm compliance without pre-programming specific norm-compliant behavior. It defines an abstract agent semantics based on states, actions, and a decision mechanism. Norms are specified using linear temporal logic (LTL). An execution mechanism is defined on top of the abstract semantics using techniques from executable temporal logic. This mechanism allows agents to adapt their behavior at runtime to comply with norms, by preventing forbidden actions and triggering obliged actions according to the LTL specifications. The approach is formally analyzed to prove properties of norm compliance.
Rule Responder is a RuleML-based semantic web service that can be used to implement semi-automated decision support. It uses a middleware architecture with personal agents, organizational agents, rule engines like Prova and OO jDREW, and an enterprise service bus like Mule. A sample use case is a question answering system for a symposium organized by virtual agents.
Four ways to represent computer executable rulesJeff Long
July 27, 2008: "Four Ways to Represent Computer-Executable Rules". Presented at InterSymp 2008 conference sponsored by the International Institute for Advanced Studies
in Systems Research and Cybernetics (IIAS). Paper published in conference proceedings.
Semantic Complex Event Processing with Reaction RuleML 1.0 and Prova 3.0Adrian Paschke
Seminar presented by Visiting Professor Adrian Paschke from Freie Universitaet Berlin as part of the BPM EduNet (http://bpmedu.net) staff exchange at University of Toronto, McGill University, Ryerson University, University of Ontario Institute of Technology
This document discusses moving XBRL usage upstream to the point of first recording. It proposes using connectivity perspectives and transferable FpML mechanisms. Industry packs could position XBRL tagging close to real-time by tagging transaction streams in franchising, dealerships, and royalty networks at the point of sale or entry level.
This document summarizes a research paper on scaling laws for neural language models. Some key findings of the paper include:
- Language model performance depends strongly on model scale and weakly on model shape. With enough compute and data, performance scales as a power law of parameters, compute, and data.
- Overfitting is universal, with penalties depending on the ratio of parameters to data.
- Large models have higher sample efficiency and can reach the same performance levels with less optimization steps and data points.
- The paper motivated subsequent work by OpenAI on applying scaling laws to other domains like computer vision and developing increasingly large language models like GPT-3.
The RuleML Perspective on Reaction Rule StandardsAdrian Paschke
Presentation about Reaction RuleML at the Ontology, Rules, and Logic Programming for Reasoning and Applications (RulesReasoningLP) Session at the Ontolog Forum, 9 January 2014
RuleML2015: Explanation of proofs of regulatory (non-)complianceusing semanti...RuleML
With recent regulatory advances, modern enterprises have to not only comply with regulations but have to be prepared to provide explanation of proof of (non-)compliance. On top of compliance checking, this necessitates modeling concepts from regulations and enterprise operations so that stakeholder-specific and close to natural language explanations could be generated. We take a step in this direction by using Semantics of Business Vocabulary and Rules to model and map vocabularies of regulations and operations of enterprise. Using these vocabularies and leveraging proof generation abilities of an existing compliance engine, we show how such explanations can be created. Basic natural language explanations that we generate can be easily enriched by adding requisite domain knowledge to the vocabularies.
Explanation of Proofs of Regulatory (Non-)Compliance Using Semantic VocabulariesDr.-Ing. Sagar Sunkle
With recent regulatory advances, modern enterprises have to not only comply with regulations but have to be prepared to provide explanation of proof of (non-)compliance. On top of compliance checking, this necessitates modeling concepts from regulations and enterprise operations so that stakeholder-specific and close to natural language explanations could be generated. We take a step in this direction by using Semantics of Business Vocabulary and Rules to model and map vocabularies of regulations and operations of enterprise. Using these vocabularies and leveraging proof generation abilities of an existing compliance checking technique, we show how such explanations can be created. Basic natural language explanations that we generate can be easily enriched by adding requisite domain knowledge to the vocabularies.
IBM Paris Bluemix Meetup #12 - Ecole 42 - 9 décembre 2015IBM France Lab
The document discusses the history and current state of rule-based artificial intelligence and expert systems. It describes how early expert systems used rule-based inference engines and knowledge bases to emulate human decision-making. It then discusses how rule-based systems evolved to power operational decision management. The document concludes by outlining IBM's Business Rules service on Bluemix, which allows business users and developers to author and deploy rule-based decision logic independently of applications.
Rulelog is in process of industry standardization via RuleML and W3C:
RIF-Rulelog specification, version of of May 24, 2013, Michael Kifer, ed. RIF-Rulelog is a powerful dialect of W3C Rule Interchange Format (RIF) that is in draft as a submission from RuleML to W3C.
Several industry standards in the areas are based heavily on our team’s contributions to the authoring/editing of the specifications and conducting the underlying research and earlier-phase standards design. These include most notably the two most important industry standards on rules knowledge:
W3C Rule Interchange Format (RIF), which is primarily based on the RuleML standards design (semantic web rules)
W3C OWL 2 RL Profile (rule-based web ontologies)
The team has also contributed to the development of W3C SPARQL and ISO Common Logic, and been strongly involved in other related standardization efforts at OMG and Oasis.
This document proposes using linear function approximation as a computationally efficient method for solving reinforcement learning problems compared to neural network approaches like TRPO and PPO. It summarizes TRPO and PPO, which use neural networks to approximate value functions. The paper then presents a natural actor-critic algorithm that uses linear function approximation instead of neural networks for value approximation. The author evaluates this approach on cart pole and acrobot benchmarks and finds it trains faster than neural network methods while achieving equivalent or better results, especially on sparse reward problems. This allows the paper to recommend using natural policy gradient methods with linear function approximation over TRPO and PPO for traditional and sparse reward low-dimensional reinforcement learning challenges.
This document discusses rule engines and the Drools rule engine. It provides an overview of rule engine concepts like facts, rules, and actions. It explains the different types of rules and why rule engines are useful. It then focuses on specifics of Drools, including how it represents facts as objects, supports different rule patterns and operators, and handles performance and conflict resolution. It also provides an example of how rules could be used for a data mining use case.
An integrating framework is needed that supports automated data mapping and sharing of risk and threat information. Semantic reference models provide unambiguous shared meaning that can reduce time, costs and risks when realized as enterprise capabilities. Conceptual models capture business semantics in an understandable way and can leverage semantics for efficiency through automation. Multiple technologies like graph databases, rules engines and APIs can be utilized based on a conceptual model to integrate information from various sources.
This document summarizes a research paper that presents Anchor, a new architecture for resource management in cloud computing. Anchor decouples resource management policies from mechanisms. It uses a stable matching framework to match virtual machines (VMs) to physical servers based on preferences expressed by clients and operators. The key contribution is a new many-to-one stable matching theory that handles heterogeneous VM resource needs. Theoretical analysis shows the matching algorithm converges to an optimal solution. Experimental results demonstrate Anchor can realize diverse policy objectives with good performance.
This document discusses Rule Responder, which uses RuleML as a rule interchange format to enable distributed collaboration on the Pragmatic Web using intelligent agents. RuleML allows rules to be modeled, marked up, and exchanged in a common format. Rule Responder uses Reaction RuleML to represent reaction rules and complex event processing. Its architecture separates computational models from platform-specific implementations using a platform-independent rule interchange format.
Ruleby is a Ruby rule engine that allows defining IF-THEN production rules to execute against facts, using an implementation of the efficient Rete algorithm to match facts to rules; rules are defined using a domain specific language and stored in rule books, and an inference engine executes the rules by propagating asserted facts through a network of nodes built from the rule conditions.
XBRL reporting is becoming a norm rather than an exception for a lot of companies. This document introduces XBRL, how it is enabled and works in 11i and R12 and how it can be viewed. This standardized powerful reporting option is a must-know for all users supporting financial users.
Multi-data-types Interval Decision Diagrams for XACML Evaluation EngineCanh Ngo
The document describes research on improving the performance of XACML policy evaluation engines using multi-data-type interval decision diagrams (MIDDs). The researchers propose transforming XACML policies into MIDD representations called X-MIDDs to enable more efficient evaluation. X-MIDDs decompose attribute logic expressions and combine decision paths. Policies are then evaluated by traversing the X-MIDD graph and applying combining algorithms at nodes. Experiments show the approach handles complex XACML logic and achieves high performance evaluation.
GRA, NIEM and XACML Security Profiles July 2012Bizagi Inc
Details how to use policy rule templates to manage content access rules. Avoiding the pitfalls of the ABAC approach. Providing a method for policy analysts to quickly markup content without requiring deep programming knowledge.
Agent Reasoning For Norm Compliance A Semantic ApproachAmy Cernava
This document proposes a semantic approach for agent reasoning about norm compliance without pre-programming specific norm-compliant behavior. It defines an abstract agent semantics based on states, actions, and a decision mechanism. Norms are specified using linear temporal logic (LTL). An execution mechanism is defined on top of the abstract semantics using techniques from executable temporal logic. This mechanism allows agents to adapt their behavior at runtime to comply with norms, by preventing forbidden actions and triggering obliged actions according to the LTL specifications. The approach is formally analyzed to prove properties of norm compliance.
Similar to Enabling Reasoning with LegalRuleML (20)
Orchestrating the Future: Navigating Today's Data Workflow Challenges with Ai...Kaxil Naik
Navigating today's data landscape isn't just about managing workflows; it's about strategically propelling your business forward. Apache Airflow has stood out as the benchmark in this arena, driving data orchestration forward since its early days. As we dive into the complexities of our current data-rich environment, where the sheer volume of information and its timely, accurate processing are crucial for AI and ML applications, the role of Airflow has never been more critical.
In my journey as the Senior Engineering Director and a pivotal member of Apache Airflow's Project Management Committee (PMC), I've witnessed Airflow transform data handling, making agility and insight the norm in an ever-evolving digital space. At Astronomer, our collaboration with leading AI & ML teams worldwide has not only tested but also proven Airflow's mettle in delivering data reliably and efficiently—data that now powers not just insights but core business functions.
This session is a deep dive into the essence of Airflow's success. We'll trace its evolution from a budding project to the backbone of data orchestration it is today, constantly adapting to meet the next wave of data challenges, including those brought on by Generative AI. It's this forward-thinking adaptability that keeps Airflow at the forefront of innovation, ready for whatever comes next.
The ever-growing demands of AI and ML applications have ushered in an era where sophisticated data management isn't a luxury—it's a necessity. Airflow's innate flexibility and scalability are what makes it indispensable in managing the intricate workflows of today, especially those involving Large Language Models (LLMs).
This talk isn't just a rundown of Airflow's features; it's about harnessing these capabilities to turn your data workflows into a strategic asset. Together, we'll explore how Airflow remains at the cutting edge of data orchestration, ensuring your organization is not just keeping pace but setting the pace in a data-driven future.
Session in https://budapestdata.hu/2024/04/kaxil-naik-astronomer-io/ | https://dataml24.sessionize.com/session/667627
Predictably Improve Your B2B Tech Company's Performance by Leveraging DataKiwi Creative
Harness the power of AI-backed reports, benchmarking and data analysis to predict trends and detect anomalies in your marketing efforts.
Peter Caputa, CEO at Databox, reveals how you can discover the strategies and tools to increase your growth rate (and margins!).
From metrics to track to data habits to pick up, enhance your reporting for powerful insights to improve your B2B tech company's marketing.
- - -
This is the webinar recording from the June 2024 HubSpot User Group (HUG) for B2B Technology USA.
Watch the video recording at https://youtu.be/5vjwGfPN9lw
Sign up for future HUG events at https://events.hubspot.com/b2b-technology-usa/
Build applications with generative AI on Google CloudMárton Kodok
We will explore Vertex AI - Model Garden powered experiences, we are going to learn more about the integration of these generative AI APIs. We are going to see in action what the Gemini family of generative models are for developers to build and deploy AI-driven applications. Vertex AI includes a suite of foundation models, these are referred to as the PaLM and Gemini family of generative ai models, and they come in different versions. We are going to cover how to use via API to: - execute prompts in text and chat - cover multimodal use cases with image prompts. - finetune and distill to improve knowledge domains - run function calls with foundation models to optimize them for specific tasks. At the end of the session, developers will understand how to innovate with generative AI and develop apps using the generative ai industry trends.
End-to-end pipeline agility - Berlin Buzzwords 2024Lars Albertsson
We describe how we achieve high change agility in data engineering by eliminating the fear of breaking downstream data pipelines through end-to-end pipeline testing, and by using schema metaprogramming to safely eliminate boilerplate involved in changes that affect whole pipelines.
A quick poll on agility in changing pipelines from end to end indicated a huge span in capabilities. For the question "How long time does it take for all downstream pipelines to be adapted to an upstream change," the median response was 6 months, but some respondents could do it in less than a day. When quantitative data engineering differences between the best and worst are measured, the span is often 100x-1000x, sometimes even more.
A long time ago, we suffered at Spotify from fear of changing pipelines due to not knowing what the impact might be downstream. We made plans for a technical solution to test pipelines end-to-end to mitigate that fear, but the effort failed for cultural reasons. We eventually solved this challenge, but in a different context. In this presentation we will describe how we test full pipelines effectively by manipulating workflow orchestration, which enables us to make changes in pipelines without fear of breaking downstream.
Making schema changes that affect many jobs also involves a lot of toil and boilerplate. Using schema-on-read mitigates some of it, but has drawbacks since it makes it more difficult to detect errors early. We will describe how we have rejected this tradeoff by applying schema metaprogramming, eliminating boilerplate but keeping the protection of static typing, thereby further improving agility to quickly modify data pipelines without fear.
"Financial Odyssey: Navigating Past Performance Through Diverse Analytical Lens"sameer shah
Embark on a captivating financial journey with 'Financial Odyssey,' our hackathon project. Delve deep into the past performance of two companies as we employ an array of financial statement analysis techniques. From ratio analysis to trend analysis, uncover insights crucial for informed decision-making in the dynamic world of finance."
Open Source Contributions to Postgres: The Basics POSETTE 2024ElizabethGarrettChri
Postgres is the most advanced open-source database in the world and it's supported by a community, not a single company. So how does this work? How does code actually get into Postgres? I recently had a patch submitted and committed and I want to share what I learned in that process. I’ll give you an overview of Postgres versions and how the underlying project codebase functions. I’ll also show you the process for submitting a patch and getting that tested and committed.
ViewShift: Hassle-free Dynamic Policy Enforcement for Every Data LakeWalaa Eldin Moustafa
Dynamic policy enforcement is becoming an increasingly important topic in today’s world where data privacy and compliance is a top priority for companies, individuals, and regulators alike. In these slides, we discuss how LinkedIn implements a powerful dynamic policy enforcement engine, called ViewShift, and integrates it within its data lake. We show the query engine architecture and how catalog implementations can automatically route table resolutions to compliance-enforcing SQL views. Such views have a set of very interesting properties: (1) They are auto-generated from declarative data annotations. (2) They respect user-level consent and preferences (3) They are context-aware, encoding a different set of transformations for different use cases (4) They are portable; while the SQL logic is only implemented in one SQL dialect, it is accessible in all engines.
#SQL #Views #Privacy #Compliance #DataLake
2. Background
• Certain requirements needs to be fulfilled
Isomorphism
Reification (such as
Jurisdiction, Authority, and
Temporal properties)
Rule semantics
Rule validity
Defeasibility and Conflicts
resolutions
Normative effects (such as
Obligation, Permission,
Prohibition, etc) and their
persistence
. . .
2 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
3. Background
• Certain requirements needs to be fulfilled
Isomorphism
Reification (such as
Jurisdiction, Authority, and
Temporal properties)
Rule semantics
Rule validity
Defeasibility and Conflicts
resolutions
Normative effects (such as
Obligation, Permission,
Prohibition, etc) and their
persistence
. . .
• Existing formalisms such as LKIF, ConDec, ContractLog,
RuleML lack the support to fulfill such requirements
2 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
4. Background
• Certain requirements needs to be fulfilled
Isomorphism
Reification (such as
Jurisdiction, Authority, and
Temporal properties)
Rule semantics
Rule validity
Defeasibility and Conflicts
resolutions
Normative effects (such as
Obligation, Permission,
Prohibition, etc) and their
persistence
. . .
• Existing formalisms such as LKIF, ConDec, ContractLog,
RuleML lack the support to fulfill such requirements
⇒LegalRuleML
2 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
5. A Sample Contract
Section 1: (Policy of Price)
1.1 A “Premium Customer” is a customer who has spent
more than $10000 in goods. Premium Customers are
entitled a 5% discount on new orders.
1.2 Goods marked as “Special Order” are subject to a 5%
surcharge. Premium customers are exempt from special
order surcharge.
1.3 . . . . . .
Section 2: (Purchase Order)
2.1 The purchaser shall follow the supplier price lists on the
supplier’s website.
2.2 The purchaser shall present supplier with a purchase order
for the provision of goods within 7 days of the
commencement date.
2.3 . . . . . .
3 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
6. LegalRuleML
• A rule interchange language
proposed by OASIS
• Extends RuleML with features
specific to legal domain
• Bridge the gap between natural
language description and
semantic norms
• Allows for modelling various
laws, rules and regulations into
machine readable format
Association(s)
Context
Metadata
Statements
LegalRuleML Document
4 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
7. LegalRuleML (cont.)
• Provides support to
model normative effects
capture conflicting norms without making the set of rules
inconsistent.
prioritize norms in case both of them becomes applicable
norms that compensate the violation of other norms
• Similar to that of Defeasible Logic
5 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
8. Defeasible Logic (DL)
• Rule-base, without disjunction
r : A(r) → C(r)
where
r is the unique identifier of the rule
A(r) = a1, · · · , an the antecedent of the rule (where ai is a
literal)
→= { →, ⇒, } denotes the type of the rule (→=strict rule,
⇒=defeasible rule, and =defeater)
C(r) the consequent (or head) of the rule
• Classical negation is used in the heads and bodies of rules
Negation-as-failure is NOT used but can be emulated
• Rules may support conflicting conclusions
• Direct Skeptical: conflicting rules do not fire
consistency is preserved
• Priorities on rules (superiority relation) may be used to resolve
some conflicts among rules
6 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
9. Defeasible Logic (cont.)
• Constructive proof theory
• Flexible and computationally efficient
linear w.r.t. the number of literals
• Many extensions and applications
policy-based intention
e-contracts analysis and monitoring
web service composition
. . .
7 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
10. Modal Defeasible Logic (MDL)
• Extension of DL with the support of modal operators
8 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
11. Modal Defeasible Logic (MDL)
• Extension of DL with the support of modal operators
• The language consists of:
a set PROP of propositional atoms
Lit = PROP ∪ { ¬p | p ∈ PROP } represents a set of literals
If q is literal (∼q is its complement)
– if q is a positive literal p, then ∼q is ¬p
– if q is ¬p, then ∼q is p
MOD denotes a set of model operators
8 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
12. Modal Defeasible Logic (MDL)
• Extension of DL with the support of modal operators
• The language consists of:
a set PROP of propositional atoms
Lit = PROP ∪ { ¬p | p ∈ PROP } represents a set of literals
If q is literal (∼q is its complement)
– if q is a positive literal p, then ∼q is ¬p
– if q is ¬p, then ∼q is p
MOD denotes a set of model operators
• Introduced the concept of contrary-to-duty obligation in the
head of the rule
For an expression a ⊗ b, the intuitive reading is that
if a is possible, then a is the first choice and b is the second
one;
if ¬a holds, i.e., a is violated, then b is the actual choice.
8 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
13. LegalRuleML to MDL Mapping
• LegalRuleML is inherited from RuleML
i.e., elements related to RuleML can be done using the
mapping provided in (Governatori, 2005)
9 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
14. LegalRuleML to MDL Mapping
• LegalRuleML is inherited from RuleML
i.e., elements related to RuleML can be done using the
mapping provided in (Governatori, 2005)
• For instance, the following LegalRuleML code can be
transformed into the literal pay(Purchaser, Supplier)
1 <ruleml:Atom key=":atom109">
2 <ruleml:Rel iri="pay"/>
3 <ruleml:Ind>Purchaser</ruleml:Ind>
4 <ruleml:Ind>Supplier</ruleml:Ind>
5 </ruleml:Atom>
9 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
15. LegalRuleML to MDL Mapping
– Statements
Type of Statements in LegalRuleML
StatementsNorm
Statements
Constitutive
Statements
Prescriptive
Statements
Violation-Reparation
Statements
Reparation
Statements
Penalty
Statements
Factual
Statement
Override
Statement
10 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
16. LegalRuleML to MDL Mapping
– Statements
Type of Statements in LegalRuleML
StatementsNorm
Statements
Constitutive
Statements
Prescriptive
Statements
Violation-Reparation
Statements
Reparation
Statements
Penalty
Statements
Factual
Statement
Override
Statement
which correspond to DL elements
LegalRuleML DL
Factual Statement Fact
Constitutive Statement Strict rule
Prescriptive Statement Defeasible rule
Override Statement Superiority relation
Violation-Reparation Statement describe later
10 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
20. LegalRuleML to MDL Mapping
– Statements
An Example
1 <lrml:PrescriptievStatement key="r1">
2 <ruleml:Rule key=":ruletemplate1">
3 <ruleml:if>
4 <ruleml:And>
5 <ruleml:Atom key=":atom2">
6 <ruleml:Rel iri=":specialOrder"/>
7 <ruleml:Ind>X</ruleml:Ind>
8 </ruleml:Atom>
9 </ruleml:And>
10 </ruleml:if>
11 <ruleml:then>
12 <lrml:Obligation>
13 <ruleml:Atom key=":atom3">
14 <ruleml:Rel iri=":surcharge"/>
15 <ruleml:Ind>X</ruleml:Ind>
16 </ruleml:Atom>
17 </lrml:Obligation>
18 </ruleml:then>
19 </ruleml:Rule>
20 </lrml:PrescriptievStatement>
rule label r1rule type
defeasible rule
rule body specialOrder(X)
11 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
21. LegalRuleML to MDL Mapping
– Statements
An Example
1 <lrml:PrescriptievStatement key="r1">
2 <ruleml:Rule key=":ruletemplate1">
3 <ruleml:if>
4 <ruleml:And>
5 <ruleml:Atom key=":atom2">
6 <ruleml:Rel iri=":specialOrder"/>
7 <ruleml:Ind>X</ruleml:Ind>
8 </ruleml:Atom>
9 </ruleml:And>
10 </ruleml:if>
11 <ruleml:then>
12 <lrml:Obligation>
13 <ruleml:Atom key=":atom3">
14 <ruleml:Rel iri=":surcharge"/>
15 <ruleml:Ind>X</ruleml:Ind>
16 </ruleml:Atom>
17 </lrml:Obligation>
18 </ruleml:then>
19 </ruleml:Rule>
20 </lrml:PrescriptievStatement>
rule label r1rule type
defeasible rule
rule body specialOrder(X)
rule head OBLsurcharge(X)
11 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
22. LegalRuleML to MDL Mapping
– Statements
An Example
1 <lrml:PrescriptievStatement key="r1">
2 <ruleml:Rule key=":ruletemplate1">
3 <ruleml:if>
4 <ruleml:And>
5 <ruleml:Atom key=":atom2">
6 <ruleml:Rel iri=":specialOrder"/>
7 <ruleml:Ind>X</ruleml:Ind>
8 </ruleml:Atom>
9 </ruleml:And>
10 </ruleml:if>
11 <ruleml:then>
12 <lrml:Obligation>
13 <ruleml:Atom key=":atom3">
14 <ruleml:Rel iri=":surcharge"/>
15 <ruleml:Ind>X</ruleml:Ind>
16 </ruleml:Atom>
17 </lrml:Obligation>
18 </ruleml:then>
19 </ruleml:Rule>
20 </lrml:PrescriptievStatement>
rule label r1rule type
defeasible rule
rule body specialOrder(X)
rule head OBLsurcharge(X)
r1 : specialOrder(X) ⇒ OBLsurcharge(X)
11 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
23. LegalRuleML to MDL Mapping
– Statements
Some notes:
• Penalty statements is essentially a list of deontic literals that
can be appended to the head of the rule(s) concerned using
⊗-expression based on the key referenced by the
corresponding Reparation statements.
12 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
24. LegalRuleML to MDL Mapping
– Statements
Some notes:
• Penalty statements is essentially a list of deontic literals that
can be appended to the head of the rule(s) concerned using
⊗-expression based on the key referenced by the
corresponding Reparation statements.
• The same penalty statement may applies to many different
prescriptive statements, as described in the Reparation
statements.
12 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
25. LegalRuleML to MDL Mapping
– Other constructs
However,
• Some elements in LegalRuleML are not that intuitive
• For instance, LegalRuleML provides two elements to
determine whether an obligation or a prohibition of an object
has been fulfilled (<lrml:Compliance>) or violated
(<lrml:Violation>)
Definition
• A compliance is an indication that an obligation has been
fulfilled or a prohibition has not been violated.
• A violation is an indication that an obligation or prohibition
has been violated.
13 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
28. LegalRuleML to MDL Mapping
– Compliance and Violation
1 <lrml:PrescriptiveStatement key="ps2">
2 <ruleml:Rule key=":ruletemplate2">
3 <ruleml:if>
4 <ruleml:And key=":and1">
5 <lrml:Violation keyref="#item3"/>
6 <lrml:Permission>
7 <ruleml:Atom key=":atom4">
8 <ruleml:Rel iri=":rel1"/>
9 <ruleml:Ind>X</ruleml:Ind>
10 </ruleml:Atom>
11 </lrml:Permission>
12 <lrml:Obligation key="oblig1">
13 <ruleml:Atom key=":atom5">
14 <ruleml:Rel iri=":rel2"/>
15 <ruleml:Ind>X</ruleml:Ind>
16 </ruleml:Atom>
17 </lrml:Obligation>
18 </ruleml:And>
19 </ruleml:if>
20 . . .
• need to determine whether
the object with key=item3
has been violated or not
14 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
29. LegalRuleML to MDL Mapping
– Compliance and Violation
1 <lrml:PrescriptiveStatement key="ps2">
2 <ruleml:Rule key=":ruletemplate2">
3 <ruleml:if>
4 <ruleml:And key=":and1">
5 <lrml:Violation keyref="#item3"/>
6 <lrml:Permission>
7 <ruleml:Atom key=":atom4">
8 <ruleml:Rel iri=":rel1"/>
9 <ruleml:Ind>X</ruleml:Ind>
10 </ruleml:Atom>
11 </lrml:Permission>
12 <lrml:Obligation key="oblig1">
13 <ruleml:Atom key=":atom5">
14 <ruleml:Rel iri=":rel2"/>
15 <ruleml:Ind>X</ruleml:Ind>
16 </ruleml:Atom>
17 </lrml:Obligation>
18 </ruleml:And>
19 </ruleml:if>
20 . . .
• need to determine whether
the object with key=item3
has been violated or not
• Two cases: when item3 is
(i) a literal
(ii) a rule
14 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
30. LegalRuleML to MDL Mapping
Case 1 [Element as literal] Assume that p is element
that item3 refers to, from the code above we have:
ps2 : PERrel1, OBLrel2, violate(p) ⇒ C(ps2)
15 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
31. LegalRuleML to MDL Mapping
Case 1 [Element as literal] Assume that p is element
that item3 refers to, from the code above we have:
ps2 : PERrel1, OBLrel2, violate(p) ⇒ C(ps2)
Some observations:
• The case where item3 is a literal is simple. It can be
appended to the body as a precondition to activate the rule
using the table below:
q OBLq FORq
Compliance q OBLq, q FORq, ¬q
Violation ¬q OBLq, ¬q FORq, q
15 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
32. LegalRuleML to MDL Mapping
Case 1 [Element as literal] Assume that p is element
that item3 refers to, from the code above we have:
ps2 : PERrel1, OBLrel2, violate(p) ⇒ C(ps2)
Some observations:
• The case where item3 is a literal is simple. It can be
appended to the body as a precondition to activate the rule
using the table below:
q OBLq FORq
Compliance q OBLq, q FORq, ¬q
Violation ¬q OBLq, ¬q FORq, q
• i.e., if p = OBLq, then the above rule becomes:
ps2 : PERrel1, OBLrel2, OBLq, ¬q ⇒ C(ps2)
15 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
33. LegalRuleML to MDL Mapping
Case 2 [Element as Rule] In case of violation, we need to verify
whether referenced rule is either:
• inapplicable such that there a non-provable literal in the
antecedent of the rule
16 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
34. LegalRuleML to MDL Mapping
Case 2 [Element as Rule] In case of violation, we need to verify
whether referenced rule is either:
• inapplicable such that there a non-provable literal in the
antecedent of the rule
• the immediate consequents of the rule is defeated or overruled
by a conflicting conclusion.
16 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
35. LegalRuleML to MDL Mapping
Definition (Rule Status)
Let D = (F, R, >) be a defeasible theory, let Σ be the language of
D. For every r ∈ Rb, rc denotes the rule referenced by the element
We define verifyBody(D) = (F, R , > ) where:
R = R Rd ∪ { r+
c : A(rc) ⇒ inf (rc),
−
c : ⇒ ¬inf (rc),
r−
cv : ¬inf (rc) ⇒ violation(rc),
r+
cc : inf (rc), comply(C(rc, 1)) ⇒ compliance(rc),
r+
cv : inf (rc), violate(C(rc, 1)) ⇒ violation(rc),
> => ∪ { r+
c > r−
c }
17 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
36. LegalRuleML to MDL Mapping
• For each rc, inf (rc), ¬inf (rc), compliance(rc) and
violation(rc) are new atoms not in the language of the
defeasible theory.
18 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
37. LegalRuleML to MDL Mapping
• For each rc, inf (rc), ¬inf (rc), compliance(rc) and
violation(rc) are new atoms not in the language of the
defeasible theory.
• inf (rc) and ¬inf (rc) determine whether a rule is in force.
18 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
38. LegalRuleML to MDL Mapping
• For each rc, inf (rc), ¬inf (rc), compliance(rc) and
violation(rc) are new atoms not in the language of the
defeasible theory.
• inf (rc) and ¬inf (rc) determine whether a rule is in force.
• If rc is in force, then we verify whether:
18 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
39. LegalRuleML to MDL Mapping
• For each rc, inf (rc), ¬inf (rc), compliance(rc) and
violation(rc) are new atoms not in the language of the
defeasible theory.
• inf (rc) and ¬inf (rc) determine whether a rule is in force.
• If rc is in force, then we verify whether:
the first literal that appears at the head of rc is compliant i.e.,
compliance(rc ) or
18 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
40. LegalRuleML to MDL Mapping
• For each rc, inf (rc), ¬inf (rc), compliance(rc) and
violation(rc) are new atoms not in the language of the
defeasible theory.
• inf (rc) and ¬inf (rc) determine whether a rule is in force.
• If rc is in force, then we verify whether:
the first literal that appears at the head of rc is compliant i.e.,
compliance(rc ) or
rc is violated i.e., violated(rc )
18 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
41. Conclusions
• We proposed a mapping of legal norms represented using
LegalRuleML into DL
19 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
42. Conclusions
• We proposed a mapping of legal norms represented using
LegalRuleML into DL
• With current LegalRuleML specifications, strange results
might appear if an element <lrml:violation> (or
<lrml:compliance>) appears at the head of a
statement—additional restrictions are required.
19 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
43. Conclusions
• We proposed a mapping of legal norms represented using
LegalRuleML into DL
• With current LegalRuleML specifications, strange results
might appear if an element <lrml:violation> (or
<lrml:compliance>) appears at the head of a
statement—additional restrictions are required.
• The real impedance is the lack of dedicated and reliable
infrastructure
19 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
44. Conclusions
• We proposed a mapping of legal norms represented using
LegalRuleML into DL
• With current LegalRuleML specifications, strange results
might appear if an element <lrml:violation> (or
<lrml:compliance>) appears at the head of a
statement—additional restrictions are required.
• The real impedance is the lack of dedicated and reliable
infrastructure
• As future work, we are planning to incorporate the presented
approach into some smart-contract enabled systems
19 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
45. Questions?
20 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield
46. References
Antoniou, Grigoris et al. (2001). “Representation Results for Defeasible Logic”.
In: ACM Transactions on Computational Logic 2.2, pp. 255–286.
Gordon, Thomas F., Guido Governatori and Antonino Rotolo (2009). “Rules and
Norms: Requirements for Rule Interchange Languages in the Legal Domain”.
In: RuleML’09. Springer Heidelberg, pp. 282–296.
Governatori, Guido (2005). “Representing Business Contracts in RuleML”. In:
International Journal of Cooperative Information Systems 14.2–3, pp. 181–216.
Nute, Donald (2001). “Defeasible logic: Theory, Implementation and
Applications”. In: Proceedings of the 14th International Conference on
Applications of Prolog (INAP 2001). Springer, Berlin, pp. 151–169.
21 | Enabling Reasoning with LegalRuleML | Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield