On the Decidability Status of Fuzzy ALC with General Concept Inclusions.

Franz Baader Stefan Borgwardt Rafael Peñaloza

Published in: J. Philos. Log. (2015)

Keyphrases

description logics
special case
fuzzy numbers
data sets
fuzzy logic
fuzzy clustering
query answering
concept lattice
number restrictions
formal logic
mathematical theory
ontology languages
fuzzy systems
soft computing
closely related
fuzzy sets
machine learning
databases