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.
SemWalker is a server-side Semantic Web browser
with an integrated search engine. It offers a
friendly Web interface to the RDFs found around
the Web, and is used to power W3C's Ontaria service.
相关项目Shiira, Darik's Boot and Nuke, iReport-Designer for JasperReports, Open Jane, ギコナビ |
secured WebGine is a mix between a content
management system and an application framework.
Its focus is security and a logical API.
相关项目Amateras, Win32 Disk Imager, PukiWiki, osCommerce 日本語版, MeCab |
gAnim8 is a suite of tools for building and manipulating animated GIFs and small videos in a GTK/GNOME environment. It allows animated GIFs and videos (MPG, AVI/ASF, WMV, SWF, RM, MOV, or M4V) to be easily created, edited, previewed, recorded, or saved into screenshots.
GeneSyS aims to define and implement a middleware
architecture for generic system monitoring and
supervision. It is an Information Society Project
(IST-2001-34162) sponsored by the European
Commission. It provides a middleware- and
agent-based approach for system monitoring and
management. It uses WebServices technology (SOAP)
for communication between components and XML-based
descriptions of monitoring information.
相关项目Wireshark, RMAC, Nagios-JP, Dumpper v.60.3, Hinemos |
Locate Me! is a script to geolocate your customers. It supports W3C (iPhone OS 3.0 and Mozilla Geode), Gears (Google), Loki (Skyhook Wireless), and IP-based services like IPLocationTools and MaxMind.
SlideML (Slide Meta-Language) is a simple to use meta-language for generating presentation slides that can be viewed in a Web browser. It uses ASCII tags that are translated into XHTML.
Androlua is a platform on Android platform to develop Android tools, not only support the call Java API, but also support the preparation of Android interface program, you can also write your own Lua program packaged into APK installation file installation. Lua language is simple, so that users without any programming experience can also develop a Android program in a short period of time. The runtime environment supports Android 4.0+
|
Register Date: 2017-06-28 13:59
|
相关项目 |
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.
相关项目Properties Editor, MinGW - Minimalist GNU for Windows, CrystalDiskMark, Tera Term, TortoiseSVN |
develop some jQuery & Javascript plugins for Discuz!X
|
Register Date: 2014-05-24 06:58
|
相关项目 |
Project LCHS 11 cua ABB team
Được thực hiện tại ABB
|
Register Date: 2020-06-18 18:10
|
相关项目 |
Download Ranking | ||
|---|---|---|
| 更多 >> |
