Search Sciweavers | Sciweavers

4617 search results - page 213 / 924

» Automation of Diagrammatic Reasoning

156

click to vote

DLOG
1996

109views Automated Reasoning» more DLOG 1996»

Object-Oriented Programming Support for CLASSIC

15 years 7 months ago

Download www.inf.unibz.it

: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...

Ralf Möller

claim paper

Read More »

125

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

On the Semantics of Epistemic Description Logics

15 years 7 months ago

Download www.inf.unibz.it

d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy

Riccardo Rosati

claim paper

Read More »

166

click to vote

DLOG
2009

127views Automated Reasoning» more DLOG 2009»

Tractable Query Answering over Ontologies with Datalog+/-

15 years 7 months ago

Download web.comlab.ox.ac.uk

Abstract. We present a family of expressive extensions of Datalog, called Datalog

Andrea Calì, Georg Gottlob, Thomas Lukasiew...

claim paper

Read More »

149

click to vote

GIS
2008
ACM

123views Automated Reasoning» more GIS 2008»

An initial formal model for spatial data infrastructures

15 years 6 months ago

Download www.csdila.unimelb.edu.au

Jan Hjelmager, Harold Moellering, Antony Cooper, T...

claim paper

Read More »

121

click to vote

GIS
2007
ACM

125views Automated Reasoning» more GIS 2007»

Geovisual analytics for spatial decision support: Setting the research agenda

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers