Content deleted Content added
Brunopsanti (talk | contribs) m added the proper citation at the first paragraph... |
Rescuing 3 sources and tagging 0 as dead. #IABot (v1.6.5) |
||
Line 102:
* [[Protege (software)|Protégé]] 4.2 includes a Rules view in its Ontology Views that supports SWRL rules.
* For older versions of Protégé, '''SWRLTab''' is an extension that supports editing and execution of SWRL rules. [https://archive.is/20121215054848/http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab]
* '''[[R2ML]]''' (REWERSE Rule Markup Language) supports SWRL. [http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6]
* '''Bossam''', a [[forward chaining]] rule engine supports SWRL. [http://bossam.wordpress.com/]
* '''Hoolet''', an implementation of an OWL-DL reasoner that uses a first order prover supports SWRL. [http://owl.man.ac.uk/hoolet/]
* '''Pellet''', an open-source Java OWL DL reasoner has SWRL-support. [https://web.archive.org/web/20070925082014/http://pellet.owldl.com/]
* '''KAON2''' is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. [http://kaon2.semanticweb.org/]
* '''RacerPro''', supports processing of rules in a SWRL-based syntax by translating them into nRQL rules [https://web.archive.org/web/20060718175210/http://www.racer-systems.com/products/racerpro/index.phtml]
* '''Stardog''' is an RDF database or [[triplestore]] that rewrites queries to answer questions using SWRL inferences. [http://stardog.com/]
| |||