Search Results for "reasoner"
Sort By:
Showing 30 open source projects for "reasoner"
View related business solutions-
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
-
ConnectWise ScreenConnect, formerly ConnectWise Control, is a remote support solution for Managed Service Providers (MSP), Value Added Resellers (VAR), internal IT teams, and managed security providers. Fast, reliable, secure, and simple to use, ConnectWise ScreenConnect helps businesses solve their customers' issues faster from any location. The platform features remote support, remote access, remote meeting, customization, and integrations with leading business tools.
-
1
Eddy
An editor for the specification of Graphol ontologies
Eddy is a graphical editor for the specification and visualization of Graphol ontologies. Eddy features a design environment specifically thought out for generating Graphol ontologies through ad-hoc functionalities. Drawing features allow designers to comfortably edit ontologies in a central viewport area, while two lateral docking areas contains specifically-tailored widgets for editing, navigating and inspecting open diagrams. Eddy is equipped with design-time syntax validation... -
2
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
3
The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a powerful rule language suitable for all kinds of reasoning tasks, vanilla XML and RDF/XML interfaces, and support for a variety of AI-related applications, such as scheduling, planning and diagnosis.
-
4
COBRA Reasoner
Reasoner for OWL ontologies with contexts
This tool is COntext Based ReAsoning Tool, used to do reasoning of OWL ontologies with contexts. This tool is developed in Java 1.7. The tool is divided into 2 modules. First module labels the ontology with context labels. It takes an OWL ontology as input and creates contexts labels in it. It has LabelOntology.java as the main class, it takes input in the following form, Example : /Users/Documents/input.txt input file contains, /Users/Documents/galen_7.owl,5 galen_7.owl is input... -
Discover and manage administrator, service, and web app passwords, keys, and identities. Automate management with approval workflows. Centrally control, audit, monitor, and record all access to critical IT assets.
-
5
JFact
JFact is an OWL 2 DL reasoner, based on FaCT++
JFact is an OWL 2 DL reasoner, based on FaCT++ Active development, bug reports, wiki and support on https://github.com/owlcs/jfact -
6
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL. -
7
SPARQLINGui
SPARQLINGui is a simple tool to test sparql inference queries
-
8
SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic.
-
9
IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.
-
Innago is a free and easy-to-use property management solution. Whether you have 1 unit or 1000, student housing, or commercial properties, Innago is built for you. Our software is designed to save you time and money, so you can spend more time doing the things that matter most.
-
10
Yadlr
Yadlr toolset for many-valued inference
Yadlr is a toolset for many-valued inference, both deductive and inductive. It features a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of a resolution-based back-end. It also features Prodlr, an ILP system targeted at learning Description Logics and threaded-variable theories, like DCGs. -
11
Tagsistant
Tagsistant 0.6 is a semantic file system for the Linux kernel.
Tagsistant 0.6 is a semantic file system for Linux and BSD kernels. Tagsistant allows to store any kind of object: files, directories, devices, symlinks, pipes, etc. It features a simple reasoner able to establish two kind of relations (is equivalent and includes), manageable from the relations/ directory. It also features a file deduplicator: if two files with the same content are loaded, Tagsistant is able to delete the duplicated copies and moving its tag to the other one. -
12
isisdiana
Epistemological Reasoner / Situational Intelligence
This system will allow for evaluating situations and to make recommendations using available people, resources, environment, and time. The epistemological and situational intelligence is based on cognitive reasoning and assessment. -
13
ThinknLearn
An abductive sciene inquiry based learning project for school kids
This project was designed for a reserach conducted in the area of mobile science inqiury using ontologies. This mobile web application 'ThinknLearn' uses ontology-based scaffolding to implement NCEA level 1science standard curriculum example as an experimental context. In this application, ontologies are designed using Protege 4.0 while Jena API and Pellet reasoner are used in the technical architecture of this application for extracting relevant information according to the requirements. -
14
FreeFuzzyTime
It's a time reasoner that can be integrated in medical applications.
FuzzyTime module is a time reasoner base on Fuzzy Temporal Constraint Networks (FTCN) which treats fuzzy temporal information efficiently. It can be integrated into applications for diagnosis. This is especially important in areas like Intesive Care Units where patients' data are handled by a temporal data base. The FuzzyTime module is a structure which consists of three levels of abstraction. The upper layer is the user interface where a translator transforms the expressions introduced... -
15
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.
-
16
A framework for OWL API Reasoner benchmarking, for the purpose of ascertaining which available implementation is best suited for a particular purpose; based on the OWL API OWLReasoner interface.
-
17
-
18
Light-Weight and Resource Adaptive Mobile Tableaux Reasoner for Inference in OWL Source code for my PhD research. Please report any bugs to me: Luke.Steller@gmail.com See my research website: http://hercules.infotech.monash.edu.au/~lukes/
-
19
dlite is a small footprint description logic reasoner. The purpose of this project is to allow developers to easily integrate the description logic reasoning technology in their applications in order to characterize and classify complex system states.
-
20
Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https://sourceforge.net/projects/iris-reasoner) for its implementation.
-
21
-
22
An extension of Sesame (http://www.openrdf.org) implementing Labeled RDF/S semantics. Statements can have a label, stored using Sesame "context". Labels can be partially ordered; a reasoner allowing to reason with labels is thus provided.
-
23
O-DEVICE is a CLIPS-based production rule OWL reasoner that maps OWL ontologies on the Object-Oriented language of CLIPS, namely COOL. Furthermore, JO-DEVICE is available that enables O-DEVICE to be used in JAVA applications.
-
24
-
25
This project aims at developing a javascript reasoner for the semantic web. JSExplicit can directly be embedded into webpages to generate context and user-aware information from RDF or OWL data on the fly.