Sciweavers

3776 search results - page 39 / 756

» Partition-Based Logical Reasoning

24

DLOG
2003

113views Automated Reasoning» more DLOG 2003»

Basic Description Logics

13 years 10 months ago

Basic Description Logics

Download www.inf.unibz.it

Franz Baader, Werner Nutt

claim paper

Read More »

21

DLOG
2003

133views Automated Reasoning» more DLOG 2003»

An Introduction to Description Logics

13 years 10 months ago

An Introduction to Description Logics

Download www.inf.unibz.it

Daniele Nardi, Ronald J. Brachman

claim paper

Read More »

43

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

13 years 10 months ago

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

Download www.dbnet.ece.ntua.gr

Ian Horrocks, Ulrike Sattler

claim paper

Read More »

29

DLOG
1998

110views Automated Reasoning» more DLOG 1998»

Description Logic Unplugged

13 years 10 months ago

Description Logic Unplugged

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

24

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

13 years 10 months ago

Keys for Free in Description Logics

Download www.inf.unibz.it

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

claim paper

Read More »

« Prev « First page 39 / 756 Last » Next »