Open AccessConsistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Author(s) -
Stefan Borgwardt,
Rafael Peñaloza
Publication year - 2012
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.25368/2022.188
Subject(s) - undecidable problem , monoidal t norm logic , t norm fuzzy logics , residuated lattice , consistency (knowledge bases) , mathematics , satisfiability , fuzzy logic , description logic , boolean satisfiability problem , semantics (computer science) , discrete mathematics , decidability , algebra over a field , algorithm , computer science , theoretical computer science , fuzzy set , artificial intelligence , pure mathematics , fuzzy number , programming language