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.
Related ProjectsProperties Editor, MinGW - Minimalist GNU for Windows, CrystalDiskMark, Tera Term, Android-x86 |
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.
Related ProjectsShiira, 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.
Related ProjectsAmateras, 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.
Related ProjectsTERASOLUNA Framework, Media Player Classic - Home Cinema, Seasar, Win32 Disk Imager, Separate+ |
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.
Related ProjectsWireshark, 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.
Related ProjectsTuxGuitar, iReport-Designer for JasperReports, AdjustTime, GPX Viewer, Programming Language ADP |
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.
Related ProjectsCODE: MEPHISTO, MPC-BE, Win32 Disk Imager, YANMAH2 - 携帯端末のための代替, Programming Language ADP |
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
|
Related Projects |
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.
Related ProjectsProperties 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
|
Related Projects |
Project LCHS 11 cua ABB team
Được thực hiện tại ABB
Register Date: 2020-06-18 18:10
|
Related Projects |