Semantic Web (07) - Wissensrepräsentation (3) - OWL Harald Sack. Yovisto Academic Video Search. Friedrich-Schiller-Universität Jena hew uum maim rty functio resourc rdf subpropertyof rdfs objectproperty rim owl uuw maim unionof intersectionof hasvalu somevaluesfrom allvaluesfrom rdfs nothing thing bezieh owl beschreibungslog uus unionof intersectionof hasvalu allvaluesfrom rdfs nothing thing bezieh rim owl beschreibungslog gegeb individuum enthalt ali rce resourc about rdf modellierungsfehl deutet inkonsistent klass widerspruchsfrei klass van ung bezieh rim anfrag owl beschreibungslog gegeb individuum enthalt rce resourc vein about rdf modellierungsfehl deutet inkonsistent widerspruchsfrei konsistenz global klass van eit ung bezieh subklass enz klass anfrag owl uuw verwendet rim transitiv inv transitiv konkret deklariert roll klass typentrenn sprachelement rdfs erlaubt explizit owl beschreibungslog uuw rdf objectproperty van subklass datatypeproperty resourc roll klass typentrenn vorhand schwierig rdfs full owl uuw maim metamodellier rdfs van verein full komplexitat korrekt semant formal logic description cas worst disjunkt lass teilmeng lit variant owl beschreibungslog maim liegt hla geschloss deutschland rheinhess rty region thing domain rdfs resourc typ rdf roll owl beschreibungslog qna functionalproperty owl beschreibungslog uus jnm awl objectproperty perty objectpro resourc rdf owi definiert roll invers subpropertyof aufgebaut spezialisier uber konn rollenhierarchi rim art rollenbezieh owl beschreibungslog subclassof baum resourc rdfs abaut rdf existenzquantor fest wertebereich legt existi gin somevaluesfrom owl beschreibungslog maiam subc fowl mat resourc rce rdfs about rdf allquantor fest fur erlaubt klass bestimmt rim owl beschreibungslog uum anzlic pt1 rim fest definiert pflanzenfress klass low resourc restriction rdfs rdf owl uum hasvalu rim roll klass komplex dien owl syntax uuw hasvalu nen roll klass komplex dien owl beschreibungslog uus weinz klass schnittmeng wein trock hasvalu halt resourc perty restriction parsetyp rdf konjunktion owl beschreibungslog uuw rim klass schnittmeng wein trock hasvalu halt resourc perty restriction about parsetyp int rdf owl beschreibungslog schreibweis lowl about rdf bezieh owl beschreibungslog uuw maim diff verschied alkohol geschloss sameas about description spatles string xsd resourc rdf bezieh owl beschreibungslog uus jnu van subklass geschloss resourc subc rdfs rdf ass klassenhierarchi owl beschreibungslog uuw klass disjunkt geschloss about hauptgericht pizza resourc subclassof rdfs rdf ass klassenhierarchi owl beschreibungslog uum subklass geschloss rdfs resourc rdf klassenhierarchi owl funktional spatles string xsd datatyp resourc rdf roll owl beschreibungslog pert objectpro awl rang resourc rdfs abstrakt domain rdf konkret rim properti roll variant existi ties vgl owl beschreibungslog uuw maim gleichbedeut 77k resourc uber rdf klass leer nothing individual thing existi klass owl beschreibungslog uus rdfs vergleichbar set roll klass owl beschreibungslog uuw properti rdfs vergleichbar baustein set roll klass owl beschreibungslog uus ontology lowl semweb resourc import dezemb ontologi swrc string org xab http datatyp comment rdfs about rdf head document owl beschreibungslog uuw rdfs mat org http xmlns rdf owl beschreibungslog abstrakt arm partial win class ldbb rdfs rdf owl abstrakt partial win lowl rdfs rdf owl beschreibungslog uuw besitz kaffe mag lit klass hiag klass rim languag ontology owl ubersicht beschreibungslog arm bar schachtel metamodellier rdfs van verein full korrekt entscheidbar semant formal logic description cas worst komplexitat disjunkt teilmeng lit languag ontology owl ubersicht beschreibungslog uuw arm hies dlp harn entscheidbar fuly uwl rdfs fol ust logic ate first languag ontology ubersicht owl fju arm full lit variant existiert bezeichn instanz selb ward explizit verschied mag jet klass van assumption information ontologi 2oo4 recommendation w3c ubersicht owl beschreibungslog swrl semant ubersicht wiederhol motivation owl beschreibungslog logik philosophi ontologi semantic uus sec ald net geeig jah jail definition zgr cri nam atv klassenhierarchi klass van rim rdfs rdf ontologi motivation owl thing sport domain specific antics sem symbol symbol exchang ontology agent ontologi motivation owl beschreibungslog uuw use individual description general betwe concept about inter domain conceptualization shared specification formal grub ontologi motivation 3l1 beschreibungslog unicod gull aii rdf qnc proof uri xsd xml mues architectur semantic owl beschreibungslog unicod gun rdf qnc i119 proof uri xsd xml rul architectur semantic owl beschreibungslog zue mati wintersem jena schill friedrich lnstitut sack herald nat rer vorles iii engineering ontology trust semantic