General Concept Inclusions in Fuzzy Description Logics

Authors:
Giorgos Stoilos;Umberto Straccia;Giorgos Stamou;Jeff Z. Pan
Affiliations:
National and Technical University of Athens;ISTI --Italian National Research Council at Pisa;National and Technical University of Athens;Department of Computing Science, The University of Aberdeen, UK
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 8
Cited 24

Attributive concept descriptions with complements

Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
An enhanced model for searching in semantic portals

WWW '05 Proceedings of the 14th international conference on World Wide Web
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
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

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
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
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
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm

LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Reasoning within intuitionistic fuzzy rough description logics

Information Sciences: an International Journal
Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases

DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
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
Reasoning within expressive fuzzy rough description logics

Fuzzy Sets and Systems
A formal framework for description logics with uncertainty

International Journal of Approximate Reasoning
Deciding Query Entailment for Fuzzy $\mathcal{SHIN}$ Ontologies

ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Expressive reasoning with horn rules and fuzzy description logics

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
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
A description logic approach for representing and reasoning on fuzzy object-oriented database models

Fuzzy Sets and Systems
A description logic approach for representing and reasoning on fuzzy object-oriented database models

Fuzzy Sets and Systems
How fuzzy is my fuzzy description logic?

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
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
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm

Information Sciences: an International Journal
Aggregation operators for fuzzy ontologies

Applied Soft Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCIs.