Search Sciweavers | Sciweavers

2694 search results - page 84 / 539

» A Description Logic of Change

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

13 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

13 years 10 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

13 years 10 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

13 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers