|
|
pl:miw:2009:miw09_owl_rules_1 [2009/05/12 20:02] miw |
pl:miw:2009:miw09_owl_rules_1 [2019/06/27 15:50] |
====== 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 ====== | |
| |
| |
| |
| |
| |
| |
===== 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 | |
| |