Sciweavers

36 search results - page 2 / 8

» dlog 2010

78

DLOG
2010

120views Automated Reasoning» more DLOG 2010»

Optimized DL Reasoning via Core Blocking

14 years 10 months ago

Optimized DL Reasoning via Core Blocking

Download www.comlab.ox.ac.uk

Birte Glimm, Ian Horrocks, Boris Motik

claim paper

Read More »

51

DLOG
2010

102views Automated Reasoning» more DLOG 2010»

Temporal Conceptual Modelling with DL-Lite

14 years 10 months ago

Temporal Conceptual Modelling with DL-Lite

Download www.cs.uwaterloo.ca

Alessandro Artale, Roman Kontchakov, Vladislav Ryz...

claim paper

Read More »

60

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

14 years 10 months ago

Second-Order Description Logics: Semantics, Motivation, and a Calculus

Download sisinflab.poliba.it

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

62

DLOG
2010

122views Automated Reasoning» more DLOG 2010»

Mastro at Work: Experiences on Ontology-Based Data Access

14 years 10 months ago

Mastro at Work: Experiences on Ontology-Based Data Access

Download www.cs.uwaterloo.ca

Domenico Fabio Savo, Domenico Lembo, Maurizio Lenz...

claim paper

Read More »

99

DLOG
2010

107views Automated Reasoning» more DLOG 2010»

Justification Masking in OWL

14 years 10 months ago

Justification Masking in OWL

Download www.cs.uwaterloo.ca

Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...

Matthew Horridge, Bijan Parsia, Ulrike Sattler

claim paper

Read More »

« Prev « First page 2 / 8 Last » Next »