Search Sciweavers | Sciweavers

1071 search results - page 29 / 215

» Modal Logics, Description Logics and Arithmetic Reasoning

107

Voted

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

14 years 11 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

14 years 11 months ago

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

Voted

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

14 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

14 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers