Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Uncertainty and vagueness in knowledge based systems
Uncertainty and vagueness in knowledge based systems
Attributive concept descriptions with complements
Artificial Intelligence
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
A probabilistic terminological logic for modelling information retrieval
SIGIR '94 Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval
Can we enforce full compositionality in uncertainty calculi?
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
On the hardness of approximate reasoning
Artificial Intelligence
A relevance terminological logic for information retrieval
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Approximate and Commonsense Reasoning: From Theory to Practice
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Modelling the Retrieval of Structured Documents Containing Texts and Images
ECDL '97 Proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
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
Reasoning and Experimenting within Zadeh''s Fuzzy Propositional Logic
Reasoning and Experimenting within Zadeh''s Fuzzy Propositional Logic
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
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
Annals of Mathematics and Artificial Intelligence
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
An enhanced model for searching in semantic portals
WWW '05 Proceedings of the 14th international conference on World Wide Web
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
A Semantic Web ontology for context-based classification and retrieval of music resources
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Formalizing typicality of objects and context-sensitivity in ontologies
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Uncertainty and the Semantic Web
IEEE Intelligent Systems
Probabilistic description logic programs
International Journal of Approximate Reasoning
Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Semantic identification: balancing between complexity and validity
EURASIP Journal on Applied Signal Processing
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
On scene interpretation with description logics
Image and Vision Computing
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
A family of Extended Fuzzy Description Logics
International Journal of Business Intelligence and Data Mining
Complexity control in semantic identification
International Journal of Intelligent Systems Technologies and Applications
A framework for context-sensitive metadata description
International Journal of Metadata, Semantics and Ontologies
A fuzzy extension in ALC description logics
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Scalable querying services over fuzzy ontologies
Proceedings of the 17th international conference on World Wide Web
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Combining weights with fuzziness for intelligent semantic web search
Knowledge-Based Systems
Proof Theory for First Order Łukasiewicz Logic
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Semantic Adaptation of Neural Network Classifiers in Image Segmentation
ICANN '08 Proceedings of the 18th international conference on Artificial Neural Networks, Part I
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
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Using Fuzzy DLs to Enhance Semantic Image Analysis
SAMT '08 Proceedings of the 3rd International Conference on Semantic and Digital Media Technologies: Semantic Multimedia
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Optimizing the Crisp Representation of the Fuzzy Description Logic $\cal \mathcal{SROIQ}$
Uncertainty Reasoning for the Semantic Web I
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
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
Conjunctive Query Answering over an f-ALC Knowledge Base
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
Multi-Criterion Search from the Semantic Point of View(Comparing TIL and Description Logic)
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
EL description logics with aggregation of user preference concepts
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
A Description Logic with Concept Instance Ordering and Top-k Restriction
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
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
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
FRESG: A Kind of Fuzzy Description Logic Reasoner
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Structured knowledge representation for image retrieval
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
Qualitative temporal reasoning about vague events
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
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
Multi Criteria Decision Making in Fuzzy Description Logics: A First Step
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
Proof Systems for a Gödel Modal Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Knowledge-Based Concept Score Fusion for Multimedia Retrieval
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Making fuzzy description logic more general
Fuzzy Sets and Systems
Towards spatial reasoning in fuzzy description logics
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Expressive reasoning with horn rules and fuzzy description logics
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Towards a type-2 fuzzy description logic for semantic search engine
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Fuzzy-DL reasoning over unknown fuzzy degrees
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
A family of fuzzy description logics with comparison expressions
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Reasoning problems on distributed fuzzy ontologies
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Formalizing fuzzy UML class diagrams with fuzzy description logics
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
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
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
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
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
SWRL-F: a fuzzy logic extension of the semantic web rule language
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Semantic representation of multimedia content
Knowledge-driven multimedia information extraction and ontology evolution
Type-2 fuzzy description logic
Frontiers of Computer Science in China
Towards learning fuzzy DL inclusion axioms
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
Rewriting fuzzy queries using imprecise views
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On the undecidability of fuzzy description logics with GCIs and product t-norm
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
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
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics 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
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
Some complexity results on fuzzy description logics
WILF'03 Proceedings of the 5th international conference on Fuzzy Logic and Applications
Towards fuzzy ontology handling vagueness of natural languages
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Providing an uncertainty reasoning service for semantic web application
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
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
Mapping fuzzy concepts between fuzzy ontologies
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
A fuzzy extension of description logic ALCH
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
A semantic search conceptual model and application in security access control
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
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
Extended fuzzy description logic ALCN
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
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
Two reasoning methods for extended fuzzy ALCH
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Ontology with likeliness and typicality of objects in concepts
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
f-SWRL: a fuzzy extension of SWRL
Journal on Data Semantics VI
Fuzzy query answering in motor racing domain
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Fuzzy ontologies for the semantic web
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Possibilistic planning using description logics: a first step
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Reasoning and quantification in fuzzy description logics
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Towards pragmatic argumentative agents within a fuzzy description logic framework
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
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
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
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
Positive subsumption in fuzzy EL with general t-norms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
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
Inconsistency-tolerant reasoning with OWL DL
International Journal of Approximate Reasoning
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.01 |
Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e. set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like to extend their capabilities. In particular, their use in the context of Multimedia Information Retrieval (MIR) leads to the convincement that such DLs should allow the treatment of the inherent imprecision in multimedia object content representation and retrieval. In this paper we will present a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL. In particular, concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported. We will define its syntax, its semantics, describe its properties and present a constraint propagation calculus for reasoning in it.