Search Sciweavers | Sciweavers

26

DLOG
2008

194views Automated Reasoning» more DLOG 2008»

Consistency Checking for Extended Description Logics

13 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...

Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...

claim paper

Read More »

26

click to vote

LFCS
2009
Springer

216views Artificial Intelligence» more LFCS 2009»

Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm

14 years 3 months ago

Download www.kr.tuwien.ac.at

We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisﬁability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...

Uwe Keller, Stijn Heymans

claim paper

Read More »

31

click to vote

SEMWEB
2005
Springer

137views Internet Technology» more SEMWEB 2005»

The Fuzzy Description Logic f-SHIN

14 years 2 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...

Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...

claim paper

Read More »

35

click to vote

SIVP
2008

127views more SIVP 2008»

Image indexing and retrieval using expressive fuzzy description logics

13 years 8 months ago

Download image.ntua.gr

Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...

Nikos Simou, Thanos Athanasiadis, Giorgos Stoilos,...

claim paper

Read More »

24

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

14 years 2 months ago