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/

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

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

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))

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