Search Sciweavers | Sciweavers

4573 search results - page 60 / 915

» Automated Reasoning

click to vote

DLOG
1998

74views Automated Reasoning» more DLOG 1998»

Semi-structured Data with Constraints and Incomplete Information

15 years 4 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

DLOG
1998

75views Automated Reasoning» more DLOG 1998»

Structural Subsumption Considered from an Automata-Theoretic Point of View

15 years 4 months ago

Download www.inf.unibz.it

Franz Baader, Ralf Küsters, Ralf Molitor

claim paper

Read More »

click to vote

DLOG
1998

81views Automated Reasoning» more DLOG 1998»

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases

15 years 4 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Riccardo Ros...

claim paper

Read More »

146

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 »

125

click to vote

DLOG
1998

110views Automated Reasoning» more DLOG 1998»

Description Logic Unplugged

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers