N3 Logic Rule Reasoner

N3 logic rule reasoner is a web service for performing reasoning based on N3 logic rules.

The service is based on FuXi.

Supported input RDF serialization formats for facts: N3 and RDF/XML.

Supported output RDF serialization formats: N3 and RDF/XML.

Usage:
http://www.ldf.fi/service/n3-reasoner?facts=DATA_OR_URI&rules=DATA_OR_URI&ruleFacts=YES/NO&from=FORMAT&to=FORMAT

GET/POST parameters:

facts	RDF data or URI containing the facts in N3 syntax (optional)
rules	RDF data or URI containing the N3 rules
ruleFacts	should the initial facts be parsed from the rules (yes / no)
from	input serialization format of facts (n3, xml), default: n3
to	output serialization format (n3, xml), default: n3

Examples:
http://www.ldf.fi/service/n3-reasoner?facts=<http://example.com/s>+<http://example.com/p>+<http://example.com/o>+.&rules={+%3Fx+<http://example.com/p>+%3Fy+}+=>+{+%3Fx+<http://example.com/q>+%3Fy+}+.&from=n3&to=n3

http://www.ldf.fi/service/n3-reasoner?facts=http://dbpedia.org/resource/Suomi&rules={+%3Fx+<http://www.w3.org/2002/07/owl%23sameAs>+%3Fy+}+=>+{+%3Fx+<http://example.com/q>+%3Fy+}+.&from=xml&to=n3

Try the service:

RDF data or URI containing facts:
@prefix ex: <http://example.com/> . ex:s ex:p ex:o .
RDF data or URI containing rules:
@prefix ex: <http://example.com/> . { ?x ex:p ?y } => { ?x ex:q ?y } .
Should the initial facts be parsed from the rules:
From format: N3 RDF/XML
To format: N3 RDF/XML
View result in browser (accept header = text/plain):
Send form as HTTP POST (needed for large RDF data):

---