Surnia can check an OWL ontology/knowledge base for inconsistency and entailments. It is implemented as a wrapper around first-order theorem prover (OTTER, for now at least). Unlike Hoolet (which turns the OWL into FOL), Surnia just turns the OWL into triples and mixes in axioms.
Web Work Remote allows operations and maintenance managers to exchange information easily and more efficiently to increase workflow, create greater efficiency, and improve profitability. Any remote device that supports standard Web browsing can connect in real-time to the CMMS/EAMS database. It can be used to record and recall asset data; to review, order, and monitor inventory and spare parts data; to monitor project status and material or labor assignments; to route work assignments and personnel; to update field personnel; and to automatically record time and materials as utilized.
Amaya is a complete Web browsing and authoring environment, and comes equipped with a WYSIWYG style interface. It lets users both browse and author valid Web pages, with standards including (X)HTML, native MathML, and SVG documents. It also includes a collaborative annotation application (RDF).
Jigsaw is W3C's leading-edge Web server platform, providing a sample HTTP 1.1 implementation based on RFC2616 and a variety of other features on top of an advanced architecture implemented in Java. Jigsaw provides both client and server HTTP/1.1 implementations, is fast, easy to extend, flexible, and is also packaged as a ready-to-run HTTP/1.1 proxy-cache.
Net_NNTP is a PHP/PEAR library for communication with NNTP servers. Net_NNTP handles connection and protocol-level commands (RFC977), including many non-standard commands (RFC2980), via a user-friendly API which hides the actual NNTP commands/syntax. Some knowledge about NNTP and general knowledge about email and MIME is required, since parsing of content and headers is left up to the user. Net_NNTP allows advanced users direct usage of NNTP commands via the separate protocol implementation. Net_NNTP includes a fully-functional NNTP to HTML gateway demo application.