CS 6795 Semantic Web Techniques

List of Tools

Syllabus
Assigns
Notes
Labs
Project
Resources

XML

Editors (also include validators and transformers):

Altova XMLSpy: http://www.altova.com/xml-editor/

<oXygen/> XML Editor: http://www.oxygenxml.com/

 

DTD Validators:

Validome: http://www.validome.org/xml/validate/

W3C Markup Validation Service: http://validator.w3.org/#validate_by_input

 

XSD Validator:

W3C XSV: http://www.w3.org/2001/03/webdata/xsv

 

RNC and RNG Validator:

Validator.nu: http://validator.nu

 

XSL Transformer:
Online XSLT 2.0 Service: http://www.w3.org/2005/08/online_xslt/

RDF & N3

Tabulator: http://www.w3.org/2005/ajar/tab

Reasoner:

Euler:  http://eulersharp.sourceforge.net/

OWL

Reasoner:
Pellet: http://clarkparsia.com/pellet/

Ontology
IDE

Editor:
Protégé-OWL: http://protege.stanford.edu/download/download.html

Prolog

SWI-Prolog: http://www.swi-prolog.org/Download.html

jDREW

Java Deductive Reasoning Engine for the Web
(TD and BU, RuleML and Prolog):

http://www.jdrew.org/jDREWebsite/jDREW.html

OO jDREW

Object-Oriented jDREW (TD and BU, RuleML and POSL):

http://www.jdrew.org/oojdrew/

RIF

RIF-producing and consuming translators:

http://www.w3.org/2005/rules/wiki/Implementations

Maintained by Harold Boley