Wissensrepräsentation 2/3 Harald Sack. Yovisto Academic Video Search. Prädikatenlogik Wissensrepräsentation Logik Grundlagen Beschreibungslogiken 3.2.1 3.2 Web Semantic Resolution Prädikatenlogik Literatur Friedrich-Schiller-Universität Jena resolution e-mail ernst-abbe-platz jena fsu institut sack harald inferenzsystem swrl owl beschreibungslog eigenschaft resolution normalform semant modelltheoret fol pradikatenlog aussagenlog wiederhol logik informat philosophi ontologi vorles wissensreprasentation web semantic aussag klauselform transformation theori widerspruch ableit erlaubt resolutionsverfahr unerfullbar allgemeingult konsequenz logisch resolution grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic falsch wahr aussagenlog resolution unerfullbar grundlag logik beschreibungslog wissensreprasentation resolutionsschritt bezeichnet klausel leer entsteht negiert atom resolviert neu klauseln aussagenlog resolution grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic unerfullbar zeig beispiel pradikatenlog resolution grundlag logik beschreibungslog wissensreprasentation calvanes baad literatur wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic verlag akadem spektrum informat logik schoning press university cambridg handbook logics description mcguinness e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic vorles teil nach owl seminentscheidbar hornklauseln klauseln disjunktiv entscheidbar funktionssymbol prolog datalog aussagenlog pradikatenlog fragment wichtig grundlag logik beschreibungslog wissensreprasentation automat terminier widerleg find lass schluss genannt aussagenlog eigenschaft falsch wahr entscheidbar grundlag logik beschreibungslog wissensreprasentation grundlag logik beschreibungslog wissensreprasentation find lass schluss teilmeng endlich genugt theori schlussfolger schlussfolger geh vergrosser pradikatenlog eigenschaft wahr semientscheidbar kompakt monotoni wiss e-mail ernst-abbe-platz jena fsu institut sack harald inferenzsystem swrl owl beschreibungslog eigenschaft resolution normalform semant modelltheoret fol pradikatenlog aussagenlog wiederhol logik informat philosophi ontologi vorles wissensreprasentation web semantic resolution grundlag logik beschreibungslog wissensreprasentation geh fug klausel neu erzeug wahl abzuleit klauseln meng widerspruch vorgehensweis aussagenlog e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic ergibt berucksichtigt substitution hilf variablenbind zusatz pradikatenlog resolution grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic folg abox individu tbox terminolog beispiel pradikatenlog resolution wiss grundlag logik beschreibungslog wissensreprasentation e-mail ernst-abbe-platz jena fsu informat institut sack harald web semantic tableauverfahr klauseln abgeleitet beispiel pradikatenlog resolution wiss grundlag logik beschreibungslog wissensreprasentation