Sciweavers

22 search results - page 1 / 5

» rr 2010

114

RR
2010
Springer

244views Automated Reasoning» more RR 2010»

SPARQL1.1: New Features and Friends (OWL2, RIF)

15 years 1 months ago

SPARQL1.1: New Features and Friends (OWL2, RIF)

Download axel.deri.ie

Axel Polleres

claim paper

Read More »

105

RR
2010
Springer

213views Automated Reasoning» more RR 2010»

On the Termination of the Chase Algorithm

15 years 1 months ago

On the Termination of the Chase Algorithm

Download www.freidok.uni-freiburg.de

Michael Meier

claim paper

Read More »

109

RR
2010
Springer

239views Automated Reasoning» more RR 2010»

A RPL through RDF: Expressive Navigation in RDF Graphs

15 years 1 months ago

A RPL through RDF: Expressive Navigation in RDF Graphs

Download www.furche.net

Harald Zauner, Benedikt Linse, Tim Furche, Fran&cc...

claim paper

Read More »

108

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 1 months ago

Inconsistency-Tolerant Semantics for Description Logics

Download acsi-project.haifa.il.ibm.com

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

102

Voted

DM
2010

103views more DM 2010»

Degree-bounded factorizations of bipartite multigraphs and of pseudographs

15 years 3 months ago

Degree-bounded factorizations of bipartite multigraphs and of pseudographs

Download www.personal.reading.ac.uk

For d 1, s 0 a (d,d +s)-graph is a graph whose degrees all lie in the interval {d,d +1,...,d +s}. For r 1, a 0 an (r,r+1)-factor of a graph G is a spanning (r,r+a)-subgraph of...

Anthony J. W. Hilton

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »