Sciweavers

2348 search results - page 77 / 470
» A Fuzzy Description Logic
Sort
View
DLOG
2001
15 years 7 months ago
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
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
IEEEICCI
2002
IEEE
15 years 11 months ago
Computational Intelligence for Medical Knowledge Acquisition with Application to Glaucoma
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
Nicolae Varachiu, Cynthia Karanicolas, Mihaela Uli...
CADE
2002
Springer
16 years 6 months ago
System Description: GrAnDe 1.0
Stephan Schulz, Geoff Sutcliffe
DLOG
2007
15 years 8 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
WILF
2009
Springer
791views Fuzzy Logic» more  WILF 2009»
16 years 5 months ago
Fuzzy C-Means Inspired Free Form Deformation Technique for Registration
This paper presents a novel method aimed to free form deformation function approximation for purpose of image registration. The method is currently feature-based. The algorithm i...
Edoardo Ardizzone, Orazio Gambino, Roberto Gallea,...