Euler Proof Mechanism
Edit Page
Report
Scan day: 04 February 2014 UTC
13
Virus safety - good
Description: A backward-chaining reasoner based on RDF and OWL, using resolution inference mechanism and following Euler paths.
Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Given a set of facts and rules, ask a question and get a proof for it.
Size: 268 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Euler proof mechanism |
| Keywords: | |
| Description: | |
| IP-address: | 134.54.224.20 |
WHOIS Info
| NS | Name Server: DNS2.AGFA.BE Name Server: NSGBR.COMLAUDE.CO.UK Name Server: NSSUI.COMLAUDE.CH Name Server: NSUSA.COMLAUDE.NET |
| WHOIS | Status: clientUpdateProhibited |
| Date | Creation Date: 14-nov-1989 Expiration Date: 13-nov-2014 |