Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics

  • Authors:

  • G. Stoilos;G. Stamou;J. Z. Pan

  • Affiliations:

  • Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, UK;Department of Electrical and Computer Engineering, National and Technical University of Athens, Greece;Department of Computing Science, The University of Aberdeen, UK

  • Venue:
  • International Journal of Approximate Reasoning
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Semantic Web is an extension of the current web, where information would have precisely defined meaning, based on knowledge representation languages. The current W3C standard for representing knowledge is the Web Ontology Language (OWL). OWL is based on Description Logics which is a popular knowledge representation formalism. Although, DLs are quire expressive they feature limitations with respect to what can be said about vague knowledge, which appears in several applications. Consequently, fuzzy extensions to OWL and DLs have gained considerable attention. In the current paper we study fuzzy extensions of the Semantic Web language OWL. First, we present the (abstract) syntax and semantics of a rather elementary fuzzy extension of OWL creating fuzzy OWL (f-OWL). More importantly we use this extension to provide an investigation on the semantics of several f-OWL axioms and more precisely for those which, in classical DLs, can be expressed in different but equivalent ways. Moreover, we present a translation method which reduces inference problems of f-OWL into inference problems of expressive fuzzy Description Logics, in order to provide reasoning support through fuzzy DLs. Finally, we present two further fuzzy extensions of OWL based on fuzzy subsumption and fuzzy nominals.