Search Sciweavers | Sciweavers

3358 search results - page 82 / 672

» Dynamic Description Logics

144

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

15 years 4 months ago

Download www.dbnet.ece.ntua.gr

Ian Horrocks, Ulrike Sattler

claim paper

Read More »

123

click to vote

DLOG
1998

110views Automated Reasoning» more DLOG 1998»

Description Logic Unplugged

15 years 4 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 4 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

123

click to vote

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

15 years 4 months ago

Download www.jair.org

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

Voted

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers