Search Results for "description logic"
Sort By:
Showing 34 open source projects for "description logic"
View related business solutions-
Get the most trusted enterprise browserDefend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
1
YARA
The pattern matching swiss knife for malware researchers
YARA is a tool aimed at (but not limited to) helping malware researchers to identify and classify malware samples. With YARA you can create descriptions of malware families (or whatever you want to describe) based on textual or binary patterns. Each description, a.k.a rule, consists of a set of strings and a boolean expression which determines its logic. YARA is multi-platform, running on Windows, Linux and Mac OS X, and can be used through its command-line interface or from your own Python... -
2
Ethereum Yellow Paper
The "Yellow Paper": Ethereum's formal specification
The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers... -
3
Goa
Design-based APIs and microservices in Go
Goa takes a different approach to building services by making it possible to describe the design of the service API using a simple Go DSL. Goa uses the description to generate specialized service helper code, client code and documentation. Goa is extensible via plugins, for example the goakit plugin generates code that leverage the Go kit library. The service design describes the transport independent layer of the services in the form of simple methods that accept a context and a payload... -
4
OpenAPI Specification (OAS)
Programming language-agnostic interface description for REST APIs
The OpenAPI Specification: a broadly adopted industry standard for describing modern APIs. The OpenAPI Specification (OAS) defines a standard, programming language-agnostic interface description for REST APIs, which allows both humans and computers to discover and understand the capabilities of a service without requiring access to source code, additional documentation, or inspection of network traffic. When properly defined via OpenAPI, a consumer can understand and interact with the remote... -
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
5
Presubmit
Context-aware AI reviewer for Pull Requests
Optimize your code review process with Presubmit's AI Code Reviewer catches bugs, suggests improvements, and provides a meaningful summary - all before human reviewers take their first look. -
6
OpenQASM
Quantum assembly language for extended quantum circuits
OpenQASM is an imperative programming language designed for near-term quantum computing algorithms and applications. Quantum programs are described using the measurement-based quantum circuit model with support for classical feed-forward flow control based on measurement outcomes. OpenQASM presents a parameterized set of physical logic gates and concurrent real-time classical computations. Its main goal is to serve as an intermediate representation for higher-level compilers to communicate... -
7
werf
The CLI tool gluing Git, Docker, Helm, and Kubernetes
werf is an Open Source CLI tool written in Go, designed to simplify and speed up the delivery of applications. To use it, you need to describe the configuration of your application (in other words, how to build and deploy it to Kubernetes) and store it in a Git repo, the latter acts as a single source of truth. In short, that's what we call GitOps today. werf is not a complete CI/CD solution, but a tool for creating pipelines that can be embedded into any existing CI/CD system. It literally... -
8
Quiz/Survey/Test - QST
A Free, complete, enterprise grade, open source exam management system
QST, the worlds unparalleled open source online/lan assessment software. From a quick quiz on your phone to very large scale, high stakes, proctored desktop testing, we make it easy/secure/economical. Our intuitive design contains features (Immediate detailed results, Create/Export/Import/Convert Questions, WYSIWYG/Math-Chemistry/Basic Editors, Question/Item Bank, Multiple Question Types, Multiple Delivery Styles, Multiple Delivery/Results Options, Adaptive/Branching Questions, Randomly... -
9
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
JxMake
A Java-based cross-platform build system.
JxMake is a Java-based, cross-platform build system primarily inspired by the syntax and features of GNU Make, Perforce Jam, and CMake. In addition, JxMake offers several features not typically found in other console-based build systems, including a built-in lightweight GUI, serial console, serial plotter, multi-MCU in-system programmer, and more. Currently, JxMake's loadable libraries (build scripts) are primarily designed for non-OS MCU systems and experimental use. Full support for... -
11
SymbComp
Symbloic computation
SYMBCOMP is a research project (the outcome is unknown) and also a C++ library, hopes, in an a priori perspective of symbolic substitution, the knowledge of the property of mathematics and logic, including problem description, problem solving can be improved via computer programs. Executables are important but considered by-products, hope not too difficult to build from the library. SYMBCOMP是項研究計劃(不很清楚成果會是啥)也是個C++程式庫,目的是希望在符號代換的 先驗觀點下,藉由電腦程式 探討數學與邏輯的性質,包含問題描述法,解法...等. 執行程式 雖重要... -
12
UMHDL
Integrated Development Environment (IDE) for learning HDL
UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. So... -
13
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
14
imgcook
Generate pages from any sketch or images
... of imgcook are one-click restoration of design drafts and visual editing based on restoration. The restoration of Sketch / Photoshop design drafts starts with the installation of plugins. Export the JSON description of the design draft through the plug-in in the design draft and paste it into the imgcook visual editor. In the editor, you can edit the view, logic, etc. After generating the code, you can export the code to your local or your project file. -
15
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
.... A detailed description of the process is presented in the ObjectVolumeTutorial.doc document as well as program logic and results. A key component in the program is a subroutine that calculates the volume of a tetrahedron. Four sets of equations were tested and to my surprise all four produced similar results in accuracy and timing. -
16
Information Extraction from Arabic Text
Java based framework for extraction information from Arabic text
This project presents a model a for extracting information from Arabic text. The project executables include three Java based modules that can be used to implement a rule-based information extraction process from Arabic text. These modules are: 1-A module for annotating a selected Arabic text file using a custom morpho-syntactic Part-of-Speech tagging scheme. 2-A module that can be used along with Protégé for establishing Ontology Web Language (OWL) based ontologies based on... -
17
lpACLib
An Open-Source Library for Low-Power Approximate Computing Modules
The “lpACLib” library contains the VHDL description of accurate and approximate versions of several arithmetic modules (like adders and multiplier of different bit-widths) and accelerators. Moreover, it also provides the corresponding software behavioral models/implementations developed in C and MATLAB to enable quality characterization. Besides our novel designs, it also contains implementations for several state-of-the-art arithmetic modules and their approximate versions. This open-source... -
18
TinyCog
Cognitive architecture with a focus on self-models
TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies. -
19
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
20
AXEL Web Framework
Seriously good at building web sites
The AXEL framework extends XML and HTML, adding "xml actions" that perform tasks during page processing. Goto http://xmlactions.org for a full description of how it works. Actions can be as simple as inserting a page, to as complex as building query results from external data sources. The Axel Framework project consists of different components: * axel-actions (core framework) * axel-mapping (a mapping tool built on axel-actions) * axel-pager (a web page builder built on axel-actions... -
21
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL. -
22
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation... -
23
Avisynth Gimp-style Layer merge plugin
GIMP style layer merges for Avisynth
01 Dec 2012 Bug fix release, Colour, Hue and Saturation filters fixed. Need a RGB video merge for Avisynth? I've implemented all the layer merges that GIMP uses so that you can use them on videos in Avisynth. See http://docs.gimp.org/2.6/en/gimp-concepts-layer-modes.html for a description of the various layer modes. I've copied the logic from the Gimp source files and the example Avisynth plugins. -
24
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
-
25
XUL4Java is a XML UI Framework built upon Java, that lets you build feature rich, cross platform applications across Hetrogenous Architecture, building rich client, desktop , web and mobile application. 'Created For Once And For Ever '
