Perl script validating email

Visualization KAON-REVERSE is an Ontomat plugin that connects to an existing relational database using JDBC, semi-automatically defines mappings from the database tables to an ontology, and extracts the data contained in the database as instances according to those mappings.

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.

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.