Content deleted Content added
Line 107:
* '''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]
* '''RDFox''' a main-memory, highly-scalable Datalog reasoning engine that supports [https://docs.oxfordsemantic.tech/reasoning-in-rdfox.html#swrl-support-in-rdfox SWRL]. Developed by Oxford Semantic Technologies. [https://www.oxfordsemantic.tech]
* '''Stardog''' is an RDF database or [[triplestore]] that rewrites queries to answer questions using SWRL inferences. [http://stardog.com/]
| |||