JarCasting
JarCasting JarCasting

org.geneontology:expression-materializing-reasoner

An OWL reasoner extension for quering over existential restrictions

Лицензия

Лицензия
Группа

Группа

org.geneontology
Идентификатор

Идентификатор

expression-materializing-reasoner
Последняя версия

Последняя версия

0.1.3
Дата

Дата
Тип

Тип

jar
Описание

Описание

org.geneontology:expression-materializing-reasoner
An OWL reasoner extension for quering over existential restrictions
Ссылка на сайт

Ссылка на сайт

https://github.com/owlcollab/expression-materializing-reasoner
Система контроля версий

Система контроля версий

https://github.com/owlcollab/expression-materializing-reasoner

Скачать expression-materializing-reasoner

Имя Файла Размер
expression-materializing-reasoner-0.1.3.pom
expression-materializing-reasoner-0.1.3.jar 12 KB
expression-materializing-reasoner-0.1.3-sources.jar 6 KB
expression-materializing-reasoner-0.1.3-javadoc.jar 45 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/ -->
<dependency>
    <groupId>org.geneontology</groupId>
    <artifactId>expression-materializing-reasoner</artifactId>
    <version>0.1.3</version>
</dependency>
// https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/
implementation 'org.geneontology:expression-materializing-reasoner:0.1.3'
// https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/
implementation ("org.geneontology:expression-materializing-reasoner:0.1.3")
'org.geneontology:expression-materializing-reasoner:jar:0.1.3'
<dependency org="org.geneontology" name="expression-materializing-reasoner" rev="0.1.3">
  <artifact name="expression-materializing-reasoner" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.geneontology', module='expression-materializing-reasoner', version='0.1.3')
)
libraryDependencies += "org.geneontology" % "expression-materializing-reasoner" % "0.1.3"
[org.geneontology/expression-materializing-reasoner "0.1.3"]

Зависимости

compile (1)

Идентификатор библиотеки Тип Версия
net.sourceforge.owlapi : owlapi-distribution jar 4.2.5

test (4)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.12
org.semanticweb.elk : elk-owlapi jar 0.4.3
net.sourceforge.owlapi : org.semanticweb.hermit jar 1.3.8.413
org.slf4j : slf4j-log4j12 jar 1.7.10

Модули Проекта

Данный проект не имеет модулей.

Build Status Maven Central Javadoc

This wraps an existing reasoner to implement OWLExtendedReasoner.

It works by materializing expressions of the form "R some Y" as equivalence axioms prior to reasoning.

After reasoning, it can retrieve these anonymous superclasses.

Currently limited to a single level of nesting - in principle it could be extended to expressions of depth k

In terms of performance the biggest impact are the number of OWLObjectProperties for which the materialization is required. It is usually NOT recommended to use all properties of an ontology signature.

This version was designed and implemented by @cmungall

org.geneontology

owl collaboratory

Tooling for OWL that is the combined efforts of GO, Monarch, BBOP, BgeeDb and other orgs

Версии библиотеки

Версия
0.1.3