JURIX talk on representing and reasoning on the deontic aspects of normative rules relying only on standard Semantic Web languages.
The corresponding paper is at https://hal.inria.fr/hal-01643769v1
Wimmics Research Team 2015 Activity ReportFabien Gandon
Extract of the activity report of the Wimmics joint research team between Inria Sophia Antipolis - Méditerranée and I3S (CNRS and Université Nice Sophia Antipolis). Wimmics stands for web-instrumented man-machine interactions, communities and semantics. The team focuses on bridging social semantics and formal semantics on the web.
One Web of pages, One Web of peoples, One Web of Services, One Web of Data, O...Fabien Gandon
Keynote Fabien GANDON, at WIM2016: One Web of pages, One Web of peoples, One Web of Services, One Web of Data, One Web of Things…and with the Semantic Web bind them.
Wimmics Research Team 2015 Activity ReportFabien Gandon
Extract of the activity report of the Wimmics joint research team between Inria Sophia Antipolis - Méditerranée and I3S (CNRS and Université Nice Sophia Antipolis). Wimmics stands for web-instrumented man-machine interactions, communities and semantics. The team focuses on bridging social semantics and formal semantics on the web.
One Web of pages, One Web of peoples, One Web of Services, One Web of Data, O...Fabien Gandon
Keynote Fabien GANDON, at WIM2016: One Web of pages, One Web of peoples, One Web of Services, One Web of Data, One Web of Things…and with the Semantic Web bind them.
Web open standards for linked data and knowledge graphs as enablers of EU dig...Fabien Gandon
Web open standards for linked data and knowledge graphs as enablers of EU digital sovereignty
ENDORSE Keynote by Fabien GANDON, 19/03/2021
https://op.europa.eu/en/web/endorse
on the ontological necessity of the multidisciplinary development of the webFabien Gandon
Talk on the ontological necessity of the multidisciplinary development of the web at the panel CLOSER/WEBIST 2014 on "social, political and economic implications of cloud and web"
This course is a quick overview of the fundamentals of graph databases and graph queries, with a focus on RDF and SPARQL. It includes both simple and challenging hands-on exercises to practice and test your understanding.
The material for this course can be downloaded form the following link: https://github.com/paolo7/Introduction-to-Graph-Databases
Neno/Fhat: Semantic Network Programming Language and Virtual Machine Specific...Marko Rodriguez
• The Semantic Web is a distributed, flexible modeling framework.
• The Semantic Web is primarily descriptive in nature. The Semantic Web is used to describe web-pages, services, systems, etc.
• Neno is an object-oriented language that was designed specifically for the Semantic Web.
• Fhat is a virtual machine represented in the Semantic Web.
• With Neno/Fhat the Semantic Web now has a procedural component. The Semantic Web now includes object methods, algorithms, and computing machines.
• The Semantic Web can be made to behave like a distributed, general-purpose computer. Not just an information repository.
Explanations in Dialogue Systems through Uncertain RDF Knowledge BasesDaniel Sonntag
We implemented a generic dialogue shell that can be configured for and applied to domain-specific dialogue applications. The dialogue system works robustly for a new domain when the application backend can automatically infer previously unknown knowledge (facts) and provide explanations for the inference steps involved. For this purpose, we employ URDF, a query engine for uncertain and potentially inconsistent RDF knowledge bases. URDF supports rule-based, first-order predicate logic as used in OWL-Lite and OWL-DL, with simple and effective top-down reasoning capabilities. This mechanism also generates explanation graphs. These graphs can then be displayed in the GUI of the dialogue shell and help the user understand the underlying reasoning processes. We believe that proper explanations are a main factor for increasing the level of user trust in end-to-end human-computer interaction systems.
Web open standards for linked data and knowledge graphs as enablers of EU dig...Fabien Gandon
Web open standards for linked data and knowledge graphs as enablers of EU digital sovereignty
ENDORSE Keynote by Fabien GANDON, 19/03/2021
https://op.europa.eu/en/web/endorse
on the ontological necessity of the multidisciplinary development of the webFabien Gandon
Talk on the ontological necessity of the multidisciplinary development of the web at the panel CLOSER/WEBIST 2014 on "social, political and economic implications of cloud and web"
This course is a quick overview of the fundamentals of graph databases and graph queries, with a focus on RDF and SPARQL. It includes both simple and challenging hands-on exercises to practice and test your understanding.
The material for this course can be downloaded form the following link: https://github.com/paolo7/Introduction-to-Graph-Databases
Neno/Fhat: Semantic Network Programming Language and Virtual Machine Specific...Marko Rodriguez
• The Semantic Web is a distributed, flexible modeling framework.
• The Semantic Web is primarily descriptive in nature. The Semantic Web is used to describe web-pages, services, systems, etc.
• Neno is an object-oriented language that was designed specifically for the Semantic Web.
• Fhat is a virtual machine represented in the Semantic Web.
• With Neno/Fhat the Semantic Web now has a procedural component. The Semantic Web now includes object methods, algorithms, and computing machines.
• The Semantic Web can be made to behave like a distributed, general-purpose computer. Not just an information repository.
Explanations in Dialogue Systems through Uncertain RDF Knowledge BasesDaniel Sonntag
We implemented a generic dialogue shell that can be configured for and applied to domain-specific dialogue applications. The dialogue system works robustly for a new domain when the application backend can automatically infer previously unknown knowledge (facts) and provide explanations for the inference steps involved. For this purpose, we employ URDF, a query engine for uncertain and potentially inconsistent RDF knowledge bases. URDF supports rule-based, first-order predicate logic as used in OWL-Lite and OWL-DL, with simple and effective top-down reasoning capabilities. This mechanism also generates explanation graphs. These graphs can then be displayed in the GUI of the dialogue shell and help the user understand the underlying reasoning processes. We believe that proper explanations are a main factor for increasing the level of user trust in end-to-end human-computer interaction systems.
Linking Big Data to Rich Process DescriptionsChristoph Lange
Linked (Open) Data is one key to coping with Big Data: it enables decentralised, collaborative management of big datasets, low-overhead information retrieval, and scalable reasoning. Big Data are created or consumed by technical processes or business processes. Their formal description, e.g. for software verification or compliance checking, requires logics whose complexity far exceeds that of the data. Restricting LOD to the RDF logic does not allow for integrating rich process descriptions with the data that these processes create, and therefore does not enable knowledge management, information retrieval and reasoning to take full advantage of rich background knowledge. In this talk I demonstrate different frontiers at which I have worked towards achieving an integration of process descriptions and data.
A practical guide on how to query and visualize Linked Open Data with eea.daviz Plone add-on.
In this presentation you will get an introduction to Linked Open Data and where it is applied. We will see how to query this large open data cloud over the web with the language SPARQL. We will then go through real examples and create interactive and live data visualizations with full data tracebility using eea.sparql and eea.daviz.
Presented at the PLOG2013 conference http://www.coactivate.org/projects/plog2013
Abstract:
An increasing number of applications rely on RDF, OWL 2, and SPARQL for storing and querying data. SPARQL, however, is not targeted towards end-users, and suitable query interfaces are needed. Faceted search is a prominent approach for end-user data access, and several RDF-based faceted search systems have been developed. There is, however, a lack of rigorous theoretical underpinning for faceted search in the context of RDF and OWL 2. In this paper, we provide such solid foundations. We formalise faceted interfaces for this context, identify a fragment of first-order logic capturing the underlying queries, and study the complexity of answering such queries for RDF and OWL 2 profiles. We then study interface generation and update, and devise efficiently implementable algorithms. Finally, we have implemented and tested our faceted search algorithms for scalability, with encouraging results.
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Ob...RuleML
The Decision Management (DM) Community Challenge of
March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security
Code. Based on an analysis of the moderately controlled English
rules and current online solutions, we formalized the rules in PositionalSlotted,
Object-Applicative (PSOA) RuleML. This resulted in: (1) a
reordering, subgrouping, and explanation of the original rules on the
specialized decision-model expressiveness level of (deontically contextualized)
near-Datalog, non-recursive, near-deterministic, ground-queried,
and non-subpredicating rules; (2) an object-relational PSOA RuleML
rulebase which was complemented by facts to form a knowledge base queried in PSOATransRun for decision-making. Thus, the DM and logical formalizations get connected, which leads to generalized decision models with Hornlog, recursive, non-deterministic, non-ground-queried, and subpredicating rules.
Toward Automatic Generation of SPARQL result set VisualizationsMarcello Leida
The problem of representing RDF data using charts, dashboards, maps and so on has become pressing, in particular to prove the value of the Semantic Web to enhance the analysis of business data.
State of the art solutions focus on mapping query results to a specific chart type or view and then manually writing the procedure that creates the final dashboard.
Whenever a different visualization model is required, the mapping process needs to be repeated.
Furthermore, even if several different mappings are pre-defined and available to the user there may be several situations which cannot be predicted because they depend on the specific analysis the user wants to carry out.
In this paper we propose a semi-automatic approach that generates various charts from SPARQL queries over data represented as RDF graphs, we introduce and describe the generic approach and present a use case scenario in the context of service monitoring.
Towards efficient processing of RDF data streamsAlejandro Llaves
Presentation of short paper submitted to OrdRing workshop, held at ISWC 2014 - http://streamreasoning.org/events/ordring2014.
In the last years, there has been an increase in the amount of real-time data generated. Sensors attached to things are transforming how we interact with our environment. Extracting meaningful information from these streams of data is essential for some application areas and requires processing systems that scale to varying conditions in data sources, complex queries, and system failures. This paper describes ongoing research on the development of a scalable RDF streaming engine.
Towards efficient processing of RDF data streamsAlejandro Llaves
In the last years, there has been an increase in the amount of real-time data generated. Sensors attached to things are transforming how we interact with our environment. Extracting meaningful information from these streams of data is essential for some application areas and requires processing systems that scale to varying conditions in data sources, complex queries, and system failures. This paper describes ongoing research on the development of a scalable RDF streaming engine.
Presented at OrdRing workshop, International Semantic Web Conference 2014.
http://streamreasoning.org/events/ordring2014
Analyzing the Evolution of Vocabulary Terms and Their Impact on the LOD CloudMOVING Project
Vocabularies are used for modeling data in Knowledge Graphs
(KGs) like the Linked Open Data Cloud and Wikidata. During their life-time, vocabularies are subject to changes. New terms are coined while existing terms are modified or deprecated. We first quantify the amount and frequency of changes in vocabularies. Subsequently, we investigate to which extend and when the changes are adopted in the evolution of KGs.
We conduct our experiments on three large-scale KGs for which time-stamped information is available, namely the Billion Triples Challenge datasets, Dynamic Linked Data Observatory dataset, and Wikidata. Our results show that the change frequency of terms is rather low, but can have high impact due to the large amount of distributed graph data on the web. Furthermore, not all coined terms are used and most of the
deprecated terms are still used by data publishers. The adoption time of terms coming from different vocabularies ranges from very fast (few days) to very slow (few years). Surprisingly, we could observe some adoptions before the vocabulary changes were published. Understanding the evolution of vocabulary terms is important to avoid wrong assumptions about the modeling status of data published on the web, which may result in difficulties when querying the data from distributed sources.
WSO2 Machine Learner takes data one step further, pairing data gathering and analytics with predictive intelligence: this helps you understand not just the present, but to predict scenarios and generate solutions for the future.
Similar to Normative Requirements as Linked Data (20)
Walking Our Way to the Web - Fabien Gandon
The Web: Scientific Creativity, Technological Innovation and Society
XXVIII Conference on Contemporary Philosophy and Methodology of Science
9 and 10 March 2023
University of A Coruña
The prospect of Walking our Way to the Web may sound strange to contemporary readers of this article for whom the Web is omnipresent. However, the slogan of the World Wide Web Consortium (W3C) has been, for years, and remains today, to lead “the Web to its full potential” meaning we haven’t reached that potential yet, whatever it is. The first architect of the Web himself, Tim Berners-Lee, said in an interview in 2009: “The Web as I envisaged it, we have not seen it yet. The future is still so much bigger than the past”. And he is still very active, together with the W3C members and Web experts world-wide, in proposing evolutions of the Web architecture to improve its growing usages and applications. In this article we will review the path that led us to the actual Web, the shape it is taking now and the possible evolutions, good and bad, we can identify today. This will lead us to consider the distance that we witness between the initial vision and the reality of the Web today, and to reflect on the possible divergence between the potential we see in the Web and the directions it could take. Our goal in this article is to reflect on how we could walk the delicate path to the full potential of the Web, finding the missing links and avoiding the one too many links.
a shift in our research focus: from knowledge acquisition to knowledge augmen...Fabien Gandon
EKAW 2022 keynote by Fabien GANDON: "a shift in our research focus: from knowledge acquisition to knowledge augmentation"
While EKAW started in 1987 as the European Knowledge Acquisition Workshop, in 2000 it transformed into a conference where we advance knowledge engineering and modelling in general. At the time, this transition also echoed shifts of focus such as moving from the paradigm of expert systems to the more encompassing one of knowledge-based systems. Nowadays, with the current strong interest for knowledge graphs, it is important again to reaffirm that our ultimate goal is not the acquisition of bigger siloed knowledge bases but to support knowledge requisition by and for all kinds of intelligence. Knowledge without intelligence is a highly perishable resource. Intelligence without knowledge is doomed to stagnation. We will defend that intelligence and knowledge, and their evolutions, have to be considered jointly and that the Web is providing a social hypermedia to link them in all their forms. Using examples from several projects, we will suggest that, just like intelligence augmentation and amplification insist on putting humans at the center of the design of artificial intelligence methods, we should think in terms of knowledge augmentation and amplification and we should design a knowledge web to be an enabler of the futures we want.
A Never-Ending Project for Humanity Called “the Web”Fabien Gandon
A Never-Ending Project for Humanity Called "the Web"
Fabien Gandon, Wendy Hall
https://hal.inria.fr/WIMMICS/hal-03633526
In this paper we summarized the main historical steps in making the Web, its foundational principles and its evolution. First we mention some of the influences and streams of thought that interacted to bring the Web about. Then we recall that its birthplace, the CERN, had a need for a global hypertext system and at the same time was the perfect microcosm to provide a cradle for the Web. We stress how this invention required to strike a balance between the integration of and the departure from the existing and emerging paradigms of the day. We then review the pillars of the Web architecture and the features that made the Web so viral compared to competitors. Finally we survey the multiple mutations the Web underwent no sooner it was born, evolving in multiple directions. We conclude on the fact the Web is now an architecture, an artefact, a science object and a research and development object, and of which we haven't seen the full potential yet.
CovidOnTheWeb : covid19 linked data published on the WebFabien Gandon
The Covid-on-the-Web project aims to allow biomedical researchers to access, query and make sense of COVID-19 related literature. To do so, it adapts, combines and extends tools to process, analyze and enrich the "COVID-19 Open Research Dataset" (CORD-19) that gathers 50,000+ full-text scientific articles related to the coronaviruses. We report on the RDF dataset and software resources produced in this project by leveraging skills in knowledge representation, text, data and argument mining, as well as data visualization and exploration. The dataset comprises two main knowledge graphs describing (1) named entities mentioned in the CORD-19 corpus and linked to DBpedia, Wikidata and other BioPortal vocabularies, and (2) arguments extracted using ACTA, a tool automating the extraction and visualization of argumentative graphs, meant to help clinicians analyze clinical trials and make decisions. On top of this dataset, we provide several visualization and exploration tools based on the Corese Semantic Web platform, MGExplorer visualization library, as well as the Jupyter Notebook technology. All along this initiative, we have been engaged in discussions with healthcare and medical research institutes to align our approach with the actual needs of the biomedical community, and we have paid particular attention to comply with the open and reproducible science goals, and the FAIR principles.
from linked data & knowledge graphs to linked intelligence & intelligence graphsFabien Gandon
ISWC Vision track talk "from linked data & knowledge graphs to linked intelligence & intelligence graphs or the potential of the semantic Web to break the walls between semantic networks and computational networks"
Retours sur le MOOC "Web Sémantique et Web de données"Fabien Gandon
Présentation des caractéristiques et résultats de la première session en 2015 du MOOC "Web Sémantique et Web de données" par Inria, Université de Nice, FUN et UNIT.
Nous lisons régulièrement que le Web révolutionne notre monde et provoque des évolutions dans toutes les dimensions de notre société. Mais le Web lui-même, ses usages et la compréhension que nous en avons n’ont pas cessé d’évoluer depuis la proposition à l’origine de sa création en 1989. C’est un espace en perpétuelle recréation qui nous demande sans cesse de nouvelles explorations et reconsidérations. Ce sont certains de ces changements passés, actuels, et à venir du Web que nous allons regarder ensemble en insistant sur la complexité de cet artefact qui en fait un objet de recherches pluridisciplinaires.
On Youtube: https://youtu.be/jNjHdqS-1Ko
Données de la culture et culture des donnéesFabien Gandon
Présentation "Données de la culture et culture des données" ou le web sémantique et les données liées sur le web dans le domaine de la culture à l'occasion de la conférence "Transmettre la culture à l’ère du numérique" dans le programme Automne Numérique du ministère de la Culture et de la Communication.
La vidéo de la conférence est ici:
http://www.dailymotion.com/video/x17i1g6_conference-transmettre-la-culture-a-l-age-du-numerique-fabien-gandon_tech
ASHWINI KUMAR UPADHYAY v/s Union of India.pptxshweeta209
transfer of the P.I.L filed by lawyer Ashwini Kumar Upadhyay in Delhi High Court to Supreme Court.
on the issue of UNIFORM MARRIAGE AGE of men and women.
A "File Trademark" is a legal term referring to the registration of a unique symbol, logo, or name used to identify and distinguish products or services. This process provides legal protection, granting exclusive rights to the trademark owner, and helps prevent unauthorized use by competitors.
Visit Now: https://www.tumblr.com/trademark-quick/751620857551634432/ensure-legal-protection-file-your-trademark-with?source=share
Responsibilities of the office bearers while registering multi-state cooperat...Finlaw Consultancy Pvt Ltd
Introduction-
The process of register multi-state cooperative society in India is governed by the Multi-State Co-operative Societies Act, 2002. This process requires the office bearers to undertake several crucial responsibilities to ensure compliance with legal and regulatory frameworks. The key office bearers typically include the President, Secretary, and Treasurer, along with other elected members of the managing committee. Their responsibilities encompass administrative, legal, and financial duties essential for the successful registration and operation of the society.
ALL EYES ON RAFAH BUT WHY Explain more.pdf46adnanshahzad
All eyes on Rafah: But why?. The Rafah border crossing, a crucial point between Egypt and the Gaza Strip, often finds itself at the center of global attention. As we explore the significance of Rafah, we’ll uncover why all eyes are on Rafah and the complexities surrounding this pivotal region.
INTRODUCTION
What makes Rafah so significant that it captures global attention? The phrase ‘All eyes are on Rafah’ resonates not just with those in the region but with people worldwide who recognize its strategic, humanitarian, and political importance. In this guide, we will delve into the factors that make Rafah a focal point for international interest, examining its historical context, humanitarian challenges, and political dimensions.
How to Obtain Permanent Residency in the NetherlandsBridgeWest.eu
You can rely on our assistance if you are ready to apply for permanent residency. Find out more at: https://immigration-netherlands.com/obtain-a-permanent-residence-permit-in-the-netherlands/.
Military Commissions details LtCol Thomas Jasper as Detailed Defense CounselThomas (Tom) Jasper
Military Commissions Trial Judiciary, Guantanamo Bay, Cuba. Notice of the Chief Defense Counsel's detailing of LtCol Thomas F. Jasper, Jr. USMC, as Detailed Defense Counsel for Abd Al Hadi Al-Iraqi on 6 August 2014 in the case of United States v. Hadi al Iraqi (10026)
DNA Testing in Civil and Criminal Matters.pptxpatrons legal
Get insights into DNA testing and its application in civil and criminal matters. Find out how it contributes to fair and accurate legal proceedings. For more information: https://www.patronslegal.com/criminal-litigation.html
PRECEDENT AS A SOURCE OF LAW (SAIF JAVED).pptxOmGod1
Precedent, or stare decisis, is a cornerstone of common law systems where past judicial decisions guide future cases, ensuring consistency and predictability in the legal system. Binding precedents from higher courts must be followed by lower courts, while persuasive precedents may influence but are not obligatory. This principle promotes fairness and efficiency, allowing for the evolution of the law as higher courts can overrule outdated decisions. Despite criticisms of rigidity and complexity, precedent ensures similar cases are treated alike, balancing stability with flexibility in judicial decision-making.
Introducing New Government Regulation on Toll Road.pdfAHRP Law Firm
For nearly two decades, Government Regulation Number 15 of 2005 on Toll Roads ("GR No. 15/2005") has served as the cornerstone of toll road legislation. However, with the emergence of various new developments and legal requirements, the Government has enacted Government Regulation Number 23 of 2024 on Toll Roads to replace GR No. 15/2005. This new regulation introduces several provisions impacting toll business entities and toll road users. Find out more out insights about this topic in our Legal Brief publication.
3. MIREL
MIning and REasoning with
Legal texts
http://www.mirelproject.eu/
International and inter-sectorial network to define a formal
framework and to develop tools
European Union's 2020 research and innovation programme
Marie Skłodowska-Curie grant agreement No 690974.
Conceptual challenges e.g. legal interpretation in mining and
reasoning
Computational challenges e.g. handling of big legal data, and
the complexity of regulatory compliance
4. MIREL
MIning and REasoning with
Legal texts
http://www.mirelproject.eu/
International and inter-sectorial network to define a formal
framework and to develop tools
European Union's 2020 research and innovation programme
Marie Skłodowska-Curie grant agreement No 690974.
Conceptual challenges e.g. legal interpretation in mining and
reasoning
Computational challenges e.g. handling of big legal data, and
the complexity of regulatory compliance
Bridge: legal ontologies and NLP parsers reasoning methods
and formal logic
promotes mobility and staff exchange, here:
bridge normative requirements and linked data
8. 8
"Music"
RDFis a model for directed labeled multigraphs
http://inria.fr/rr/doc.html
http://ns.inria.fr/fabien.gandon#me
http://inria.fr/schema#author
http://inria.fr/schema#topic
http://inria.fr/rr/doc.html
http://inria.fr/schema#keyword
9. 9
linked open data(sets) cloud on the Web
0
200
400
600
800
1000
1200
1400
01/05/2007 08/10/2007 07/11/2007 10/11/2007 28/02/2008 31/03/2008 18/09/2008 05/03/2009 27/03/2009 14/07/2009 22/09/2010 19/09/2011 30/08/2014 26/01/2017
number of linked open datasets on the Web
15. MOTIVATIONS
rely on Web standard to represent, exchange and foster
interoperability between deontic rule bases
rely on existing standards (e.g. SPARQL) and
infrastructures
(e.g. triple stores) to implement deontic systems
combine linked data and semantic Web reasoning and
formalisms (e.g. OWL) with deontic reasoning to
support more inferences
16. QUESTIONS
Can we represent and
reason on the deontic
aspects of normative rules
with standard Semantic
Web languages?
17. QUESTIONS
Can we represent and
reason on the deontic
aspects of normative rules
with standard Semantic
Web languages?
useful ontology-based reasoning
For which aspects schema-based reasoning (RDFS, OWL)
is relevant?
18. QUESTIONS
Can we represent and
reason on the deontic
aspects of normative rules
with standard Semantic
Web languages?
useful ontology-based reasoning
For which aspects schema-based reasoning (RDFS, OWL)
is relevant?
beyond classical ontology-based reasoning
Can we operationally formalize other deontic reasoning rules
with RDF and SPARQL?
20. ONTOLOGY
Ontological extension of the
LegalRuleML Meta Model focusing
on the deontic aspects
LegalRuleML Meta Model [9] : primitives for deontic
rule and normative requirement representation
(Permission, Obligation, Prohibition).
Integrate abstract formal framework for normative
requirements of regulatory compliance [10]
Consider results on modal defeasible reasoning for
deontic logic on the Semantic Web [11]
21. MOTIVATING SCENARIOS
Step 1 to specify problems that
are not adequately addressed by
existing solutions [13].
e.g.
support the annotation, detection and retrieval of
normative requirements and rules.
support users in information retrieval with the ability
to identify and reason on the different types of
normative requirements and their statuses.
22. COMPETENCY QUESTIONS
Step 2 to place demands on the
targeted ontology, and they
provide expressiveness
requirements [13].
e.g.
What are the instances of a given requirement and
its sub-types, e.g. obligation?
Is a requirement violated by one or more states of
affairs, and if so, which ones?
Which rules, documents and states of affairs are
linked to a requirement and how?
25. Violable requirement, Non
Violable Requirement,
Violated Requirement and
Compliant Requirement: relation
to a Compliance or a Violation
top classes (2/2)
29. FORMALIZED ONTOLOGY
extract 2: disjointness of violation
relations
:hasCompliance
a owl:ObjectProperty ;
rdfs:label "has for compliance"@en ;
rdfs:domain :ViolableRequirement ;
rdfs:range lrmlmm:Compliance ;
owl:propertyDisjointWith :hasViolation .
30. EXPRESSIVITY
OWL fragment
disjoint unions means OWL DL, i.e.,
more precisely
remove cardinality restrictions, unions and
disjointedness: OWL EL and OWL RL
32. LIMITS
a motivation case: compliance and
violation are disjoint locally to a
state of affair
:CompliantRequirement a rdfs:Class ;
rdfs:subClassOf :ViolableRequirement ;
owl:equivalentClass [ a owl:Restriction ;
owl:onProperty :hasCompliance ;
owl:minCardinality 1 ] .
owl:equivalentClass [ a owl:Restriction ;
owl:onProperty :hasViolation ;
owl:maxCardinality 0 ] .
33. THE GRAPH AS A RESOURCE
“name that graph”, Gandon,
Corby, 2010, W3C Workshop on
RDF 1.1
http://www-sop.inria.fr/edelweiss/fabien/docs/w3c/rdfsource/rdfsource.html
http://ns.inria.fr/fabien.gandon/foaf#me RDF Source
http://purl.org/dc/elements/1.1/title
mailto:fgandon@inria.fr Fabien Gandon
http://purl.org/dc/elements/1.1/creator
http://xmlns.com/foaf/0.1/mbox
http://xmlns.com/foaf/0.1/Person
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/name
34. NAMED GRAPHS
encapsulate state of affairs inside
RDF 1.1 named graphs to bound
the scope of some statements
GRAPH :StateOfAffairs1 {
:Tom :activity [ a :Driving ;
:speed "100"^^xsd:integer ;
rdfs:label "driving at 100km/h"@en ] . }
:StateOfAffairs1 a lrmlmm:FactualStatement .
35. METADATA
represent and
document legal
sources,
requirements, etc.
<http://gov.au/driving-rule> a lrmlmm:Source ;
rdfs:label "driving rules in Australia"@en .
nru:LSS1 a lrmlmm:Sources ;
lrmlmm:hasLegalSource <http://gov.au/driving-rule> .
nru:LRD1 a lrmlmm:LegalRuleMLDocument ;
lrmlmm:hasLegalSources nru:LSS1 ;
lrmlmm:hasAlternatives [ lrmlmm:fromLegalSources nru:LSS1 ;
lrmlmm:hasAlternative nru:PS1 ] ;
lrmlmm:hasStatements nru:SS1 .
nru:SS1 a lrmlmm:Statements ;
lrmlmm:hasStatement nru:PS1 .
nru:PS1 a lrmlmm:PrescriptiveStatement, lrmlmm:Prohibition ;
rdfs:label "can't drive over 90km/h"@en .
36. SPARQL RULES
implement some of the deontic
reasoning using SPARQL
operations on named graphs
DELETE { graph ?g { nru:PS1 nrv:hasCompliance ?g } }
INSERT { graph ?g { nru:PS1 a nrv:ViolatedRequirement ;
nrv:hasViolation ?g } }
WHERE { graph ?g { ?a a :Driving ; :speed ?s . }
FILTER (?s>90) } ;
DELETE { graph ?g { nru:PS1 a nrv:ViolatedRequirement ;
nrv:hasViolation ?g } }
INSERT { graph ?g { nru:PS1 nrv:hasCompliance ?g } }
WHERE { graph ?g { ?a a :Driving ; :speed ?s . }
FILTER (?s<=90) }
38. PROOF OF CONCEPT
with two established tools
Protégé [17] and its reasoners to check the NRV
OWL ontology : coherent and consistent.
CORESE [18] to experiment named graph and
SPARQL based reasoning.
43. CONCLUSION
Named Graph (state of affair) Subject Predicate Object
http://ns.inria.fr/nrv-inst#StateOfAffairs1 Tom http://ns.inria.fr/nrv-inst#activity driving at 100km/h
http://ns.inria.fr/nrv-inst#StateOfAffairs1 Tom http://www.w3.org/2000/01/rdf-schema#label Tom
http://ns.inria.fr/nrv-inst#StateOfAffairs1 can't drive over 90km http://www.w3.org/1999/02/22-rdf-syntax-ns#type violated requirement
http://ns.inria.fr/nrv-inst#StateOfAffairs1 can't drive over 90km has for violation http://ns.inria.fr/nrv-inst#StateOfAffairs1
http://ns.inria.fr/nrv-inst#StateOfAffairs1 driving at 100km/h http://ns.inria.fr/nrv-inst#speed 100
http://ns.inria.fr/nrv-inst#StateOfAffairs1 driving at 100km/h http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://ns.inria.fr/nrv-inst#Driving
http://ns.inria.fr/nrv-inst#StateOfAffairs1 driving at 100km/h http://www.w3.org/2000/01/rdf-schema#label "driving at 100km/h"@en
Named Graph (state of affair) Subject Predicate Object
http://ns.inria.fr/nrv-inst#StateOfAffairs2 Jim http://ns.inria.fr/nrv-inst#activity driving at 90km/h
http://ns.inria.fr/nrv-inst#StateOfAffairs2 Jim http://www.w3.org/2000/01/rdf-schema#label Jim
http://ns.inria.fr/nrv-inst#StateOfAffairs2 can't drive over 90km http://www.w3.org/1999/02/22-rdf-syntax-ns#type compliant requirement
http://ns.inria.fr/nrv-inst#StateOfAffairs2 can't drive over 90km has for compliance http://ns.inria.fr/nrv-inst#StateOfAffairs2
http://ns.inria.fr/nrv-inst#StateOfAffairs2 driving at 90km/h http://ns.inria.fr/nrv-inst#speed 90
http://ns.inria.fr/nrv-inst#StateOfAffairs2 driving at 90km/h http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://ns.inria.fr/nrv-inst#Driving
http://ns.inria.fr/nrv-inst#StateOfAffairs2 driving at 90km/h http://www.w3.org/2000/01/rdf-schema#label "driving at 90km/h"@en
Legal Rules on the Semantic Web
OWL + Named Graphs + SPARQL Rules
Future: differentiated classes of validity, non-binary modes,…
44. The Web Conference 2018 Call For Contributions
The 2018 edition of The Web Conference (27th edition of the
former WWW conference) will offer many opportunities to present
and discuss latest advances in academia and industry.
•Research tracks
•Posters
•Tutorials
•Workshops
Other tracks (in alphabetical order):
•Challenges track
•Demos track
•Developers’ track
•Hackathon/Hackateen
•Hyperspot – Exhibition
•International project track
•Journal paper track
•Journalism, Misinformation
•and Fact Checking
•Minute of madness
•PHD symposium
•The BIG Web
•W3C track
•Web For All
•(W4A co-located conference)
•Web programming
and more CfP coming soon…
“bridging natural and artificial intelligence worldwide”