Search Sciweavers | Sciweavers

2381 search results - page 82 / 477

» On Ordering Descriptions in a Description Logic

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 1 months ago

Download www.mindswap.org

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

claim paper

Read More »

click to vote

DLOG
2003

113views Automated Reasoning» more DLOG 2003»

Basic Description Logics

15 years 1 months ago

Download www.inf.unibz.it

Franz Baader, Werner Nutt

claim paper

Read More »

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

click to vote

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

15 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...

claim paper

Read More »

click to vote

DLOG
2003

133views Automated Reasoning» more DLOG 2003»

An Introduction to Description Logics

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers