Are fuzzy description logics with general concept inclusion axioms decidable?

Abstract

This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be “no.” On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic.

DOI: 10.1109/FUZZY.2011.6007520

Extracted Key Phrases

1 Figure or Table

010202011201220132014201520162017
Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Baader2011AreFD, title={Are fuzzy description logics with general concept inclusion axioms decidable?}, author={Franz Baader and Rafael Pe{\~n}aloza}, booktitle={FUZZ-IEEE}, year={2011} }