DAML Transformation Sesame is a modular architecture for storage, inferencing and querying of RDF and RDF Schema.It supports three query languages (RQL, Se RQL and RDQL), full RDF MT inferencing and can use main memory or a relational database for storage. Inference Engine a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing.The Fa CT system includes two reasoners, one for the logic SHF (ALC augmented with transitive roles, functional roles and a role hierarchy) and the other for the logic SHIQ (SHF augmented with inverse roles and qualified number restrictions), both of which use sound and complete tableaux algorithms.Two major functions it supports are merging multiple ontologies together and diagnosing individual or multiple ontologies. EDU/software/chimaera/ Ontology Analyzer Java toolkit for RDF and DAML OIL, from HP Labs Bristol.
Sniffer RDFAuthor is a tool designed to ease the pain of creating RDF instance data. Annotation Monarch Graph is a framework for visualizing graph data structures using Java.It supports directed and non-directed graphs, provides automated layout, and allows the user to drag and interact with nodes and links. CT Inference Engine Web Scripter is a tool that enables ordinary users to easily and quickly assemble reports extracting and fusing information from multiple, heterogeneous DAMLized Web sources. Report Generation The DAML/XSLT Adapter allows users to convert an arbitrary DAML document into another specific form of your choosing, such as XML, HTML, WML, or any other form, utilizing an XSL Style Sheet.