Sciweavers

1285 search results - page 33 / 257

» Description Logic Reasoner: System Description

155

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

15 years 7 months ago

Fusions of Description Logics

Download www.jair.org

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

claim paper

Read More »

124

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

15 years 7 months ago

Discovering description logic assertions from database schemes

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

127

DLOG
2009

79views Automated Reasoning» more DLOG 2009»

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

15 years 3 months ago

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

Download dl.kr.org

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....

claim paper

Read More »

141

DLOG
2011

194views Automated Reasoning» more DLOG 2011»

Mapping Data to Higher-Order Description Logic Knowledge Bases

14 years 9 months ago

Mapping Data to Higher-Order Description Logic Knowledge Bases

Download sunsite.informatik.rwth-aachen.de

Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...

claim paper

Read More »

173

IJCAI
2001

140views Artificial Intelligence» more IJCAI 2001»

Ontology Reasoning in the SHOQ(D) Description Logic

15 years 7 months ago

Ontology Reasoning in the SHOQ(D) Description Logic

Download www.cs.man.ac.uk

Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...

Ian Horrocks, Ulrike Sattler

claim paper

Read More »

« Prev « First page 33 / 257 Last » Next »