Search Sciweavers | Sciweavers

1470 search results - page 76 / 294

» An Introduction to Description Logics

click to vote

AAAI
2006

96views Intelligent Agents» more AAAI 2006»

On the Update of Description Logic Ontologies at the Instance Level

15 years 7 months ago

Download www.aaai.org

Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...

claim paper

Read More »

151

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

143

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

295

click to vote

DLOG
2006

333views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

15 years 7 months ago

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

145

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers