Attributive concept descriptions with complements
Artificial Intelligence
On the hardness of approximate reasoning
Artificial Intelligence
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Fuzzy Logic or Lukasiewicz Logic: A Clarification
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Decidable reasoning in terminological knowledge representation systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A four-valued fuzzy propositional logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
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
A model of multimedia information retrieval
Journal of the ACM (JACM)
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
The description logic handbook
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Theoretical Computer Science
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Distributed Reasoning with Fuzzy Description Logics
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Framework for probabilistic geospatial ontologies
International Journal of Geographical Information Science
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
A Formal Model of Fuzzy Ontology with Property Hierarchy and Object Membership
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
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
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Ontology-based knowledge structuring: an application on RSS feeds
HSI'09 Proceedings of the 2nd conference on Human System Interactions
Fuzzy concepts applied to the design of a database in predictive microbiology
Fuzzy Sets and Systems
Making fuzzy description logic more general
Fuzzy Sets and Systems
Two types of hierarchies in geospatial ontologies
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Heuristics for constructing Bayesian network based geospatial ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Use of affordances in geospatial ontologies
Proceedings of the 2006 international conference on Towards affordance-based robot control
Reasoning problems on distributed fuzzy ontologies
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
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
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
A fuzzy description logic with automatic object membership measurement
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A distributed and fuzzy extension of description logics
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
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
A proposal for a gene functions wiki
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Ontology with likeliness and typicality of objects in concepts
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
A Fuzzy Ontology for Database Querying with Bipolar Preferences
International Journal of Intelligent Systems
Datalog-based framework for efficient query answering over fuzzy ontologies
International Journal of Metadata, Semantics and Ontologies
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 |
Description. Logics (DLs, for short) allow reasoning about mdlvlduals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it is a yes/no question. More often than not, the concepts encountered in the real world do not have a precisely defined criteria of membership: we may say that an individual is an instance of a concept only to a certain degree, depending on the individual's properties. Concepts of this kind are rather vague than precise. As fuzzy logic directly deals with the notion of vagueness and imprecision, it offers an appealing foundation for a generalisation of DLs to vague concepts.In this paper we present a general fuzzy DL, which combines fuzzy logic with DLs. We define its syntax, semantics and present constraint propagation calculi for reasoning in it.