• Corpus ID: 16142830

General Concept Inclusions inFluzzy Description Logics

@inproceedings{Stoilos2006GeneralCI,
  title={General Concept Inclusions inFluzzy Description Logics},
  author={Giorgos Stoilos and Umberto Straccia and G. Stamou and Jeff Z. Pan},
  booktitle={ECAI},
  year={2006}
}
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. 
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
TLDR
This paper develops a calculus for fuzzy DLs with GCIs under various semantics: classical logic, \Zadeh semantics", and Lukasiewicz logic.
A Fuzzy Description Logic with Product T-norm
TLDR
This work proposes a novel semantics combining the common product t-norm with the standard negation, and shows some interesting properties of the logic and proposes a reasoning algorithm based on a mixture of tableaux rules and the reduction to mixed integer quadratically constrained programming.
Fuzzy description logics with general t-norms and datatypes
TLDR
This work proposes a semantics based on the use of a general left-continuous t-norm and an involutive negation and shows how to handle functional concrete roles relating individuals of the domain and strings, real or integer numbers.
How Fuzzy Is My Fuzzy Description Logic?
TLDR
This work provides a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity.
Handling Imprecise Knowledge with Fuzzy Description Logic
TLDR
The syntax and semantics of fuzzy SHOIQ are presented, investigating several properties of the semantics of transitivity, qualified cardinality restrictions and reasoning capabilities.
The limits of decidability in fuzzy description logics with general concept inclusions
TLDR
This paper presents a proof framework that allows for a near-universal classification of fuzzy DLs according to the decidability of their consistency problem, and provides matchingDecidability results for most of the remaining logics.
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
TLDR
Analysis of Fuzzy Description Logics with General Concept Inclusions with GCIs shows that knowledge base satisfiability is also an undecidable problem for Lukasiewicz Logic.
Reasoning with qualified cardinality restrictions in fuzzy Description Logics
  • G. Stoilos, G. Stamou, S. Kollias
  • Computer Science
    2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence)
  • 2008
TLDR
This paper investigates on the problem of reasoning with qualified cardinality restrictions (QCRs) in fuzzy DLs, extending previous results on simple number restrictions, and presents a tableaux algorithm for the the fuzzy-DL fKD-ALCIQ.
Are fuzzy description logics with general concept inclusion axioms decidable?
  • F. Baader, R. Peñaloza
  • Mathematics, Computer Science
    2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)
  • 2011
TLDR
This paper shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect, and proves undecidability of a variant of this logic.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 35 REFERENCES
Transforming Fuzzy Description Logics into Classical Description Logics
TLDR
This paper presents a reasoning preserving transformation of fuzzy DLs into classical DLs, which has the considerable practical consequence that reasoning in fuzzyDLs is feasible using already existing DL systems.
Description Logics with Fuzzy Concrete Domains
TLDR
A fuzzy version of description logics with concrete domains based on t-norm, t-conorm, negation and implication and a reasoning algorithm based on a mixture of completion rules and bounded mixed integer programming.
Some Complexity Results on Fuzzy Description Logics
TLDR
It is shown that checking the consistency of a concept or a KB in fuzzy DLs has a complexity which jumps from linear-time to EXPTIME-complete, while the subsumption problem is always (at least) as hard as in crisp DLs.
Extended Fuzzy Description Logic ALCN
TLDR
The extended fuzzy ALCN introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherits the concept constructors from description logics to support a new logic system.
Making fuzzy description logic more general
  • P. Hájek
  • Mathematics, Computer Science
    Fuzzy Sets Syst.
  • 2005
TLDR
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented and some stronger results are obtained.
Reasoning within Fuzzy Description Logics
TLDR
This paper presents a fuzzy extension of ALC, combining Zadeh's fuzzy logic with a classical DL, where concepts becomes fuzzy and, thus, reasoning about imprecise concepts is supported.
THE FUZZY DESCRIPTION LOGIC ALCFLH
TLDR
ALCFLH is based on ALCFH, but linear hedges are used instead of exponential ones, which allows to solve the entailment and the subsumption problem in a fuzzy description logic, where arbitrary concepts and roles may be modified.
A Description Logic for Vague Knowledge
TLDR
The main contribution of this paper is a sound and complete method for computing the degree of subsumption between two ALC(FM)-concepts.
Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report)
TLDR
It is shown that the representation and reasoning capabilities of fuzzy $\mathcal{SHOIN}$(D) go clearly beyond classical $D, the corresponding Description Logic of the ontology description language OWL DL.
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers
TLDR
This paper presents the fuzzy description logic ALCFH, where primitive concepts are modified by means of hedges taken from hedge algebras, and extends [8] by allowing modifiers on non-primitive concepts and extending the satisfiability procedure to handle concept definitions.
...
1
2
3
4
...