Description Logics with Fuzzy Concrete Domains

07/04/2012
by   Umberto Straccia, et al.
0

We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

03/08/2010

On the Failure of the Finite Model Property in some Fuzzy Description Logics

Fuzzy Description Logics (DLs) are a family of logics which allow the re...
06/03/2020

An ExpTime Upper Bound for 𝒜ℒ𝒞 with Integers (Extended Version)

Concrete domains, especially those that allow to compare features with n...
08/06/2020

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Description logics (DLs) are a suitable formalism for representing knowl...
06/03/2011

Reasoning within Fuzzy Description Logics

Description Logics (DLs) are suitable, well-known, logics for managing s...
10/27/2020

Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...
03/13/2015

Fuzzy Mixed Integer Optimization Model for Regression Approach

Mixed Integer Optimization has been a topic of active research in past d...
02/13/2021

An Efficient Framework for Piece Selection Problem in P2P Content Distribution Network Using Fuzzy Programming Approach

A fuzzy programming approach is used in this article for solving the pie...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.