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/

The Web Ontology Language OWL extends RDF and RDFS. It is primary aim to bring the expressive and reasoning power of description logic to the semantic web. Unfortunately, not everything from RDF can be expressed in DL. For example, the classes of classes are not permitted in the (chosen) DL. That is why OWL can be only syntactic extension of RDF/RDFS. To partially overcome this problem, and also to allow layering within OWL, three species of OWL are defined:

1. OWL Lite can be used to express taxonomy and simple constraints, such as 0 and 1 cardinality. It is the simplest OWL language and corresponds to description logic SHIF.
2. OWL DL supports maximum expressiveness while retaining computational completeness and decidability. The DL in the name shows that it is intended to support description logic capabilities. OWL DL corresponds to description logic SHOIN.
3. OWL Full has no expressiveness constraints, but also does not guarantee any computational properties. It is formed by the full OWL vocabulary, but does not no impose any syntactic constrains, so that the full syntactic freedom of RDF can be used.

These three languages are layered in a sense that every legal OWL Lite ontology is a legal OWL DL ontology, every legal OWL DL ontology is a legal OWL Full ontology, every valid OWL Lite conclusion is a valid OWL DL conclusion, and every valid OWL DL conclusion a valid OWL Full conclusion. The inverses of these relations generally do not hold. Also, every OWL ontology is a valid RDF document, but not all RDF documents are valid OWL Lite or OWL DL documents.

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