Abstract
Original language | English |
---|---|
Pages (from-to) | 656-679 |
Number of pages | 24 |
Journal | International Journal of Approximate Reasoning |
Volume | 51 |
Issue number | 6 |
Early online date | 25 Jan 2010 |
DOIs | |
Publication status | Published - 1 Jul 2010 |
Fingerprint
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 journal › Article
}
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 -