Video
Create Note
Dear user,
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Add a New Marker
Dear user,
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tag this content
Please enable javascript to use this function.
Dear user,with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tags added to this content
No tags have been added to this content so far.
Tags added to the series of this content:Internet (1); Praktische Informatik (1); RDF (1);
Add Link to this content
Please enable javascript to use this function.
Dear user,with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content
No links have been added to this content so far.
Add to my playlist
Dear user,
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Playlists
This content is not used in any playlist.
1162526175186351448508517752831862106314821489153916881775183319712085217423032366247726862704295730583218342134533704387339043906390839194395451848844936503952155285529152935311531554445480563456585732576357655772
Lecture Structure
- Semantic Web Jorlesungslnhalt (00:00:16)
- Semantic Web Vorlesungsinhalt (00:00:25)
- 3 Wissensrepräsentation und Logik (00:00:26)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (00:03:07)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Motivation (00:06:54)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 1 Mimva on (00:07:28)
- zur Definition (00:07:28)
- Individuen (00:07:28)
- De nition von Klassen (00:07:28)
- Ontologien (00:07:28)
- für komplexere (00:07:28)
- Modellierung (00:07:28)
- aber nicht geeignet (00:07:28)
- K a homepage (00:07:28)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (00:08:28)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Z Beschreibu l lllke Uberblick (00:08:37)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Z Be5ChreiburIqSl0Gl K Ub fblick (00:12:32)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Z BeschreibunqSl0l1lke Ub fblick (00:13:51)
- ABox Assertional Knowledge (00:13:51)
- Ati (00:13:51)
- TBox Terminological Knowledge (00:13:51)
- Knowledge Base (00:13:51)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Z Be5chreibur1qSl0Ql ken Ub fblick (00:16:40)
- Menge von Axiomen um Fakten über Konzepte Ro//en und Individuen (00:16:40)
- Dt s sind eine Familie logikbasierter Formalismen zur (00:16:40)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Z Bescl reiburIqSI0l1l ken Ubefblick (00:24:06)
- Concrete domains (datatypes) has/ ge (221) (00:24:06)
- Qualified number restrictions (klassenspezifische (00:24:06)
- Number restrictions (Kardinalitätseinschränkungen) für Rollen (00:24:06)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (00:24:42)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC F Sv bix und Semantik (00:24:49)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 3 ALC syntax una seman ik (00:25:39)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC F St/ tax und Semüntik (00:28:08)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 3 tc syntax una seman iit (00:29:35)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 3 ALC syntax una seman ik (00:30:33)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC St/ tax und Semüntik (00:32:51)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC SVIIIBX und Semantik (00:36:13)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC SVFIIBX und Semantik (00:36:14)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC F SVIIIBX und S mintik (00:38:23)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC SVIIIBX und S müntik (00:39:26)
- Semantik und logische Konsequenzen klar da übersetzbar nach FOL (00:39:26)
- Orphan(harrypotter) (00:39:26)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 3 ALC F Svrll x und Semantik (00:41:30)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (00:44:46)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 1 Inferenz und Reasoning (00:46:29)
- Man(B0b) (00:46:29)
- ? P vchild Man(Bill) (00:46:29)
- PROLOG answers (00:46:29)
- everything about (00:46:29)
- Es wird angenommen dass die Wissensbasis alle Individuen enthält (00:46:29)
- CWA Closed World Assumption (00:46:29)
- Die Existenz von weiteren Individuen ist möglich sofern sie nicht explizit (00:46:29)
- OWA Open World Assumption (00:46:29)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 4 Inferenz und Re son n (00:50:11)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ 1 Inferenz und Reasoning (00:52:23)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 41nraren und Reasoning (00:56:15)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (00:57:01)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfah ren (01:01:07)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfahren (01:01:44)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 Tableaux verfahren (01:04:33)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfahren (01:05:04)
- (X=Y) (01:05:04)
- Grundidee (Fortsetzung) (01:05:07)
- für disjunktive Formeln ( 3 Regeln) (01:05:08)
- für konjunktive Formeln (o Regeln) (01:05:08)
- für Aussagenlogik (01:05:08)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfah ren (01:11:24)
- (12 B aus 4) P (01:11:24)
- (4 ci aus 3) (D = Cl) (01:11:24)
- (P = fl) (01:11:24)
- (ZICI BUS 1) (P = (CI= (01:11:24)
- ((I = I1) (01:11:24)
- ((D = (Cl = r)) (01:11:24)
- öicl (01:13:15)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 Tableaux verfahren (01:19:04)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux verfahren (01:21:24)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 ranlaaux varfa ren (01:22:58)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfah ren (01:26:54)
- Ist das resultierende Tableaux abgeschlossen so ist die ursprüngliche (01:26:54)
- (3R C)(a)eA (01:26:54)
- R(öib)eW (ABox) (01:26:54)
- C(a)eW (ABox) (01:26:54)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 Tableaux vananran (01:26:55)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 rai laaux verfahren (01:28:05)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfahren (01:28:11)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 rai iaaux verfahren (01:28:13)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 Tableaux verfahren (01:28:31)
- (12) D(a) (01:30:43)
- (11) U(a) (01:30:43)
- (10) E(a) (01:30:43)
- (3) (E n D)(a) (01:30:43)
- (3 o aus 1) E(a) (01:30:43)
- (1) (P i E)(a) (aus Wissensbasis) (01:30:43)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 Tai iaaux verfahren (01:33:42)
- Wissensrepräsentationen 3 4 Beschreibungslogiken / 3 4 5 rai iaaux verfahren (01:33:54)
- Korrektheit muss natürlich (01:33:54)
- Blocking (01:33:54)
- Idee Wiederven vendung alter Knoten (01:33:54)
- wir hatten folgendes konstruiert (01:33:54)
- Wissensrepräsentationen 3 4 Beschreibungslogiken/ Tableaux Verfah ren (01:34:18)
- Wissensrepräsentationen 3 4 Beschreibungslogiken (01:36:03)
- Semantic Web Vorlesungsinhalt (01:36:05)
- 3 4 Beschreibungslogiken (01:36:05)
- Die Sprachen des Semantic Web Teil 2 (01:36:05)
- 3 Wissensrepräsentation und Logik (01:36:05)
- 5 01 2010 Vorlesung Nr 8 (01:36:05)
- 3 Wissensrepräsentation und Logik (01:36:48)
Keyword
Please enable javascript to use this function.
Please enable javascript to use this function.