OWL RL reasoner is a web service for performing OWL 2 RL and RDFS reasoning.
The service is based on RDFLib / OWL-RL.
Supported input RDF serialization format for input text: Turtle.
Supported input RDF serialization formats for input URI: Turtle and RDF/XML.
Supported output RDF serialization formats: Turtle and RDF/XML.
Usage:
http://www.ldf.fi/service/owl-rl-reasoner?text=DATA&format=FORMAT&fullClosure=yes
or:
http://www.ldf.fi/service/owl-rl-reasoner?source_1=URI&iformat=FORMAT&format=FORMAT&fullClosure=yes
GET/POST parameters:
| text | RDF data |
| source_1 | URI |
| iformat | input serialization format for URI (auto, turtle, xml), default: auto (= turtle, if the URI suffix is .ttl or .n3; xml otherwise) |
| format | output serialization format (turtle, xml), default: turtle |
| fullClosure | use OWL 2 RL ruleset and RDF and RDFS entailment rules (yes / no), default: no |
Additional GET/POST parameters if "fullClosure" if set to "no":
| owlClosure | use OWL 2 RL ruleset (yes / no), default: no |
| rdfsClosure | use RDF and RDFS entailment rules (yes / no), default: no |
| axioms | add axiomatic triples of RDFS and OWL (yes / no), default: no |
| daxioms | add datatype related axiomatic triples of RDFS and OWL (yes / no), default: no |
| owlExtras | execute extra OWL specific rules (yes / no), default: no |
See futher documentation.
Examples:
http://www.ldf.fi/service/owl-rl-reasoner?text=<http://example.com/s>+<http://example.com/p>+<http://example.com/o>+.&format=turtle&fullClosure=yes
http://www.ldf.fi/service/owl-rl-reasoner?source_1=http://dbpedia.org/resource/Suomi&iformat=xml&format=turtle&fullClosure=yes
