Search Sciweavers | Sciweavers

441 search results - page 5 / 89

» Automated Benchmarking of Description Logic Reasoners

114

click to vote

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

15 years 6 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

120

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

15 years 6 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

121

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

15 years 6 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

132

Voted

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

The Use of Description Logics in the Condorcet Conceptual Information Retrieval System

15 years 6 months ago

Download www.inf.unibz.it

Jeroen Nijhuis

claim paper

Read More »

117

click to vote

DLOG
2009

82views Automated Reasoning» more DLOG 2009»

Unification in the Description Logic EL

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers