[[
✎ pl:miw:2009:miw09_owl_rules_1
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Opis ====== Wojciech Franczak, email: franczak@student.agh.edu.pl ==== OWL_Rules ==== How decision rules can be represented, encoded in OWL rules in description logic, description logic programs, swrl? ====== Spotkania ====== ===== 20090409 ==== http://obitko.com/tutorials/ontologies-semantic-web/introduction.html ===== 20090319 ==== ===== 20090305 ==== * skupiamy się na swrl, szkic biblio w tex , [[hekate:bib:verification_bibliography|przyklad]] ===== 20090219 ==== * Zgodnie z mailem: Są różne podejścia w tym bazujące na DL https://ai.ia.agh.edu.pl/wiki/hekate:semweb:dl_intro lub nadbudowujące nad owl, np. swrl, proszę poszukać, poczytać, poszukac publikacji, ma między innymi powstać bibliografia w bibtex, a jeżeli sa dostępne, to pdfy w wiki! * angielski * budowanie biblio w bibtex [[hekate:bib:verification_bibliography]] ====== Projekt ====== Examples of OWL use: http://owl.man.ac.uk/2003/why/latest/ ====== Sprawozdanie ====== ===== More examples ===== Based on http://owl.man.ac.uk/2003/why/latest/ == Class Inferences == Cat Owners like Cats Class(a:cat_owner complete intersectionOf(a:person restriction(a:has_pet someValuesFrom (a:cat)))) SubPropertyOf(a:has_pet a:likes) Class(a:cat_liker complete intersectionOf(a:person restriction(a:likes someValuesFrom (a:cat)))) Drivers are Grown Ups (Note: A grown up is an adult person) Class(a:driver complete intersectionOf(a:person restriction(a:drives someValuesFrom (a:vehicle)))) Class(a:driver partial a:adult) Class(a:grownup complete intersectionOf(a:adult a:person)) Giraffes are Vegetarians Class(a:giraffe partial a:animal restriction(a:eats allValuesFrom (a:leaf))) Class(a:leaf partial restriction(a:part_of someValuesFrom (a:tree))) Class(a:tree partial a:plant) DisjointClasses(unionOf(restriction(a:part_of someValuesFrom (a:animal)) a:animal) unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant)))) Class(a:vegetarian complete intersectionOf( restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal))))) restriction(a:eats allValuesFrom (complementOf(a:animal))) a:animal)) * Giraffes only eat leaves * Leaves are parts of trees, which are plants * Plants and parts of plants are disjoint from animals and parts of animals == Instance Inferences == The Daily Mirror is a Tabloid Individual(a:Daily_Mirror type(owl:Thing)) Individual(a:Mick type(a:male) value(a:drives a:Q123_ABC) value(a:reads a:Daily_Mirror)) Individual(a:Q123_ABC type(a:van) type(a:white_thing)) Class(a:white_van_man complete intersectionOf(a:man restriction(a:drives someValuesFrom (intersectionOf(a:van a:white_thing))))) Class(a:white_van_man partial restriction(a:reads allValuesFrom (a:tabloid))) Tom is a Cat Individual(a:Minnie type(a:female) type(a:elderly) value(a:has_pet a:Tom)) Individual(a:Tom type(owl:Thing)) ObjectProperty(a:has_pet domain(a:person) range(a:animal)) Class(a:old_lady complete intersectionOf(a:person a:female a:elderly)) Class(a:old_lady partial intersectionOf( restriction(a:has_pet allValuesFrom (a:cat)) restriction(a:has_pet someValuesFrom (a:animal)) ===== BIBTEX ===== Is a tool for formatting lists of references. The BibTeX tool is typically used together with the LaTeX document preparation system. code example: @Book{abramowitz+stegun, author = "Milton Abramowitz and Irene A. Stegun", title = "Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables", publisher = "Dover", year = 1964, address = "New York", edition = "ninth Dover printing, tenth GPO printing" } Inclusion bibliography base in the file follow by after command 'bibliography' example: \bibliography{file_name} - where 'file_name' is file with base. ====== Prezentacja ====== ====== Materiały ====== http://markmail.org/download.xqy?id=2cfm7saakjheqrxl&number=1 http://osm.cs.byu.edu/CS652s04/ontologies/OWL/carads.owl http://www-ksl.stanford.edu/projects/wine/explanation.html http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-196/alpsws2006-poster5.pdf http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_18.pdf http://www.daml.org/2003/11/swrl/rdfsyntax.html http://www.daml.org/rules/proposal/ http://www.w3.org/TR/owl-semantics/examples.html --------- RDF: http://en.wikipedia.org/wiki/Resource_Description_Framework SWRL: https://ai.ia.agh.edu.pl/wiki/doku.php?id=pl:miw:miw08_hml_rules:owl SWRL: http://www.w3.org/Submission/SWRL/ BibTeX: http://pl.wikipedia.org/wiki/BibTeX DL: https://ai.ia.agh.edu.pl/wiki/hekate:semweb:dl_intro OWL: http://www.w3.org/2004/12/rules-ws/paper/42/ OWL: http://www.w3.org/TR/owl-semantics/syntax.html#2.1 OWL rules: http://www.cs.man.ac.uk/~horrocks/DAML/Rules/#2.1 *http://en.wikipedia.org/wiki/Description_logic *http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html *http://arxiv.org/abs/0711.3419 *http://www.mindswap.org/2005/OWLWorkshop/sub22.pdf *http://www.co-ode.org/resources/tutorials/ProtegeOWLTutorial.pdf *http://korrekt.org/page/Description_Logic_Rules *http://www.cs.put.poznan.pl/alawrynowicz/sem20060328.pdf *http://www.semanticweb.gr/TheaOWLLib/ *http://arxiv.org/ftp/arxiv/papers/0711/0711.3419.pdf
pl/miw/2009/miw09_owl_rules_1.1242151328.txt.gz
· ostatnio zmienione: 2019/06/27 15:57 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry