Search Sciweavers | Sciweavers

441 search results - page 11 / 89

» Automated Benchmarking of Description Logic Reasoners

click to vote

DLOG
2007

154views Automated Reasoning» more DLOG 2007»

Automated Evaluation of Description Logic Reasoning Systems

15 years 2 months ago

Download www.sts.tu-harburg.de

Abstract. The DL implementation group (DIG) has speciﬁed a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...

Sebastian Wandelt

claim paper

Read More »

click to vote

DLOG
2009

68views Automated Reasoning» more DLOG 2009»

Fair Cycle Detection using Description Logic Reasoning

14 years 9 months ago

Download www.cs.uwaterloo.ca

Shoham Ben-David, Jeffrey Pound, Richard J. Trefle...

claim paper

Read More »

Voted

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

16 years 1 days ago

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

105

click to vote

DLOG
2001

134views Automated Reasoning» more DLOG 2001»

Optimizing Reasoning in Description Logics with Qualified Number Restrictions

15 years 1 months ago

Download kogs-www.informatik.uni-hamburg.de

In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...

Volker Haarslev, Ralf Möller

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers