The document summarizes Vlad Ryzhikov's talk on exchanging OWL 2 QL knowledge bases. It discusses knowledge base exchange (KBE) where the source knowledge base (KB), mapping, and target KB use constraints, unlike data exchange (DE) where only mappings use constraints. It focuses on using DL-LiteR as the language for constraints, the formal counterpart of OWL 2 QL. The document defines solutions in KBE and introduces three notions - universal solution, universal UCQ-solution, and representation - and discusses their properties and issues with universal solutions in KBE.
We extend RDF with the ability to represent property values that exist, but are unknown or partially known, using constraints. Following ideas from the incomplete information literature, we develop a semantics for this extension of RDF, called RDFi, and study SPARQL query evaluation in this framework.
We extend RDF with the ability to represent property values that exist, but are unknown or partially known, using constraints. Following ideas from the incomplete information literature, we develop a semantics for this extension of RDF, called RDFi, and study SPARQL query evaluation in this framework.
Semantic Web technologies are a set of languages standardized by the World Wide Web Consortium (W3C) and designed to create a web of data that can be processed by machines. One of the core languages of the Semantic Web is Web Ontology Language (OWL), a family of knowledge representation languages for authoring ontologies or knowledge bases. The newest OWL is based on Description Logics (DL), a family of logics that are decidable fragments of first-order logic. leanCoR is a new description logic reasoner designed for experimenting with the new connection method algorithms and optimization techniques for DL. leanCoR is an extension of leanCoP, a compact automated theorem prover for classical first-order logic.
Vector space models (VSMs) are mathematically
well-defined frameworks that have been widely used in text processing. This paper introduces a new method, called Random Manhattan Indexing (RMI), for the construction of l1 normed VSMs at reduced dimensionality. RMI combines the construction of a VSM and dimension reduction into an incremental, and thus scalable, procedure. In order to attain its goal, RMI employs the sparse Cauchy random projections.
Extracting Information for Context-aware Meeting Preparationnet2-project
People working in an office environment suffer from large volumes of information that they need to manage and access. Frequently, the problem is due to machines not being able to recognise the many implicit relationships between office artefacts, and also due to them not being aware of the context surrounding them. In order to expose these relationships and enrich artefact context, text analytics can be employed over semi-structured and unstructured content, including free text. In this paper, we explain how this strategy is applied together with for a specific use-case: supporting the attendees of a calendar event to prepare for the meeting.
KR12 Semantic Index and TBox optimisation with respect to dependenciesMariano Rodriguez-Muro
KR'12 Presentation of two techniques for efficient reasoning and query answering in DL-Lite (OWL 2 QL).
First, Semantic Index, a technique to store triples (ABoxes) in a way that already encodes all the entailments of the ontology (RDFS or OWL 2 QL) in the backend, allowing for reasoning without exponential rewritings or forward chaining. The technique can easily be used to construct very efficient triple stores with inference support.
Second, a TBox optimisation technique that allows to obtain simpler TBoxes when the triples (ABoxes) satisfy a set of constraints.
Factors That Influence High Scores in Higher Secondary Examination - A Nano T...IJERA Editor
Topology is one of the great unifying ideas of mathematics. In this article, nano topological approach is made
use of to reduce attributes in order to analyze the factors influencing high scores in higher secondary
examination.
Semantic Web technologies are a set of languages standardized by the World Wide Web Consortium (W3C) and designed to create a web of data that can be processed by machines. One of the core languages of the Semantic Web is Web Ontology Language (OWL), a family of knowledge representation languages for authoring ontologies or knowledge bases. The newest OWL is based on Description Logics (DL), a family of logics that are decidable fragments of first-order logic. leanCoR is a new description logic reasoner designed for experimenting with the new connection method algorithms and optimization techniques for DL. leanCoR is an extension of leanCoP, a compact automated theorem prover for classical first-order logic.
Vector space models (VSMs) are mathematically
well-defined frameworks that have been widely used in text processing. This paper introduces a new method, called Random Manhattan Indexing (RMI), for the construction of l1 normed VSMs at reduced dimensionality. RMI combines the construction of a VSM and dimension reduction into an incremental, and thus scalable, procedure. In order to attain its goal, RMI employs the sparse Cauchy random projections.
Extracting Information for Context-aware Meeting Preparationnet2-project
People working in an office environment suffer from large volumes of information that they need to manage and access. Frequently, the problem is due to machines not being able to recognise the many implicit relationships between office artefacts, and also due to them not being aware of the context surrounding them. In order to expose these relationships and enrich artefact context, text analytics can be employed over semi-structured and unstructured content, including free text. In this paper, we explain how this strategy is applied together with for a specific use-case: supporting the attendees of a calendar event to prepare for the meeting.
KR12 Semantic Index and TBox optimisation with respect to dependenciesMariano Rodriguez-Muro
KR'12 Presentation of two techniques for efficient reasoning and query answering in DL-Lite (OWL 2 QL).
First, Semantic Index, a technique to store triples (ABoxes) in a way that already encodes all the entailments of the ontology (RDFS or OWL 2 QL) in the backend, allowing for reasoning without exponential rewritings or forward chaining. The technique can easily be used to construct very efficient triple stores with inference support.
Second, a TBox optimisation technique that allows to obtain simpler TBoxes when the triples (ABoxes) satisfy a set of constraints.
Factors That Influence High Scores in Higher Secondary Examination - A Nano T...IJERA Editor
Topology is one of the great unifying ideas of mathematics. In this article, nano topological approach is made
use of to reduce attributes in order to analyze the factors influencing high scores in higher secondary
examination.
Выступление Сергея Кольцова (НИУ ВШЭ) на International Conference on Big Data and its Applications (ICBDA).
ICBDA — конференция для предпринимателей и разработчиков о том, как эффективно решать бизнес-задачи с помощью анализа больших данных.
http://icbda2015.org/
Computing the volume of a convex body is a fundamental problem in computational geometry and optimization. In this talk we discuss the computational complexity of this problem from a theoretical as well as practical point of view. We show examples of how volume computation appear in applications ranging from combinatorics to algebraic geometry.
Next, we design the first practical algorithm for polytope volume approximation in high dimensions (few hundreds).
The algorithm utilizes uniform sampling from a convex region and efficient boundary polytope oracles.
Interestingly, our software provides a framework for exploring theoretical advances since it is believed, and our experiments provide evidence for this belief, that the current asymptotic bounds are unrealistically high.
Palestine last event orientationfvgnh .pptxRaedMohamed3
An EFL lesson about the current events in Palestine. It is intended to be for intermediate students who wish to increase their listening skills through a short lesson in power point.
Francesca Gottschalk - How can education support child empowerment.pptxEduSkills OECD
Francesca Gottschalk from the OECD’s Centre for Educational Research and Innovation presents at the Ask an Expert Webinar: How can education support child empowerment?
How to Make a Field invisible in Odoo 17Celine George
It is possible to hide or invisible some fields in odoo. Commonly using “invisible” attribute in the field definition to invisible the fields. This slide will show how to make a field invisible in odoo 17.
Introduction to AI for Nonprofits with Tapp NetworkTechSoup
Dive into the world of AI! Experts Jon Hill and Tareq Monaur will guide you through AI's role in enhancing nonprofit websites and basic marketing strategies, making it easy to understand and apply.
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdfTechSoup
In this webinar you will learn how your organization can access TechSoup's wide variety of product discount and donation programs. From hardware to software, we'll give you a tour of the tools available to help your nonprofit with productivity, collaboration, financial management, donor tracking, security, and more.
2024.06.01 Introducing a competency framework for languag learning materials ...Sandy Millin
http://sandymillin.wordpress.com/iateflwebinar2024
Published classroom materials form the basis of syllabuses, drive teacher professional development, and have a potentially huge influence on learners, teachers and education systems. All teachers also create their own materials, whether a few sentences on a blackboard, a highly-structured fully-realised online course, or anything in between. Despite this, the knowledge and skills needed to create effective language learning materials are rarely part of teacher training, and are mostly learnt by trial and error.
Knowledge and skills frameworks, generally called competency frameworks, for ELT teachers, trainers and managers have existed for a few years now. However, until I created one for my MA dissertation, there wasn’t one drawing together what we need to know and do to be able to effectively produce language learning materials.
This webinar will introduce you to my framework, highlighting the key competencies I identified from my research. It will also show how anybody involved in language teaching (any language, not just English!), teacher training, managing schools or developing language learning materials can benefit from using the framework.
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
1. Exchanging OWL 2 QL Knowledge Bases
Vlad Ryzhikov
joint work with E. Botoeva, D. Calvanese and M. Arenas
KRDB Research Centre, Free University of Bozen-Bolzano, Italy
ryzhikov@inf.unibz.it
Talk at University of KwaZulu-Natal, Durban, South Africa
Vlad Ryzhikov
Free University of Bozen-Bolzano
1/16
2. Knowledge Base Exchange
Problem
given a mapping M between the disjoint signatures Σ and Σ and a source
knowledge base (KB) K, find a target KB K that is a solution for K under
M.
M
Σ
Σ1
Σ2
target signature
source signature
A
T
D
B
T
A
C
B
C
solution
A
source KB K
Vlad Ryzhikov
A
target KB K
Free University of Bozen-Bolzano
2/16
3. Data Exchange vs. Knowledge Base Exchange
• In Data Exchange (DE) only mappings M (in some scenarios, also
solutions K ) use constraints – in Knowledge Base Exchange (KBE)
source KB K, M, and K use constraints.
Vlad Ryzhikov
Free University of Bozen-Bolzano
3/16
4. Data Exchange vs. Knowledge Base Exchange
• In Data Exchange (DE) only mappings M (in some scenarios, also
solutions K ) use constraints – in Knowledge Base Exchange (KBE)
source KB K, M, and K use constraints.
• We consider DL-LiteR as the language for the constraints; it is a
formal counterpart of OWL 2 QL standard.
Vlad Ryzhikov
Free University of Bozen-Bolzano
3/16
5. Data Exchange vs. Knowledge Base Exchange
• In Data Exchange (DE) only mappings M (in some scenarios, also
solutions K ) use constraints – in Knowledge Base Exchange (KBE)
source KB K, M, and K use constraints.
• We consider DL-LiteR as the language for the constraints; it is a
formal counterpart of OWL 2 QL standard.
• Some definitions of solutions in DE apply to KBE, however, KBE
allows for other natural definitions, which are easier to compute.
Vlad Ryzhikov
Free University of Bozen-Bolzano
3/16
6. Solutions
Solution is a target KB K that “at best” preserves the meaning of a source
KB K w.r.t. a mapping M.
Vlad Ryzhikov
Free University of Bozen-Bolzano
4/16
7. Solutions
Solution is a target KB K that “at best” preserves the meaning of a source
KB K w.r.t. a mapping M.
Example:
K = {A(a)}, M = {A
Vlad Ryzhikov
A },
Free University of Bozen-Bolzano
K = {A (a)} − solution?
4/16
8. Solutions
Solution is a target KB K that “at best” preserves the meaning of a source
KB K w.r.t. a mapping M.
Example:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
A },
A ,B
K = {A (a)} − solution?
B }, K = {A (a), B (a)} − solution?
K = {A (a), A
Vlad Ryzhikov
Free University of Bozen-Bolzano
B } − solution?
4/16
9. Solutions
Solution is a target KB K that “at best” preserves the meaning of a source
KB K w.r.t. a mapping M.
Example:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
A },
A ,B
K = {A (a)} − solution?
B }, K = {A (a), B (a)} − solution?
K = {A (a), A
K = {A
Vlad Ryzhikov
B}, M = {A
A ,B
B },
K = {A
Free University of Bozen-Bolzano
B } − solution?
B } − solution?
4/16
10. Solutions
Solution is a target KB K that “at best” preserves the meaning of a source
KB K w.r.t. a mapping M.
Example:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
A },
A ,B
K = {A (a)} − solution?
B }, K = {A (a), B (a)} − solution?
K = {A (a), A
K = {A
B}, M = {A
A ,B
B },
K = {A
B } − solution?
B } − solution?
Different definitions make different K above solutions!
Vlad Ryzhikov
Free University of Bozen-Bolzano
4/16
11. Definitions
DL-LiteR syntax: let a, b, . . . and n, m, . . . be infinite sets of constants and
nulls; Σ be a set of DL-LiteR concept names A and role names P, then
define
basic concepts B ::= A | ∃P | ∃P −
concept inclusions B1
concept disjointness B1
B2
B2
basic roles R ::= P | P −
role inclusions R1
⊥ role disjointness R1
R2
R2
⊥
concept membership B(a), B(n) role membership R(a, b), R(n, m), . . . ,
Vlad Ryzhikov
Free University of Bozen-Bolzano
5/16
12. Definitions
DL-LiteR syntax: let a, b, . . . and n, m, . . . be infinite sets of constants and
nulls; Σ be a set of DL-LiteR concept names A and role names P, then
define
basic concepts B ::= A | ∃P | ∃P −
concept inclusions B1
concept disjointness B1
B2
B2
basic roles R ::= P | P −
role inclusions R1
⊥ role disjointness R1
R2
R2
⊥
concept membership B(a), B(n) role membership R(a, b), R(n, m), . . . ,
DL-LiteR knowledge base is a set of concept/role inclusions/disjointness
(called TBox) and concept/role membership assertions (called ABox if
without nulls, otherwise extended ABox).
Vlad Ryzhikov
Free University of Bozen-Bolzano
5/16
13. Definitions
DL-LiteR syntax: let a, b, . . . and n, m, . . . be infinite sets of constants and
nulls; Σ be a set of DL-LiteR concept names A and role names P, then
define
basic concepts B ::= A | ∃P | ∃P −
concept inclusions B1
concept disjointness B1
B2
B2
basic roles R ::= P | P −
role inclusions R1
⊥ role disjointness R1
R2
R2
⊥
concept membership B(a), B(n) role membership R(a, b), R(n, m), . . . ,
DL-LiteR knowledge base is a set of concept/role inclusions/disjointness
(called TBox) and concept/role membership assertions (called ABox if
without nulls, otherwise extended ABox).
Mapping: defined over a pair of disjoint signatures Σ, Σ as the set of
concept inclusions/disjointness, where B is over Σ and B over Σ .
Vlad Ryzhikov
Free University of Bozen-Bolzano
5/16
14. Definitions
DL-LiteR syntax: let a, b, . . . and n, m, . . . be infinite sets of constants and
nulls; Σ be a set of DL-LiteR concept names A and role names P, then
define
basic concepts B ::= A | ∃P | ∃P −
concept inclusions B1
concept disjointness B1
B2
B2
basic roles R ::= P | P −
role inclusions R1
⊥ role disjointness R1
R2
R2
⊥
concept membership B(a), B(n) role membership R(a, b), R(n, m), . . . ,
DL-LiteR knowledge base is a set of concept/role inclusions/disjointness
(called TBox) and concept/role membership assertions (called ABox if
without nulls, otherwise extended ABox).
Mapping: defined over a pair of disjoint signatures Σ, Σ as the set of
concept inclusions/disjointness, where B is over Σ and B over Σ .
Semantics: standard, no unique name assumption.
Vlad Ryzhikov
Free University of Bozen-Bolzano
5/16
15. Solutions
We consider three notions:
• Universal solution
Inherited from incomplete data exchage; analogious to model conservative
extentions or Σ-model inseparability
Vlad Ryzhikov
Free University of Bozen-Bolzano
6/16
16. Solutions
We consider three notions:
• Universal solution
Inherited from incomplete data exchage; analogious to model conservative
extentions or Σ-model inseparability
• Universal UCQ-solution (UCQ = Union of Conjunctive Queries)
Based on what can be extracted from source and target with unions of
conjunctive queries; analogious to query conservative extentions or Σ-query
inseparability
Vlad Ryzhikov
Free University of Bozen-Bolzano
6/16
17. Solutions
We consider three notions:
• Universal solution
Inherited from incomplete data exchage; analogious to model conservative
extentions or Σ-model inseparability
• Universal UCQ-solution (UCQ = Union of Conjunctive Queries)
Based on what can be extracted from source and target with unions of
conjunctive queries; analogious to query conservative extentions or Σ-query
inseparability
• Representation
Like Universal UCQ-solution, but defined w.r.t. K and K containing only TBox;
uses universal quantification over possible the source and target ABoxes
Vlad Ryzhikov
Free University of Bozen-Bolzano
6/16
18. Universal Solutions
• Let Mod(K) be the set of models of K.
• Let I, J be a pair of DL-LiteR interpretations over signatures,
respectively Σ and Γ, s.t. Σ ⊆ Γ, then I is said to agree with J on Σ, if
aI = aJ for all constants a;
AI = AJ and P I = P J for all concept and role names A and P from Σ.
Given a Γ interpretation J , denote by agrΣ (J ) the set of all Σ
interpretations that agree with J on Σ; we also use agrΣ (J ), where J
is a set of Σ interpretations.
Vlad Ryzhikov
Free University of Bozen-Bolzano
7/16
19. Universal Solutions
• Let Mod(K) be the set of models of K.
• Let I, J be a pair of DL-LiteR interpretations over signatures,
respectively Σ and Γ, s.t. Σ ⊆ Γ, then I is said to agree with J on Σ, if
aI = aJ for all constants a;
AI = AJ and P I = P J for all concept and role names A and P from Σ.
Given a Γ interpretation J , denote by agrΣ (J ) the set of all Σ
interpretations that agree with J on Σ; we also use agrΣ (J ), where J
is a set of Σ interpretations.
• Let the mapping M be between the signatures Σ and Σ ; a KB K over
Σ is said to be a universal solution (US) for a KB K over Σ under M if
Mod(K ) = agrΣ (Mod(K ∪ M)).
Vlad Ryzhikov
Free University of Bozen-Bolzano
7/16
20. Universal Solutions contd.
Mod(K ) = agrΣ (Mod(K ∪ M))
Examples:
K = {A(a)}, M = {A
Vlad Ryzhikov
A },
Free University of Bozen-Bolzano
K = {A (a)} − US
8/16
21. Universal Solutions contd.
Mod(K ) = agrΣ (Mod(K ∪ M))
Examples:
K = {A(a)}, M = {A
K = {A(a), A
Vlad Ryzhikov
B}, M = {A
A },
A ,B
K = {A (a)} − US
B },
K = {A (a), B (a)} − US
K = {A (a), A
B } − not US
Free University of Bozen-Bolzano
8/16
22. Universal Solutions contd.
Mod(K ) = agrΣ (Mod(K ∪ M))
Examples:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
K = {∃R(a)}, M = {R
Vlad Ryzhikov
A },
A ,B
R , ∃R −
K = {A (a)} − US
B },
K = {A (a), B (a)} − US
K = {A (a), A
B } − not US
B }, K = {R (a, n), B (n)} − US
Free University of Bozen-Bolzano
8/16
23. Universal Solutions contd.
Mod(K ) = agrΣ (Mod(K ∪ M))
Examples:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
K = {∃R(a)}, M = {R
K = {A B ⊥,
A(a), B(b)}, M = {A
Vlad Ryzhikov
A },
A ,B
R , ∃R −
A ,B
K = {A (a)} − US
B },
K = {A (a), B (a)} − US
K = {A (a), A
B } − not US
B }, K = {R (a, n), B (n)} − US
B}
Free University of Bozen-Bolzano
− no US exists
8/16
24. Universal Solutions contd.
US is a fundamental and well-behaved notion in DE, however, in KBE it
has a number of issues:
• Nulls required in ABox, which are not part of OWL 2 QL standard.
Vlad Ryzhikov
Free University of Bozen-Bolzano
9/16
25. Universal Solutions contd.
US is a fundamental and well-behaved notion in DE, however, in KBE it
has a number of issues:
• Nulls required in ABox, which are not part of OWL 2 QL standard.
• USs cannot contain any non-trivial TBox, i.e., only (extended) ABoxes
can be materialized as the target.
Vlad Ryzhikov
Free University of Bozen-Bolzano
9/16
26. Universal Solutions contd.
US is a fundamental and well-behaved notion in DE, however, in KBE it
has a number of issues:
• Nulls required in ABox, which are not part of OWL 2 QL standard.
• USs cannot contain any non-trivial TBox, i.e., only (extended) ABoxes
can be materialized as the target.
• USs “very often” do not exists, when the source KB K1 contains
disjointness assertions. Reason: no unique name assumption, as it is
the case in OWL 2 QL.
Vlad Ryzhikov
Free University of Bozen-Bolzano
9/16
27. Universal UCQ-solutions
Universal UCQ-solution is a “softer” notion of solution, that avoids the
above mentioned issues. It uses UCQs q and certains answers cert(q, K):
Vlad Ryzhikov
Free University of Bozen-Bolzano
10/16
28. Universal UCQ-solutions
Universal UCQ-solution is a “softer” notion of solution, that avoids the
above mentioned issues. It uses UCQs q and certains answers cert(q, K):
• Let the mapping M be between the signatures Σ and Σ ; a KB K over
Σ is said to be a universal UCQ-solution (UUCQS) for a KB K over Σ
under M if
cert(q, K ) = cert(q, K ∪ M)
for each UCQ q over Σ .
Vlad Ryzhikov
Free University of Bozen-Bolzano
10/16
29. Universal UCQ-solutions
Universal UCQ-solution is a “softer” notion of solution, that avoids the
above mentioned issues. It uses UCQs q and certains answers cert(q, K):
• Let the mapping M be between the signatures Σ and Σ ; a KB K over
Σ is said to be a universal UCQ-solution (UUCQS) for a KB K over Σ
under M if
cert(q, K ) = cert(q, K ∪ M)
for each UCQ q over Σ .
• if only the inclusion ⊇ in the equation above satisfied, K is called a
UCQ-solution
Vlad Ryzhikov
Free University of Bozen-Bolzano
10/16
30. Universal UCQ-solutions contd.
cert(q, K ) = cert(q, K ∪ M) for each UCQ q over Σ
Examples:
K = {A(a)}, M = {A
Vlad Ryzhikov
A },
Free University of Bozen-Bolzano
K = {A (a)} − UUCQS
11/16
31. Universal UCQ-solutions contd.
cert(q, K ) = cert(q, K ∪ M) for each UCQ q over Σ
Examples:
K = {A(a)}, M = {A
K = {A(a), A
Vlad Ryzhikov
B}, M = {A
A },
A ,B
K = {A (a)} − UUCQS
B },
K = {A (a), B (a)} − UUCQS
K = {A (a), A
B } − UUCQS
Free University of Bozen-Bolzano
11/16
32. Universal UCQ-solutions contd.
cert(q, K ) = cert(q, K ∪ M) for each UCQ q over Σ
Examples:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
K = {∃R(a)}, M = {R
Vlad Ryzhikov
A },
A ,B
R , ∃R −
K = {A (a)} − UUCQS
B },
K = {A (a), B (a)} − UUCQS
K = {A (a), A
B } − UUCQS
B },
Free University of Bozen-Bolzano
K = {∃R (a), ∃R − B }
− UUCQS
11/16
33. Universal UCQ-solutions contd.
cert(q, K ) = cert(q, K ∪ M) for each UCQ q over Σ
Examples:
K = {A(a)}, M = {A
K = {A(a), A
B}, M = {A
K = {∃R(a)}, M = {R
K = {A B ⊥,
A(a), B(b)}, M = {A
Vlad Ryzhikov
A },
A ,B
R , ∃R −
A ,B
K = {A (a)} − UUCQS
B },
K = {A (a), B (a)} − UUCQS
K = {A (a), A
B } − UUCQS
B },
B}
Free University of Bozen-Bolzano
K = {∃R (a), ∃R − B }
− UUCQS
K = {A (a), B (b)}
−UUCQS
11/16
34. Universal UCQ-solutions contd.
• UUCQS is a notion of the solution, that is better suited for KBE.
Vlad Ryzhikov
Free University of Bozen-Bolzano
12/16
35. Universal UCQ-solutions contd.
• UUCQS is a notion of the solution, that is better suited for KBE.
• Still, this notion is dependent on data, i.e., ABox; computing UUCQS
requires processing big amounts of frequently changing data.
Vlad Ryzhikov
Free University of Bozen-Bolzano
12/16
36. Universal UCQ-solutions contd.
• UUCQS is a notion of the solution, that is better suited for KBE.
• Still, this notion is dependent on data, i.e., ABox; computing UUCQS
requires processing big amounts of frequently changing data.
• UCQ-representation is a notion of the solution, that is not dependent
on data.
Vlad Ryzhikov
Free University of Bozen-Bolzano
12/16
37. UCQ-representation
For the definition, we need to consider UCQ-solutions over KBs consisting
of only ABoxes. Cosider A = {A(a)} and M = {A A }, then
• A = {A (a), A (b)} - UCQ-solution;
• A = {A (b)} - not UCQ-solution.
Vlad Ryzhikov
Free University of Bozen-Bolzano
13/16
38. UCQ-representation
For the definition, we need to consider UCQ-solutions over KBs consisting
of only ABoxes. Cosider A = {A(a)} and M = {A A }, then
• A = {A (a), A (b)} - UCQ-solution;
• A = {A (b)} - not UCQ-solution.
Let the mapping M be between the signatures Σ and Σ ; a TBox T over Σ
is said to be UCQ-representaton (UCQR) for a TBox T over Σ under M if
cert(q, T ∪ A ∪ M) =
cert(q, T ∪ A ).
A : A is an ABox over Σ that
is a UCQ-solution for A under M
for
• each UCQ q over Σ ,
• ABox A over Σ
such that T ∪ A is consistent.
Vlad Ryzhikov
Free University of Bozen-Bolzano
13/16
39. UCQ-representation cont.
cert(q, T ∪ A ∪ M) =
cert(q, T ∪ A )
A : A is an ABox over Σ that
is a UCQ-solution for A under M
for each UCQ q over Σ and ABox A over Σ, such that T ∪ A is consistent.
Examples:
T = {A
Vlad Ryzhikov
A}, M = {A
A },
T = {A
Free University of Bozen-Bolzano
A } − UCQR
14/16
40. UCQ-representation cont.
cert(q, T ∪ A ∪ M) =
cert(q, T ∪ A )
A : A is an ABox over Σ that
is a UCQ-solution for A under M
for each UCQ q over Σ and ABox A over Σ, such that T ∪ A is consistent.
Examples:
T = {A
A },
T = {A
Vlad Ryzhikov
A}, M = {A
B}, M = {A
A ,B
T = {A
B },
A } − UCQR
T = {A
A } − not UCQR
T = {A
B } − UCQR
Free University of Bozen-Bolzano
14/16
41. UCQ-representation cont.
cert(q, T ∪ A ∪ M) =
cert(q, T ∪ A )
A : A is an ABox over Σ that
is a UCQ-solution for A under M
for each UCQ q over Σ and ABox A over Σ, such that T ∪ A is consistent.
Examples:
T = {A
A },
T = {A
B}, M = {A
A ,B
T = {A
Vlad Ryzhikov
A}, M = {A
B}, M = {B
T = {A
B },
B },
A } − UCQR
T = {A
A } − not UCQR
T = {A
B } − UCQR
Free University of Bozen-Bolzano
− no UCQR exists
14/16
42. UCQ-representation cont.
cert(q, T ∪ A ∪ M) =
cert(q, T ∪ A )
A : A is an ABox over Σ that
is a UCQ-solution for A under M
for each UCQ q over Σ and ABox A over Σ, such that T ∪ A is consistent.
Examples:
T = {A
A}, M = {A
A },
T = {A
B}, M = {A
A ,B
T = {A
B}, M = {B
B },
⊥}, M = {A
A ,B
T = {A
Vlad Ryzhikov
B
T = {A
B },
A } − UCQR
T = {A
A } − not UCQR
T = {A
B } − UCQR
− no UCQR exists
B },
T = {A
Free University of Bozen-Bolzano
B
⊥} − UCQR
T = ∅ − UCQR
14/16
43. Summary of Complexity Results
Membership
Universal solutions
UCQ-representations
Non-emptiness
Universal solutions
UCQ-representations
ABoxes extended ABoxes
in NP
NP-complete
NLogSpace-complete
ABoxes
extended ABoxes
in NP
PSpace-hard, in ExpTime
NLogSpace-complete
• Membership problem: given source KB K1 , target KB K2 , and the
mapping M, decide, if K2 is correct.
• Non-emptyness problem: given source KB K1 and the mapping M,
decide, if there exists a target KB K2 , such that it is correct.
Vlad Ryzhikov
Free University of Bozen-Bolzano
15/16
44. Summary of Complexity Results
Membership
Universal solutions
UCQ-representations
Non-emptiness
Universal solutions
UCQ-representations
ABoxes extended ABoxes
in NP
NP-complete
NLogSpace-complete
ABoxes
extended ABoxes
in NP
PSpace-hard, in ExpTime
NLogSpace-complete
• Membership problem: given source KB K1 , target KB K2 , and the
mapping M, decide, if K2 is correct.
• Non-emptyness problem: given source KB K1 and the mapping M,
decide, if there exists a target KB K2 , such that it is correct.
• Universal UCQ-solution: membership is PSpace-hard, no other results
yet - future work.
Vlad Ryzhikov
Free University of Bozen-Bolzano
15/16
45. Thank you
for your attention!
Vlad Ryzhikov
Free University of Bozen-Bolzano
16/16