Proceedings of the First International Workshop on Uncertainty in Description Logics

Thomas LukasiewiczThomas Lukasiewicz, Rafael PeñalozaRafael Peñaloza, Anni-Yasmin TurhanAnni-Yasmin Turhan

Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Proceedings of the First International Workshop on Uncertainty in Description Logics
Volume 613 of CEUR, July 2010

Details
Bibtex

KurzfassungAbstract
During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in DLs. This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty.
Bemerkung: Note: UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@proceedings{ UniDL-10,
  editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  month = {July},
  note = {UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/},
  number = {613},
  series = {CEUR},
  title = {Proceedings of the First International Workshop on Uncertainty in Description Logics},
  year = {2010},
}