A four-valued semantics for terminological logics
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Attributive concept descriptions with complements
Artificial Intelligence
A model of multimedia information retrieval
Journal of the ACM (JACM)
A Sequent Calculus for Reasoning in Four-Valued Description Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
On Complete Residuated Many-Valued Logics with t-Norm Conjunction
ISMVL '01 Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic
The description logic handbook
Description logics for databases
The description logic handbook
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Dynamic evolutions based on ontologies
Knowledge-Based Systems
Expressive probabilistic description logics
Artificial Intelligence
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
Application-oriented purely semantic precision and recall for ontology mapping evaluation
Knowledge-Based Systems
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning within extended fuzzy description logic
Knowledge-Based Systems
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Question answering based on pervasive agent ontology and Semantic Web
Knowledge-Based Systems
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Reasoning on UML class diagrams
Artificial Intelligence
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
Journal of Logic and Computation
Making fuzzy description logic more general
Fuzzy Sets and Systems
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Journal of Logic and Computation
Extended fuzzy description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Extending soft sets with description logics
Computers & Mathematics with Applications
Short communication: Reasoning with part-part relations in a description logic
Knowledge-Based Systems
Type-2 fuzzy description logic
Frontiers of Computer Science in China
Semantic decision making using ontology-based soft sets
Mathematical and Computer Modelling: An International Journal
Description logics over lattices with multi-valued ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A tableau algorithm for fuzzy description logics over residuated de morgan lattices
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Entropy on intuitionistic fuzzy soft sets and on interval-valued fuzzy soft sets
Information Sciences: an International Journal
Hi-index | 0.00 |
It is generally accepted that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. In this paper we present a fuzzy description logics framework based on certainty lattices. Our main feature is that an assertion is not just true or false like in classical description logics, but certain to some degree, where the certainty value is taken from a certainty lattice. We extend the well known fuzzy description logic based on fuzzy set theory f-SHIN to the fuzzy description logic based on certainty lattices theory L-SHIN. The syntax, semantics and logical properties of the L-SHIN are given, and a sound, complete and terminating tableaux algorithm for deciding fuzzy ABox consistency w.r.t. RBox for the L-SHIN is presented. In this paper various extensions of fuzzy description logics over lattices are also discussed.