Search Sciweavers | Sciweavers

1087 search results - page 25 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

click to vote

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Sonic: System Description

14 years 11 months ago

Download lat.inf.tu-dresden.de

Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...

Anni-Yasmin Turhan, Christian Kissig

claim paper

Read More »

Voted

EUSFLAT
2007

154views Fuzzy Logic» more EUSFLAT 2007»

Resolution Strategies for Fuzzy Description Logic

14 years 11 months ago

Download www.eusflat.org

The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...

Hashim Habiballa

claim paper

Read More »

click to vote

DLOG
1997

127views Automated Reasoning» more DLOG 1997»

Classifying Description Logics

14 years 11 months ago

Download www.inf.unibz.it

We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...

Natasha Kurtonina, Maarten de Rijke

claim paper

Read More »

click to vote

DLOG
2003

70views Automated Reasoning» more DLOG 2003»

E-connections of Description Logics

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »