Search Sciweavers | Sciweavers

4617 search results - page 97 / 924

» Automation of Diagrammatic Reasoning

click to vote

DLOG
2004

90views Automated Reasoning» more DLOG 2004»

DL-Lite: Practical Reasoning for Rich Dls

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

130

click to vote

DLOG
2004

81views Automated Reasoning» more DLOG 2004»

Reasoning Services for an OWL Authoring Tool: An Experience Report

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Thorsten Liebig, Holger Pfeifer, Friedrich W. von ...

claim paper

Read More »

121

click to vote

DLOG
2006

134views Automated Reasoning» more DLOG 2006»

A Tableaux-based Mobile DL Reasoner - An Experience Report

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Felix Müller, Michael Hanselmann, Thorsten Li...

claim paper

Read More »

119

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 7 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

139

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers