Making Fuzzy Description Logic More General

Result code in IS VaVaI

RIV/67985807:_____/05:00405476 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Making Fuzzy Description Logic More General

Original language description

A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Lukasiewicz t-norm some stronger results are obtained.

Czech name

Jak udělat deskripční logiku obecnější

Czech description

Je prezentována verze fuzzy deskripční logiky založená na základní fuzzy predikátové logice BL.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

1ET100300419: Intelligent Models, Algorithms, Methods and Tools for the Semantic Web (realization)

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Volume of the periodical

154

Issue of the periodical within the volume

-

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

15

Pages from-to

1-15

UT code for WoS article

—

EID of the result in the Scopus database

—