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.It supports users in such tasks as loading knowledge bases in differing formats, reorganizing taxonomies, resolving name conflicts, browsing ontologies, editing terms, etc. It supports both resource- and statement-centric processing, and daml:collection. 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.The program is completely free and can be used anyway you like. Onto Merge serves as a semi-automated nexus for agents and humans to find ways of coping with notational differences between ontologies with overlapping subject areas.
The web version is oriented toward novice/infrequent DAML annotators; the client/server version is oriented toward personnel who routinely produce documents or need to annotate legacy documents. API DAML Sidebar provides an easy means of detecting embedded DAML content and processing it with various DAML tools. XML Schema API DUET provides a UML visualization and authoring environment for DAML.DUET is available as a Rational Rose Addin or an Argo UML plugin.Authoring is largely a matter of dragging in data and binding it together using a graphical interface. Jalindi Igloo is a plugin that allows you to connect Microsoft Visual Studio and other IDEs directly to a CVS repository.