Semantic Web (08) - Wissensrepräsentation(4) - OWL / SWRL Harald Sack. Yovisto Academic Video Search. Concrete Class Atomen Beschreibungslogiken Beispiel Aunt ibun abgeschlossene Web Content bersicht antecedent Semantic ntation Language Friedrich-Schiller-Universität Jena wiederhol ubersicht tion syntax swrl semant semantic philosophi ontologi motivation motiv logik informat gggg erhol beschreibungslog bersicht ubung system ntation ubersicht syst syntax swrl semant semantic philosophi ontologi motivation logik informat beschreibungslog bersicht wiederhol variabl swrl ruleml rop resourc resour resou reso redi prop parsetyp lectio ivid individua icat head ection concret cat body beispiel argument syntax swrl subm schema rul ontologi namensraum languag http enthalt definition concret amic vapi syntax swrlx swrl semantic rul required provid nition motivation met languag function enti definition datatyp content concret class builtin anyuri access swrlx swrl samel rul ndivid nam languag ivid georg content concret bush vat vat vart vapz swrlx swrl ruleml roperty rop property onkel href head fami documentation brud body beispiel bady annotation wiss swrl rul languag beispiel valu test swrlx swrl rul rop required prop nam languag iss foaf data content concret atom assert ass perso oranization languag individualpropertyatom foaf content concret aunt assert ass anyuri valu test swrlx swrl rul rop required requir prop valu that test swrlx swrl specified ruleml rul riabl rang nam ltrl languag itera datatyp data content concret that test swrlx swrl sentation ruleml rul rson ressia person object named lass languag expression content concret class unary tava swrlx swrl rul properti predicat meng languag inequaliti head from formed fies equaliti concret class body binary aunt atom atom atom swrl rul read ntation languag hsts head fist content consequent concret component both body bath bady atom atom aram antecedent using this that swrl ssen satisi satisfy ruleml rul rlab required optionaly named must musl languag href head every element content confent concret binding allows tion swrlx swrl ruleml rul ontology onto objectproperty nam logy lass languag import extend datatypeproperty class annotation stract rul ref occur object ntat nfie must least languag ivid d-obj description definition consequent bject atom atam antecedent annotation abstract variabl swrl trauma transferring swrl styl semantic rul person period part painting ontologi oft ntation needed medical location languag inheriting from fram creator body artist ariist wiss wahr trivialerweis swrl semantic rul ntation leer languag falsch equ consequent beleg antecedent ant variabl swrl semantic rul property prop ntation languag kung konjunktion hreibung form erweiter element domain consequent concret cken beschreib ausdr atom antecedent with teil syntax swrl submission sprach spra sentation ruleml rul regeln presentation ober ntsch mrden lit languag konsequenz kombination iich heid head geplant erweitert entscheid eig egeln developed committe collaboration body basiert atio antecedent ahnlich agent abstrakt abstract ntation languag iss ierung ient icht genug einschr dient brud beispiel ausdrucksstark ausd wiss vat vat statisch schwer rul representation realisierbar ramm prozedural programmier onkel wiederhol ubersicht system syntax swrl semant semantic philosophi ontologi motivation logik informat beschreibungslog bersicht zien subsumption semant rung rigkeit retrieval renz problemat ntation nden llbar konsistenz klass klass istenz individu ibun wissensbasis wiss wichtig subsumption strukturier stenz sinnvoll sinnv semant retrieval ntation nass lass konsistenz klasseninklusion klass klass keit instan iken ibun global find find find fals eigent disjunkt ciid beschr bell bekannt zaba world wissensbasis welt sql-datenbank sof semant open off ntation moglich information individu iken gegenteil fehl explizit existenz enth enen emer duen closed bewies ausgeschloss assumption angenomm abgeschloss unionof syntax semant restriction resourc person persan parsetyp nter nien jowl inters ibun from doctor dactar collect class alu about abaut komplex inclusion iken general erlaubt doctor class belieb shoin sentation semant schachteln rson person offensicht woman syntax subpropertyof subclassof shoin semant perty ntation mal john jamesbond iken ibun human hasparent femal exampl est equivalentproperty cost biped axiom animal syntax student seminar semant professor person oneof one ntation maxcardinality mary mal iohn intersectionof iken ibun exampl constructor ungleich transitiv semant schen roll restr rall ntyp klass invers individu iken ibun gleichheit erlaubt datentyp dat abgeschloss zweit wiss semant roll meng lass konkret klass erlaubt entsprech eit datentyp dat cken bild ausdr argument ahn abox abgeschloss transitiv symmetri semant roll rdfs llen invers ibun hend entsprech tion subclassof rop restri reso rdfs prufung pruf pruefung onproperty ntation maxcard lass hab fung dikat ction class about somevaluesfrom oneof ntation klass ibun darstellbar alu abgeschloss individu iken folgend unionof thing sprachelement semant roll roll owli nothing inin zierend with semant roll rall ntyp ntyp lit languag klass invers iken ibun dat complement beschreibungslog besch attribut antik abgeschloss syntax sprach semant operator negation mion meng invers individu imers iken existentiell ehung constructor concept beziehungshierarchi beschreibungslog besch anti allg wissensbasis wiss wiss uman terminolog tbox semant orphan nntt konsequenz klar isch individu iken ibun human hasparent harrypott einfach beispiel syntax semant roll miln lex komplex klass klass irvl beschreibungslog aussag atomar tbox syntaxregeln syntax sentation semant semant roll komplex klass klass individu indi iken gein form folgend erzeug bung aussag aussag atomar ass abox semant ntation modellier semant richt pruefung professor professar person persan entspricht entsp tudent student semant professor person penon ntation negation mion konjunktion komplex klassenbezieh iger disjunktion disjun faku equivalentclass entspricht entsp aunt sen seman professor professo professar prof ibun wiss vorles student roll nimn nimmt lesu klass klass individuum grundbaustein duum christian christi aunt uncl transitiv spain sen rol rol restriction rent qualitied numb ntation nominal mal konstruktor italy invers iken hasparent franc extension definition defin composition cardinality broth aufbau allgemein wiss wiss sprach speziell semant schrank roll rich quantor ntation nken negation mor modifi mion meng mal lex konzept konjunktion komplex komp klein individu iken ich ibun geschrieb femal famili fam fakt einfach disjunktion disjun defined compos charakterisiert charakterisi axiom aussagenlog aunt aufbau allgemein wiss tudent tbox stud ssen semani knowlegd knowledg knom klass instanz ical eigenschaft doman dent christian chris bas aunt attribut assertional architektur abox abok einfach besc ausdrucksstark assembl unhand tind such semant schlecht ontologi onto ntation nehm nden modellier kons komplex kat geeignet geeignet fragment wiederhol ubersicht system syntax swrl semant semantic philosophi ontologi motivation logik informat beschreibungslog bersicht zusammenfass wiss syntax synta symm subpropertyof stru roperty rop resourc resour resou rdfs rang prop ntation mor zusammenfass unionof thing syntax synta subclassof rdfs oneof ibun class card bezieh zusammenfass zusammenfas syntax synta stri seealso sden sameas rop rdfs omment ntation len kopf individu impa ibun datentyp compat bezieh ber aunt widerspruchsfrei syntax synta such subc sjai resourc resou modellierungsfehl mod lowl lass klass klass instanz inen individu global gegeb gegeb feso etra enthalt disjunkt disjun deutet anfrag about zahl unionof syntax subjekt senj rdfs n-gun lit kung komplex klass gelt ftir erlaubt erla einschr einsch auftret anonym inv ilen icht explizit expl erlaubt erlaubt ekla deklariert cder beispiel bdfs verwend verwendetwerd typentrenn transitiv syntax symmetr ssen sprach roll rfen rdfs rden rall muss lass konkret klass vorhand typentrenn txie tation syntax synta subklass schwie roll rdfs nutzung lass klass icht full dass ciass worst wiss verein variant unentscheidbar teilmeng syntax synta semant ntation ndig metamodellier metam logic lit korrekt komplexitat kardinali ibun full formal entscheidbar eingesch descri cas beschr vorles universitat universit schill sack r-er mest lnstitut jena institut informat herald friedrich