Fuzzy extensions of OWL

Logical properties and reduction to Fuzzy Description Logics

G. Stoilos, G. Stamou, J.Z. Pan

Research output: Contribution to journalArticle

75 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)656-679
Number of pages24
JournalInternational Journal of Approximate Reasoning
Volume51
Issue number6
Early online date25 Jan 2010
DOIs
Publication statusPublished - 1 Jul 2010

Fingerprint

Logical property
Description Logics
Knowledge representation
Semantic Web
Fuzzy Logic
Semantics
Ontology
Knowledge Representation
Axioms
Categorical or nominal
Reasoning

Keywords

  • fuzzy OWL
  • fuzzy description logics
  • reduction of f-OWL
  • syntactic sugar axioms
  • reduction of f-nominals

Cite this

Fuzzy extensions of OWL : Logical properties and reduction to Fuzzy Description Logics. / Stoilos, G.; Stamou, G.; Pan, J.Z.

In: International Journal of Approximate Reasoning, Vol. 51, No. 6, 01.07.2010, p. 656-679.

Research output: Contribution to journalArticle

@article{7109fa191ead48f6937f6cdd22fc726a,
title = "Fuzzy extensions of OWL: Logical properties and reduction to Fuzzy Description Logics",
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.",
keywords = "fuzzy OWL, fuzzy description logics, reduction of f-OWL, syntactic sugar axioms, reduction of f-nominals",
author = "G. Stoilos and G. Stamou and J.Z. Pan",
note = "Copyright 2012 Elsevier B.V., All rights reserved.",
year = "2010",
month = "7",
day = "1",
doi = "10.1016/j.ijar.2010.01.005",
language = "English",
volume = "51",
pages = "656--679",
journal = "International Journal of Approximate Reasoning",
issn = "0888-613X",
publisher = "Elsevier Inc.",
number = "6",

}

TY - JOUR

T1 - Fuzzy extensions of OWL

T2 - Logical properties and reduction to Fuzzy Description Logics

AU - Stoilos, G.

AU - Stamou, G.

AU - Pan, J.Z.

N1 - Copyright 2012 Elsevier B.V., All rights reserved.

PY - 2010/7/1

Y1 - 2010/7/1

N2 - 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.

AB - 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.

KW - fuzzy OWL

KW - fuzzy description logics

KW - reduction of f-OWL

KW - syntactic sugar axioms

KW - reduction of f-nominals

UR - http://www.scopus.com/inward/record.url?scp=78651451294&partnerID=8YFLogxK

U2 - 10.1016/j.ijar.2010.01.005

DO - 10.1016/j.ijar.2010.01.005

M3 - Article

VL - 51

SP - 656

EP - 679

JO - International Journal of Approximate Reasoning

JF - International Journal of Approximate Reasoning

SN - 0888-613X

IS - 6

ER -