Uncertainty and the Semantic Web

The semantic Web must handle information from applications that have special knowledge representation needs and that face uncertain, imprecise knowledge. More precisely, some applications deal with random information and events, others deal with imprecise and fuzzy knowledge, and still others deal with missing or distorted information - resulting in uncertainty. To deal with uncertainty in the semantic Web and its applications, many researchers have proposed extending OWL and the description logic (DL) formalisms with special mathematical frameworks. Researchers have proposed probabilistic, possibilistic, and fuzzy extensions, among others. Researchers have studied fuzzy extensions most extensively, providing impressive results on semantics, reasoning algorithms, and implementations. Building on these results, we've created a fuzzy extension to OWL called Fuzzy OWL. Fuzzy OWL can capture imprecise and vague knowledge. Moreover, our reasoning platform, fuzzy reasoning engine (FiRE), lets Fuzzy OWL capture and reason about such knowledge

[1]  Michael Kifer,et al.  Requirements for an Expressive Rule Language on the Semantic Web , 2005, Rule Languages for Interoperability.

[2]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[3]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[4]  Ian Horrocks,et al.  The Fuzzy Description Logic f-SHIN , 2005, ISWC-URSW.

[5]  Daniel Sánchez,et al.  Generalizing Quantification in Fuzzy Description Logics , 2004, Fuzzy Days.

[6]  Ian Horrocks,et al.  A Fuzzy Extension of SWRL , 2005, Rule Languages for Interoperability.

[7]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[8]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[9]  Christine Golbreich,et al.  Use Case: Ontology with Rules for identifying brain anatomical structures , 2005, Rule Languages for Interoperability.

[10]  Ian Horrocks,et al.  Fuzzy OWL: Uncertainty and the Semantic Web , 2005, OWLED.

[11]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[12]  Jeff Z. Pan,et al.  A Fuzzy Description Logic for Multimedia Knowledge Representation , 2005 .

[13]  B. Hollunder An alternative proof method for possibilistic logicand its application to terminological logics , 1994, UAI 1994.

[14]  Yin Yang,et al.  An enhanced model for searching in semantic portals , 2005, WWW '05.

[15]  Sudhir Agarwal,et al.  SMART - a semantic matchmaking portal for electronic markets , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

[16]  Yun Peng,et al.  A probabilistic extension to ontology language OWL , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[17]  Umberto Straccia,et al.  Description Logics with Fuzzy Concrete Domains , 2005, UAI.

[18]  Umberto Straccia,et al.  Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report) , 2005, ESWC.

[19]  Carlos Viegas Damsio,et al.  Sorted Monotonic Logic Programs and their Embeddings , 2004 .

[20]  Harry Chen,et al.  Rules For Geospatial Semantic Web Applications , 2005, Rule Languages for Interoperability.

[21]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[22]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[23]  Bernhard Hollunder An alternative proof method for possibilistic logic and its application to terminological logics , 1994, Int. J. Approx. Reason..