Search Sciweavers | Sciweavers

4617 search results - page 113 / 924

» Automation of Diagrammatic Reasoning

104

click to vote

DLOG
2006

125views Automated Reasoning» more DLOG 2006»

Will my Ontologies Fit Together?

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, U...

claim paper

Read More »

142

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

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

DLOG
2003

67views Automated Reasoning» more DLOG 2003»

Digital Libraries and Web-based Information Systems

15 years 7 months ago

Download www.cs.vassar.edu

Ian Horrocks, Deborah L. McGuinness, Christopher A...

claim paper

Read More »

click to vote

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Z...

claim paper

Read More »

135

click to vote

DLOG
1998

119views Automated Reasoning» more DLOG 1998»

HAM-ALC

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers