[Marmotta Wiki] Update of "Reasoner/ExamplePrograms" by SergioFernandez

[Apache Wiki <wi...@apache.org>]

Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Marmotta Wiki" for change notification.

The "Reasoner/ExamplePrograms" page has been changed by SergioFernandez:
https://wiki.apache.org/marmotta/Reasoner/ExamplePrograms

New page:
In the following, we give a collection of sample reasoning programs for the KiWi Reasoner that you can directly use in Marmotta.

== RDFS Reasoning ==

The following program implements RDFS subclass, type, domain and range reasoning:

{{{
($1 http://www.w3.org/2000/01/rdf-schema#subClassOf $2), ($2 http://www.w3.org/2000/01/rdf-schema#subClassOf $3) -> ($1 http://www.w3.org/2000/01/rdf-schema#subClassOf $3)
($1 http://www.w3.org/2000/01/rdf-schema#subPropertyOf $2), ($2 http://www.w3.org/2000/01/rdf-schema#subPropertyOf $3) -> ($1 http://www.w3.org/2000/01/rdf-schema#subPropertyOf $3)
($1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type $2), ($2 http://www.w3.org/2000/01/rdf-schema#subClassOf $3) -> ($1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type $3)
($p http://www.w3.org/2000/01/rdf-schema#range $r), ($1 $p $2) -> ($2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type $r)
($p http://www.w3.org/2000/01/rdf-schema#domain $d), ($1 $p $2) -> ($1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type $d)
}}}

== SKOS Reasoning ==

The following SKOS program is very exhaustive; in most scenarios it is sufficient to only use the first rule or the first three rules.

{{{
($1 http://www.w3.org/2004/02/skos/core#broader $2), ($2 http://www.w3.org/2004/02/skos/core#broader $3) -> ($1 http://www.w3.org/2004/02/skos/core#broader $3)
($1 http://www.w3.org/2004/02/skos/core#broader $2) -> ($2 http://www.w3.org/2004/02/skos/core#narrower $1)
($1 http://www.w3.org/2004/02/skos/core#narrower $2) -> ($2 http://www.w3.org/2004/02/skos/core#broader $1)
($1 http://www.w3.org/2004/02/skos/core#broader $2) -> ($1 http://www.w3.org/2004/02/skos/core#related $2)
($1 http://www.w3.org/2004/02/skos/core#narrower $2) -> ($1 http://www.w3.org/2004/02/skos/core#related $2)
($1 http://www.w3.org/2004/02/skos/core#related $2) -> ($2 http://www.w3.org/2004/02/skos/core#related $1)
}}}