loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Athens, Georgia, USA
November 10-November 11
ISBN: 0-7695-2652-7
Thomas Lukasiewicz, Universit`a di Roma "La Sapienza", Italy
Vagueness and imprecision abound in multimedia information processing and retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the Semantic Web, we present an approach to fuzzy description logic programs under the answer set semantics. We generalize normal description logic programs (dl-programs) under the answer set semantics by fuzzy vagueness and imprecision. We define a canonical semantics of positive and stratified fuzzy dl-programs in terms of a unique least model and iterative least models, respectively. We then define the answer set semantics of general fuzzy dlprograms, and show in particular that all answer sets of a fuzzy dl-program are minimal models, and that the answer set semantics of positive and stratified fuzzy dl-programs coincides with their canonical least model and iterative least model semantics, respectively. Furthermore, we also provide a characterization of the canonical semantics of positive and stratified fuzzy dl-programs in terms of a fixpoint and an iterative fixpoint semantics, respectively.
Citation:
Thomas Lukasiewicz, "Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web," ruleml, pp.89-96, Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.