Rationale

Reasoning with various sorts of uncertainty is critical for many tasks from representing the results of medical experiments to working with the output of ontology alignment tools. However, there are many, many sorts of uncertainty formalisms and several active research programs working in this area. This task force will try to present the state of the area in such a way that the OWLED participants can start to understand what questions they need to ask and answer.

Current Topics

The TF is working on three topics at the moment:

1. Fuzzy extensions
2. Probabilistic extensions
3. Possiblistic extensions

Current Tools

• Fuzzy extensions
• FiRE: A fuzzy SHIN Reasoner
• fuzzyDL: A mixed integer programming-based SHIf fuzzy reasoner
• ONTOSEARCH2: A fuzzy DL-Lite reasoner and query engine

• Probabilistic extensions
• Possiblistic extensions

References

• Fuzzy extensions
• Uncertainty and the Semantic Web
• Reasoning within Fuzzy Description Logics
• Reasoning with Very Expressive Fuzzy Description Logics
• f-SWRL: A Fuzzy Extension of SWRL
• Scalable Querying Services over Fuzzy Ontologies
• Probabilistic extensions
• Probabilistic Description Logics for the Semantic Web
• Possiblistic extensions
• Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

• General extensions
• Representing Uncertainty in RuleML

Related

• W3C Incubator group on Uncertainty Reasoning
• Fuzzy RuleML Technical Group

People

• Jeff Z. Pan (point person)
• Giorgos Stamou (point person)
• Bijan Parsia
• Giorgos Stoilos