Validating domain objects
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.
It is a forward chaining reasoner which can be used for querying, checking, transforming and filtering information.
Its core language is RDF, extended to include rules, and it uses RDF/XML or Notation 3 (N3) serializations as required.
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.
You can interactively browse the capture data, viewing summary and detail information for each packet.
Translation Description: Onto Rama is a prototype ontology browser originally designed to browse Web KB ontology (
Currently Onto Rama is used to visualise RDF/DAML ontologies.
Ethereal has several powerful features, including a rich display filter language and the ability to view the reconstructed stream of a TCP session.
Sniffer RDFAuthor is a tool designed to ease the pain of creating RDF instance data.