Fuzzy sets, decision making and expert systems
Fuzzy sets, decision making and expert systems
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy queries in multimedia database systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A model of multimedia information retrieval
Journal of the ACM (JACM)
Industrial Applications of Fuzzy Control
Industrial Applications of Fuzzy Control
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
Annals of Mathematics and Artificial Intelligence
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
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
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
A Probabilistic Extension to Ontology Language OWL
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 4 - Volume 4
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Making fuzzy description logic more general
Fuzzy Sets and Systems
Modal keywords, ontologies, and reasoning for video understanding
CIVR'03 Proceedings of the 2nd international conference on Image and video retrieval
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Some complexity results on fuzzy description logics
WILF'03 Proceedings of the 5th international conference on Fuzzy Logic and Applications
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 description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Semantic Image Segmentation and Object Labeling
IEEE Transactions on Circuits and Systems for Video Technology
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web
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
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Semantic Middleware to Enhance Multimedia Retrieval in a Broadcaster
SAMT '08 Proceedings of the 3rd International Conference on Semantic and Digital Media Technologies: Semantic Multimedia
Optimizing the Crisp Representation of the Fuzzy Description Logic $\cal \mathcal{SROIQ}$
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
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Integrating Image Segmentation and Classification for Fuzzy Knowledge-Based Multimedia Indexing
MMM '09 Proceedings of the 15th International Multimedia Modeling Conference on Advances in Multimedia Modeling
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Connectionist Models for Formal Knowledge Adaptation
ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
Knowledge representation and consistency checking in a norm-parameterized fuzzy description logic
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Mapping validation by probabilistic reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Formalizing fuzzy UML class diagrams with fuzzy description logics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics
International Journal of Approximate Reasoning
Investigating fuzzy DLs-based reasoning in semantic image analysis
Multimedia Tools and Applications
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
Formalizing fuzzy spatial data model for integrating heterogeneous spatial data
Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications
Semantic representation of multimedia content
Knowledge-driven multimedia information extraction and ontology evolution
An ontology-based fuzzy decision support system for multiple sclerosis
Engineering Applications of Artificial Intelligence
Fuzzy Reasoning over RDF Data Using OWL Vocabulary
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Generalized fuzzy rough description logics
Information Sciences: an International Journal
PossDL — a possibilistic DL reasoner for uncertainty reasoning and inconsistency handling
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
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
Description logics and fuzzy probability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Tractable reasoning with vague knowledge using fuzzy $\mathcal{EL}^{++}$
Journal of Intelligent Information Systems
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
Syntactic labelled tableaux for Łukasiewicz fuzzy ALC
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Datalog-based framework for efficient query answering over fuzzy ontologies
International Journal of Metadata, Semantics and Ontologies
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Representation and reasoning of fuzzy ER models with description logic DLR
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last decade, mainly due to their decidability and the existence of empirically high performance of reasoning algorithms. In this paper, we 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). We illustrate why transitive role axioms are difficult to handle in the presence of fuzzy interpretations and how to handle them properly. Then we extend these results by adding role hierarchies and finally number restrictions. The main contributions of the paper are the decidability proof of the fuzzy DL languages fuzzy-SI and fuzzy-SHIN, as well as decision procedures for the knowledge base satisfiability problem of the fuzzy-SI and fuzzy-SHIN.