Wojciech Franczak, email: franczak@student.agh.edu.pl

How decision rules can be represented, encoded in OWL rules in description logic, description logic programs, swrl?

http://obitko.com/tutorials/ontologies-semantic-web/introduction.html

• skupiamy się na swrl, szkic biblio w tex , przyklad

• 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 verification_bibliography

Examples of OWL use:

http://owl.man.ac.uk/2003/why/latest/

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.

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