Search Sciweavers | Sciweavers

1582 search results - page 98 / 317

» On Higher-Order Description Logics

click to vote

AAAI
2000

129views Intelligent Agents» more AAAI 2000»

Answering Queries Using Views over Description Logics Knowledge Bases

14 years 11 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

AIML
1998

126views Logical Reasoning» more AIML 1998»

Dynamic Description Logics

14 years 11 months ago

Download lips.informatik.uni-leipzig.de

Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

click to vote

DAGSTUHL
1998

106views Software Engineering» more DAGSTUHL 1998»

Description Logics for Conceptual Data Modeling

14 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

109

click to vote

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers