Search Sciweavers | Sciweavers

2181 search results - page 137 / 437

» Ontologies and Description Logics

127

click to vote

IJCAI
2007

172views Artificial Intelligence» more IJCAI 2007»

Conservative Extensions in Expressive Description Logics

15 years 7 months ago

Download www.csc.liv.ac.uk

Carsten Lutz, Dirk Walther, Frank Wolter

claim paper

Read More »

122

click to vote

IJCAI
2007

155views Artificial Intelligence» more IJCAI 2007»

EQL-Lite: Effective First-Order Query Processing in Description Logics

15 years 7 months ago

Download www.ijcai.org

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

116

click to vote

MODELLIERUNG
2008

81views Software Engineering» more MODELLIERUNG 2008»

Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy

15 years 7 months ago

Download isweb.uni-koblenz.de

Fernando Silva Parreiras, Steffen Staab, Andreas W...

claim paper

Read More »

151

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

144

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers