Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Default reasoning in semantic networks: a formalization of recognition and inheritance
Artificial Intelligence
Probabilistic Inheritance and Reasoning in Hybrid Knowledge Representation Systems
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
Test-score semantics for natural languages
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Semantic Structuring and Visual Querying of Document Abstracts in Digital Libraries
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
A Description Logic for Image Retrieval
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Fuzzy Semantics for the Resource Description Framework
Uncertainty Reasoning for the Semantic Web I
Reasoning with the Fuzzy Description Logic f-$\mathcal{SHIN}$: Theory, Practice and Applications
Uncertainty Reasoning for the Semantic Web I
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Making fuzzy description logic more general
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
A family of fuzzy description logics with comparison expressions
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
International Journal of Approximate Reasoning
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
Description spaces with fuzziness
Proceedings of the 2011 ACM Symposium on Applied Computing
f-SWRL: a fuzzy extension of SWRL
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
Probabilistic description logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
An alternative proof method for possibilistic logicand its application to terminological logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A fuzzy extension of description logic ALC with comparison expressions
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Reasoning technique for extended fuzzy ALCQ
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Extended fuzzy ALCN and its tableau algorithm
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Trends and issues in description logics frameworks for image interpretation
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
Document retrieval by relevance terminological logics
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Description logics over lattices with multi-valued ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Hi-index | 0.00 |
During the past decade, knowledge representation research in AI has generated a class of languages called term subsumption languages (TSL), which is a knowledge representation formalism with a well-defined logic-based semantics-Due to its formal semantics, a term subsumption system can automatically infer the subsumption relationships between concepts defined in the system. However, these systems are very limited in handling vague concepts in the knowledge base. In contrast, fuzzy logic directly deals with the notion of vagueness and imprecision using fuzzy predicates, fuzzy quantifiers, linguistic variables, and other constructs. Hence, fuzzy logic offers an appealing foundation for generalizing the semantics of term subsumption languages. Based on a test score semantics in fuzzy logic, this paper first generalizes the semantics of term subsumption languages. Then, we discuss impacts of such a generalization to the reasoning capabilities of term subsumption systems. The generalized knowledge representation framework not only alleviates the difficulty of conventional AI knowledge representation schemes in handling imprecise and vague information, but also extends the application of fuzzy logic to complex intelligent systems that need to perform highlevel analyses using conceptual abstractions.