Search Sciweavers | Sciweavers

2381 search results - page 84 / 477

» On Ordering Descriptions in a Description Logic

click to vote

AIML
1998

126views Logical Reasoning» more AIML 1998»

Dynamic Description Logics

15 years 1 months ago

Download lips.informatik.uni-leipzig.de

Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

15 years 1 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

121

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

15 years 1 months ago

Download www.dbnet.ece.ntua.gr

Ian Horrocks, Ulrike Sattler

claim paper

Read More »

click to vote

DLOG
1998

110views Automated Reasoning» more DLOG 1998»

Description Logic Unplugged

15 years 1 months ago

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

click to vote

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers