Reasoning with Very Expressive Fuzzy Description Logics
Reasoning with Very Expressive Fuzzy Description Logics is a scholarly work, published in 2007 in ''Journal of Artificial Intelligence Research''. The main subjects of the publication include transitive relation, description logic, vagueness, Type-2 fuzzy sets and systems, artificial intelligence, computer science, T-norm fuzzy logics, fuzzy set operation, theoretical computer science, logic programming, discrete mathematics, Fuzzy number, axiom, mathematics, decidability, Semantic Web, and fuzzy logic. The authors extend the well known fuzzy ALC DL to the fuzzy SHIN DL, which extends the fuzzy ALC DL with transitive role axioms (S), inverse roles (I), role hierarchies (H) and number restrictions (N).