Search Sciweavers | Sciweavers

4573 search results - page 104 / 915

» Automated Reasoning

click to vote

DLOG
2006

125views Automated Reasoning» more DLOG 2006»

Will my Ontologies Fit Together?

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

101

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

Voted

DLOG
2003

67views Automated Reasoning» more DLOG 2003»

Digital Libraries and Web-based Information Systems

15 years 4 months ago

Download www.cs.vassar.edu

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

claim paper

Read More »

Voted

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

103

click to vote

DLOG
1998

119views Automated Reasoning» more DLOG 1998»

HAM-ALC

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers