Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 10 of 12 for a-c-v-d .

Sort by date, Sort by relevance.

Results

1. Hoard Details 4759

Cepeda Ocampo, J. J. - 1990 - Moneda y circulación monetaria en el País Vasco durante la Antigüedad (siglo II a.C.-V d.C.). ... Martínez Mira, I. - 1995 - Tesorillos del s. III d.C.

chre.ashmus.ox.ac.uk/hoard/4759- 19k - Cached

2. Reference Details 4825

Coin Hoards. of the Roman Empire.

chre.ashmus.ox.ac.uk/reference/4825- 8k - Cached

3. ExpExpExplosion: Uniform Interpolation in General EL Terminologies

A terminology or TBoxconsists of concept inclusion axioms C v D and concept equivalence axioms C Dused as a shorthand for C v D and D v C. ... Then, the ELTBox UI(T , Σ,R1,R2) is given by{C v A | A Σ,C R1(A)} {A v D | A Σ,D R2(A)}{C v D | there

www.cs.ox.ac.uk/files/5751/paper.pdf- 85k - 27 Jun 2012 - Cached

4. https://www.cs.ox.ac.uk/files/6592/paper%2075.pdf

D; C uD v }A′ = {A(a); S(a, b); NS(b, a)}. ... C v D;C v R.D}. Then, O |= D(a), but O′ 6|= D(a); An attempt torecover this entailment by making NR transitive does not solve the problem.

www.cs.ox.ac.uk/files/6592/paper%2075.pdf- 381k - 10 Jun 2014 - Cached

5. https://www.cs.ox.ac.uk/isg/people/cristina.feier/paper%2075.pdf

D; C uD v }A′ = {A(a); S(a, b); NS(b, a)}. ... C v D;C v R.D}. Then, O |= D(a), but O′ 6|= D(a); An attempt torecover this entailment by making NR transitive does not solve the problem.

www.cs.ox.ac.uk/isg/people/cristina.feier/paper%2075.pdf- 381k - 10 Jun 2014 - Cached

6. Incremental View Maintenance with Triple-Lock Factorization Benefits

V@A[ ]. V@B[A] V@C[A]. V@D[C ] V@E[A,C ]R[A,B]. S[A,C ,E ]T[C ,D]. =. ... V@D[C ] V@E[A,C ]. V@C[A]V@C[A]. δV@A[ ]. Delta view tree (for T).

www.cs.ox.ac.uk/dan.olteanu/tutorials/fivm-relationalAI17.pdf- 1310k - 4 Nov 2017 - Cached

7. https://www.cs.ox.ac.uk/files/5752/paper.pdf

A terminology orTBox consists of concept inclusion axioms C v D and concept equivalence axiomsC D used as a shorthand for C v D and D v C. ... M(Rw, Rv, Σ) = {C v A | A Σext(Rw, Rv), C Rw(A)} {A v D | A Σext(Rw, Rv), D Rv(A)} {C v D | there is A /

www.cs.ox.ac.uk/files/5752/paper.pdf- 409k - 29 Aug 2012 - Cached

8. https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPa03c.pdf

Figure 3: Translation from OWL facts to SHOIN+(D). Axiom A Transformation G(A)c v d x : c u dc > v cTrans(r) x : r.r.{y} u ... Figure 5: Translation from OWL Lite facts to SHIF+(D). Axiom A Transformation G(A)a : C a : Ca, b〉 : R b : B, a : R.B.

www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPa03c.pdf- 85k - 26 Jul 2007 - Cached

9. https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2005/SSTPH05.pdf

n1.xp. / np) F(a : x1)./n1,. ,F(a : xn)./np for a newa:type(C) V(C)a:value(R x) (a, b) : R, F(b : x) for b ... Table 5. From entailment to unsatisfiability. Axiom A Transformation G(A)C v D {〈x : C n〉, 〈x : D < n〉}C > v CTrans(R) {〈x : R.(R.{y})

www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2005/SSTPH05.pdf- 208k - 30 Sep 2005 - Cached

10. https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPa03b.pdf

A concept C is subsumed bya concept D w.r.t. K iff CI v DI for each interpretation I satisfying K. ... Axiom A Transformation G(A)c v d x : c u dc > v cTrans(r) x : r.r.{y} u r.{y}r v s x : r.{y} u s.{y}.

www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPa03b.pdf- 124k - 26 Jul 2007 - Cached

Result Page

1 , 2 , Next .



Related searches for a-c-v-d


Enquiries to Webmaster | Powered by Funnelback Search