From OntologPSMW

Jump to: navigation, search

This is a property of type Text.


The question to be used when requesting the value of this property is: Description of ...


Pages using the property "Description of the tool"

Showing 7 pages using this property.

1

15926Editor +.15926 Editor is an application to work with data compliant to international standard ISO 15926 "Industrial automation systems and integration — Integration of life-cycle data for process plants including oil and gas production facilities". It allows to build domain ontologies (reference data) under the upper ontology (type system) of ISO 15926-2. With fully functional RDF viewer/editor at the core, .15926 Editor can parse and present any RDF compliant ontology data set. The Editor can easily handle large data sources which are difficult or impossible to explore in a majority of publicly available tools. .15926 Editor is a tool designed with three major goals in mind: • explore existing sources of reference data (domain ontologies) in as many formats as possible; • verify reference data; • engineer new reference data, including automated reference data creation through mapping from external sources. The Editor is intended to become for ISO 15926 ontology data what Protégé became for OWL data – a primary tool for data exploration. .15926 Editor is built on the .15926 Platform to demonstrate Platform's capabilities. .15926 Platform is a name for an architecture and a set of specific interfaces and libraries to work with ISO 15926 data. It is developed by TechInvestLab.ru to facilitate creation of semantic applications to work with ISO 15926 data in all possible ways – read, visualize, explore, search, reason, map, write, exchange, etc.

H

HyQue +HyQue is a system that uses Semantic Web technologies to evaluate formalized hypotheses against experimental data through a combination of SPARQL queries and evaluation rules

M

Macleod +This program consists of a set of scripts designed for key reasoning tasks frequently encountered in ontology design and verification. At the moment it focuses on automating tasks that can be accomplished independent of the semantic of concepts and relations. These tasks are consistency checking of ontologies and their modules as well as checking whether competency questions, providing as ''lemmas'', are entailed. While the program primarily targets first-order ontologies specified in the Common Logic (CL) syntax, some parts of it can also be used for reasoning about ontologies in LADR (Prover9/Mace4) or TPTP syntax (accepted by many first-order theorem provers and model finders). The tasks are accomplished by running existing automated theorem provers and model finders in parallel to establish consistency or inconsistency of an ontology or a module thereof, or to prove a sentence from an ontology (or module) or to find a counterexample of the sentence. Moreover, the tool exploits the modularity of ontologies, which manifests itself in its file CL imports structure. In the near future it will be integrated with COLORE to provide design, verification, and other reasoning support for all ontologies in the repository.

N

NCBO BioPortal +Repository for Biomedical Ontologies

O

OntologyTest +The tool allows the user to define a set of tests to check the ontology’s functional requirements, to execute them, and to inspect the results of the execution. The whole set of tests (or a particular test) can be executed at any time; thus it simplifies the testing of ontology both during its development and during its evolution.
OpenLinkVirtuoso +Virtuoso is an innovative enterprise grade multi-model (RDF and SQL) relational data server for enterprises & individuals alike. It delivers a platform agnostic solution for secure data management, access, and integration. The unique hybrid architecture of Virtuoso enables it to offer traditionally distinct server functionality within a single product offering that covers the following areas: • SQL compliant Relational (Tables) Data Management • SPARQL compliant RDF Relational (Property Graph) Data Management • Content Management • Linked Data Deployment (exemplified via DBpedia and the LOD Cloud Cache).

S

SigmaKEE +Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org