CS 6795 Semantic Web Techniques
List of Tools
Syllabus Assigns Notes Labs Project Resources
XML
Editor:
XML Spy: http://www.altova.com/xml-editor/
DTD Validator:
Validome: http://www.validome.org/xml/validate/
XSD Validator:
XSV: http://www.w3.org/2001/03/webdata/xsv
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