• No results found

Games for query inseparability of description logic knowledge bases

N/A
N/A
Protected

Academic year: 2020

Share "Games for query inseparability of description logic knowledge bases"

Copied!
50
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Figure 1: Summary of the combined complexity results.
Figure 2: Materialisations I2 and I1 from Example 5 (dotted lines indicate a partial homomorphism) and their generating structures, G2 and G1.
Figure 3: (a) Example 16: n-winning strategy in GΣ(G2, M1) from ( �→a a). (b) Example 17: 4-winning strategy in GΣ(G2, M1) from (u �→0 σ4).
Figure 4: The forward game G fΣ(G2, G1) from ( �→a a) in Example 18: (a) an ω-winning strategy for player 1; (b) the infinite graph T for extractingω-winning strategies.
+7

References

Related documents

• Although rotational extension and orthogonal extension produce quite different large-scale structures, local features in a rotational extension systems can be regarded

In contrast, the young woman i n Bigg’s case study lacks agency; she is written out of the narrative so that his ingenious prosthetic hand can take centre stage, the author

Laundry, Kitchen and Baths (126 Showers ) Domestic Water System Design,Steam Lines, Plated Exchanger, Water boosters, Supply of Piping material, installation and tests. For (

a-1) Caused, attempted to cause, or threatened to cause physical injury to another person. a-2) Willfully used force or violence upon the person of another, except in self-defense.

It is clear that the radiative forcing of carbon dioxide emitted to the atmosphere is affecting our global mean sea level rise by causing thermal expansion of the

In the following section wedescribe the differentlevels of the model by using different examples: the strongly related concepts of autonomy, dignity, and justice and

Almost all survey participants aimed to reach non-specialist audiences and a very high number targeted individuals who were already interested in science, technology and/or

On the other hand, if only a few variable are kept from the scaling part, the additional feature(s) (projection part) that are linear combinations do bring valuable