Search Results for "knowledge representation"

ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...

Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. ...

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

Tweety is a collection of various Java libraries that implement approaches to different areas of artificial intelligence. In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.

The KReator project is a collection of software systems, tools, algorithms and data structures for logic-based knowledge representation. Currently, it includes the software systems KReator and MECore and the library Log4KR: - KReator is an integrated development environment (IDE) for relational probabilistic knowledge representation languages such as Bayesian Logic Programs (BLPs), Markov Logic Networks (MLNs), Relational Maximum Entropy (RME), First-Order Probabilistic Conditional Logic (FO-PCL), and others...

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures and functions to represent and maintain locally in KP code all ontology classes, relations, properties, and individuals. ...

Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment and validation. ...

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision.

...Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying special attention to interpretability issues. GUAJE lets the user define expert variables and rules, but also provide supervised and fully automatic learning capabilities. Both types of knowledge, expert and induced, are integrated under the expert supervision, ensuring interpretability, simplicity and consistency of the knowledge base along the whole process. ...

Virtual Spaces MWN is a Java tool developed at the MPIWG for the structured representation of knowledge. Texts, images and hyperlinks can be organized in 2D graphs. These graphs are used to generate HTML, PDF or RTF files to create virtual tours.

Knowtator is a general-purpose text annotation tool that is integrated with the Protégé knowledge representation system. Knowtator facilitates the manual creation of training and evaluation corpora for a variety of biomedical language processing tasks.

The Prajna project is a collection of tools and utility classes combining visualization, geographic displays, data fusion, and semantic reasoning into a cohesive toolkit for enhancing information discovery and reasoning.

...Consists of an application to represent the employees of an organization in a graphic map according to personal skills, using their evaluations on the different competences which the company needs. This software generates a graphical representation of the employees in a 2D map of coordinates, that pojects each worker as a figure in the map. The geometric characteristics of each one of these shapes will tell us how are the skills of the employee represented, and it is shown in a simple and visual mode. Furthermore, each employee is placed according to his/her knowledge allowing thus an easy detection of groups with similar profiles segmenting heterogeneous groups and perceiving employees’ skills evolutions during a given period of time. ...

Wikipedia Concept Association Map (WCAM) is new approach for textual knowledge representation and understanding. All concepts and associations are stored in a graph database for better performance and easy distribution.

GHIRL is the Graph-based Heterogeneous Information Representation Language: a java library for representing, querying, and navigating graph- or network-based data structures.

DLPlan is an open-source planner implemented in Java that uses Semantic Web standard technologies for knowledge representation and reasoning.

leXkit: a client-server dictionary edition environment, that makes editing easier for the lexicographer, who hasn’t to be aware of technical issues. Entry meta-information is used to provide advanced functionality, such as context-dependent tasks.

JEpistemicLogicVis is an application for visualization of evaluations of multi-modal-logical formulas for knowledge representation over finite Kripke-models, whereat the accessibility for each agent is an equivalent-relation.

The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.

OWL Interactive is a visualization environment to graphically and interactively display contents of OWL ontologies. It represents concept and their interrelationships based on the knowledge representation (KR) primitives defined by OWL ontology language.

Jait is an artificial inteligence toolkit. It provides basic methods and techniques as well as a framework for decision support and expert systems. It's mission is to develop a reliable and efficient knowledge representation method.

fedg extracts knowledge and relevant events in chinese texts to generate Feature Event Dependency Graph.FEDG is a knowledge representation model,meaningful for latent knowledge discovery and efficient reasoning.

Semantic knowledge representation for analysis of microscopic images.