Semantic Web (05) - Wissensrepräsentation (1) - Ontologien in der Philosophie und der Informatik Harald Sack. Yovisto Academic Video Search. Beschreibungslogiken atik Beschre Besch Besc Aussagen bung Beschreibung Begriffe Aunt Philosophie Ontologien Informatik ilosoph Babel Friedrich-Schiller-Universität Jena hazy start hmmr alba shun null jura iiit form anra r-vi nam form vokabular typ thesauri philosophi ontologi ntation mcguinn ltrl kategori ist-ein instanz informat glossar fram formal disjunkt constraint allg zugeschnitt wwww wov typ toplevel task regel philosophi ontology ontologi onto onlo ntation mche lell kategori irat informat guarino foundation domain aufgab aufein application aktivitat ader typ swrl slog semantic rach philosophi ontologi ontologi ontolog onto oncol motivation kategori informat info ilosoph bung beschreibungslog besch aunt antic zieh wiss urld uber ssen sprach rieh representation rdfs philosophi ontologi ontologi ontologi ocml modell mod markup-sprach loom limiti komplex informat geeignet formalism flogic daml chen bess beschreibungssprach alternativ wiss vornam titel tech string softwar seminar philosophi person ontologi onto ntation nachnam konn inform ilf hilf er-modell end dat beschrieb beschreibungssprach besch beginn aunt atik relation philosophi ontologi nterpret ntation mion logics konzept ipti informat domain discours descr beschreibungssprach beschreibungslog atomar syntax synt sprach sentation philosophi ontologi ontolog negation mion konj invers informat imers existentiell ehung disjunktion concept bottom beziehungshierarchi beschreibungssprach aunt with seminar sag regel quan philosophi person penon operator ontologi mad logics logic languag inform idet form disjun description description complement beschreibungssprach beschreibungslog besc beinhalt attributiv atik xabi wiss subsumption student rol ral philosophi operator operaton ontologi ntation nner logics konstant informat individual individu glich gering formuli entscheidbar enthaltensein doktorandenseminar description constructor concept beschreibungssprach beschreib beschr ausp anisa alic una seminar sag regel quan philosophi person penan operator ontologi ntation neg logics logic languag inform idet form disjun description description complement beschreibungssprach beschreibungslog besc beinhalt atik xabi student selbstorganisation philosophi operaton ontologi nob nnef logics komplexit komplex ipr inform glich gering formuli entscheidbar enthaltensein doktorandenseminar description descr beschreibungssprach beschreibungslog beschreib beschr besc ausp atik alic unar student seminar schreib rolet rol relation philosophi person penon ontologi nimmt logics liest klass info entiti dozent description concept binar beschreibungssprach beschreibungslog beschreib besc ass wiss vorhand uber termin stuf seminar schlie ption philosophi ontologi onal neu mist logics konzept knowlegd klass jnen jber ist instanz iken gewinn gegensatz famili eser erst entation engl eigenschaft doman doktorandenseminar description description descr beschreibungssprach beschreibungslog beschreibungslog besch besc attribut atik abox welt unterscheid sterblich ssag sokrat schlussfolger relation propositional properti philosophi ontologi omol objekt objekt ntation mensch mensch logic informat glich funktion folgend fakt eindeut eigenschaft didy blich bezieh beschreibungssprach aussagenlog aussag aussag alf typ temu swrl slog semantic renz rach philosophi ontologi ontologi ontolog ontol onto motivation kategori informat ilosoph bung beschreibungslog besch aunt word tabl seminar rvera planet peopl ontology ontologi ontologi ofan object numb numb nsta ndiv modellier modell mittwoch lehrveranstalt komponent informat info individu indiv includ doktora dokto concret component bezeichn anma allr abstract xann wiss weis urch uber tolog termin tennin spezialfall rung rmat restl regeln rden philosophi ontologi nnen modellier modell lehrveranstalt komponent kompo klass info icht halt getroff chen bezieh bezeichn axiom aussag auss udent student regeln rden philosophi person persan ontologi ntation nnen modellier modell misch mann komponent klass informat frau elht bezieh besitzt adress wert vorles student steh speziell sin professor philosophi person ontologi omol objekt nnen modellier modell lehrveranstalt komponent klass klass inform halt formal ell darstellt bezieh besucht besha attribut atik adress sprach spach philosophi ontologi ntation modellier modell mmal korrekt komponent jich informal formal eten ert bung brma beschreib beschr ach smng sentation sbin ribut ress rden postleitzahl philosophi ontologi name-wert-paar nam nachnam modell komponent klass instanz informati idet grub gebildet gebi bezieh beschrieb beschreib beschreibun attribut adress adr wsta undid ruft philosophi ontologi nthe nsch konzept konzept informat indirekt hervar golf bees philosophi nthe indirekt i-im twig relevant philosophi ontologi ons logi leun kons i-im iiiit damin bzgl bezieh begriff bedeu philosophi ontologi ontologi ntation lung lill informa i-im fen typ swrl slog semantic rach philosophi ontologi ontologi ontolog onto motivation kategori informat ilosoph bung beschreibungslog besch welt wahrzunehm vermag rent relation philosophi ontologi kant iert grundfrag gemeinsam einheit auant atik allheit zugemess william tten thomas philosophi ontolog omol ockham nichb logi lien jhdt ide existenz ersa canterbury cant anselm uber syst syst stellt philosophi ontologi ontologi ntation konn klassifikation kation kategori informati i-im getroff gefro ding aussag aussa assi aristotel aff zeit wiss tion tind syst stellt siom sein rmat rden qualitat philosophi parmenid ontologi ontologi ontologi ober ntation metaphys konn klassisch klass kategori karegori jhdt isch inro informat ilosoph iech griechisch getroff getro fundamental etik ding aussag aristotel welt trennung sokrat schatt real philosophi ontologi ontologi objekt ntat klassisch klass klass jhdt isch informat ilosoph iech ide ide hierarchi griechisch deen wiss smell senn pist philosophi ontologi onto ntation mind lehr informat hwie gggg erkenntnistheori ding allgemein typ swrl slog semantic rach philosophi ontologi ontologi ontolog ontol onto oncolog motivation kategori informat info ilosoph bung beschreibungslog besch wissensdefinition wiss wahrheit wahr truth sentation repr philosophi ontologi ntation logi knowledg klassisch klass ition inform iler edg atik annahm zulass wiss vern ung unft symbol sprach sinnvoll regeln philosophi ologi ntation nsam logi klassi kation informat gemeinsam gem bzgl berein begriff begriff begr assoziation turmbau tigt system sung sem schreib schre repr misch losung leum komb jad int heterog henu edem ders datenaustausch benutz babel ubersetz turmbau tigt system sung sem schreib schrei repr philosophi ntation misch losung jad informat heterog henu ders datenaustausch benutz babel ward wahrend verwendet unterschied unterschied turmbau system syst ssen schema philosophi nnen muss mtem konzept heterog gleich erd datenaustausch begriff begn bedeut bedeu babel wiss user they speak shar philosophi peopl ntation ltrl languag know informat ianguag edg devr davenp common wiss unicod semantic rul rmat philosophi ontolog ntation namespac logi logic info framework architectur typ swrl semantic rach philosophi ontologi ontologi ontolog ontol motivation mantic informat ilosoph beschreibungslog besc wiss trust sprach sentation semantic repr ontology hrung engineering einf anwend