BEGIN:VCALENDAR
VERSION:2.0
PRODID:www.dresden-science-calendar.de
METHOD:PUBLISH
CALSCALE:GREGORIAN
X-MICROSOFT-CALSCALE:GREGORIAN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
DTSTART:19810329T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:DSC-13578
DTSTART;TZID=Europe/Berlin:20171027T091500
SEQUENCE:1509091442
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20171027T101500
URL:https://dresden-science-calendar.de/calendar/en/detail/13578
LOCATION:TUD Andreas-Pfitzmann-Bau\, Nöthnitzer Straße 4601069 Dresden
SUMMARY:Böhme: Context Reasoning for Role-Based Models
CLASS:PUBLIC
DESCRIPTION:Speaker: Dipl.-Math. Stephan Böhme\nInstitute of Speaker: Inst
 itut für Theoretische Informatik\, Automatentheorie\nTopics:\nInformatik\
 n Location:\n  Name: TUD Andreas-Pfitzmann-Bau (APB 1004 (Ratssaal))\n  St
 reet: Nöthnitzer Straße 46\n  City: 01069 Dresden\n  Phone: \n  Fax: \nD
 escription: Nowadays\, we are literally everywhere surrounded by software 
 systems. These should cope with very complex scenarios including the abili
 ty of context-awareness and self-adaptability. The concept of roles provid
 e the means to model such complex\, context-dependent systems. In role-bas
 ed systems\, the relational and context-dependent properties of objects ar
 e transferred into the roles that the object plays in a certain context. H
 owever\, even if the domain can be expressed in a well-structured and modu
 lar way\, role-based models can still be hard to comprehend due to the sop
 histicated semantics of roles\, contexts and different constraints. Hence\
 , unintended implications or inconsistencies may be overlooked. A feasible
  logical formalism is required here. In this setting Description Logics (D
 Ls) fit very well as a starting point for further considerations since as 
 a decidable fragment of first-order logic they have both an underlying for
 mal semantics and decidable reasoning problems. DLs are a well-understood 
 family of knowledge representation formalisms which allow to represent app
 lication domains in a well-structured way by DL-concepts\, i.e. unary pred
 icates\, and DL-roles\, i.e. binary predicates. However\, classical DLs la
 ck expressive power to formalise contextual knowledge which is crucial for
  formalising role-based systems. We investigate a novel family of contextu
 alised description logics that is capable of expressing contextual knowled
 ge and preserves decidability even in the presence of rigid DL-roles\, i.e
 . relational structures that are context-independent. For these contextual
 ised description logics we thoroughly analyse the complexity of the consis
 tency problem. Furthermore\, we present a mapping algorithm that allows fo
 r an automated translation from a formal role-based model\, namely a Compa
 rtment Role Object Model (CROM)\, into a contextualised DL ontology. We pr
 ove the semantical correctness and provide ideas how features extending CR
 OM can be expressed in our contextualised DLs. As final step for a complet
 ely automated analysis of role-based models\, we investigate a practical r
 easoning algorithm and implement the first reasoner that can process conte
 xtual ontologies.
DTSTAMP:20260411T112348Z
CREATED:20171014T075356Z
LAST-MODIFIED:20171027T080402Z
END:VEVENT
END:VCALENDAR