Presentation is loading. Please wait.

Presentation is loading. Please wait.

Dresden © Franz Baader LTL over Description Logic Axioms TU Dresden Germany * Supported by NICTA, Canberra Research Lab Universita degli Studi di Milano.

Similar presentations


Presentation on theme: "Dresden © Franz Baader LTL over Description Logic Axioms TU Dresden Germany * Supported by NICTA, Canberra Research Lab Universita degli Studi di Milano."— Presentation transcript:

1 Dresden © Franz Baader LTL over Description Logic Axioms TU Dresden Germany * Supported by NICTA, Canberra Research Lab Universita degli Studi di Milano Italy Franz Baader*Silvio GhilardiCarsten Lutz Uni Bremen Germany

2 Dresden © Franz Baader Motivation represent dynamic aspects of the application domain Concussion with no loss of consciousness a correct representation of this concept should say that, after the concussion, the patient remained conscious until the examination. [Schulz, Marko, & Suntisrivaraporn 2006] LTL operators

3 Dresden © Franz Baader Combining DLs with TLs two-dimensional semantics DL interpretation Temporal Structure

4 Dresden © Franz Baader Degrees of freedom which DL and which TL? prototypical

5 Dresden © Franz Baader Degrees of freedom Which pieces of DL syntax can temporal operators be applied to? Our choice

6 Dresden © Franz Baader Degrees of freedom Are there rigid concepts/roles whose interpretation does not vary over time? Our choice have both

7 Dresden © Franz Baader Previous results [Wolter&Zakharasschev 1999] [Gabbay et al. 2003]

8 Dresden © Franz Baader syntax

9 Dresden © Franz Baader semantics

10 Dresden © Franz Baader semantics

11 Dresden © Franz Baader

12 Dresden © Franz Baader

13 Dresden © Franz Baader

14 Dresden © Franz Baader

15 Dresden © Franz Baader Why are these results interesting?

16 Dresden © Franz Baader Why are these results interesting?

17 Dresden © Franz Baader Runtime verification instead of satisfiability checking Runtime verification

18 Dresden © Franz Baader


Download ppt "Dresden © Franz Baader LTL over Description Logic Axioms TU Dresden Germany * Supported by NICTA, Canberra Research Lab Universita degli Studi di Milano."

Similar presentations


Ads by Google