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

Semantic Turkey CORE Framework 10.0

Semantic Turkey main project. It contains the core business logic of the system.

Лицензия

Лицензия

Категории

Категории

Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа

Группа

it.uniroma2.art.semanticturkey
Идентификатор

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

st-core-framework
Версия

Версия

10.0
Тип

Тип

bundle
Описание

Описание

Semantic Turkey CORE Framework
Semantic Turkey main project. It contains the core business logic of the system.
Организация-разработчик

Организация-разработчик

ART Group, University of Rome, Tor Vergata

Скачать st-core-framework 10.0

Зависимости

compile (44)

Идентификатор библиотеки Тип Версия
com.google.code.findbugs : annotations jar 2.0.1
jetty : jetty jar 5.1.10
org.eclipse.rdf4j : rdf4j-repository-api jar 3.6.3
org.eclipse.rdf4j : rdf4j-sail-nativerdf jar 3.6.3
org.eclipse.rdf4j : rdf4j-queryrender jar 3.6.3
org.eclipse.rdf4j : rdf4j-model jar 3.6.3
org.eclipse.rdf4j : rdf4j-rio-rdfxml jar 3.6.3
org.eclipse.rdf4j : rdf4j-queryresultio-sparqljson jar 3.6.3
org.antlr : antlr4-runtime jar 4.8
org.apache.felix : org.apache.felix.main jar 2.0.1
com.google.guava : guava jar 30.1.1-jre
org.json : json jar 20090211
javax.validation : validation-api jar 1.1.0.Final
org.hibernate : hibernate-validator jar 4.2.0.Final
org.springframework : spring-tx jar 3.2.14.RELEASE
org.springframework : spring-web jar 3.2.14.RELEASE
org.springframework : spring-webmvc jar 3.2.14.RELEASE
org.springframework.security : spring-security-web jar 3.1.4.RELEASE
it.uniroma2.art.coda : coda-osgi-bundle jar 1.7.2
it.uniroma2.art.coda : coda-converters jar 1.7.2
xerces : xercesImpl jar 2.11.0
org.apache.servicemix.bundles : org.apache.servicemix.bundles.aspectj jar 1.7.4_1
com.fasterxml.jackson.core : jackson-core jar 2.12.3
com.fasterxml.jackson.core : jackson-annotations jar 2.12.3
com.fasterxml.jackson.core : jackson-databind jar 2.12.3
com.fasterxml.jackson.dataformat : jackson-dataformat-yaml jar 2.12.3
com.fasterxml.jackson.datatype : jackson-datatype-jdk8 jar 2.12.3
com.fasterxml.jackson.datatype : jackson-datatype-jsr310 jar 2.12.3
it.uniroma2.art.semanticturkey : st-changetracking-sail jar 10.0
it.uniroma2.art.semanticturkey : st-trivial-inference-sail jar 10.0
org.eclipse.rdf4j : rdf4j-repository-http jar 3.6.3
it.unibo.alice.tuprolog : tuprolog jar 3.2.1
it.uniroma2.art.lime : lime-model test-jar 0.4.2
it.uniroma2.art.lime : lime-profiler jar 0.4.2
it.uniroma2.art.maple : maple-core jar 0.0.8
javax.annotation : javax.annotation-api jar 1.3.2
org.apache.commons : commons-lang3 jar 3.12.0
javax.mail : mail jar 1.4.4
it.uniroma2.art.sheet2rdf : sheet2rdf-osgi-bundle jar 4.2.0
it.uniroma2.art.semanticturkey : st-i18n jar 10.0
it.uniroma2.art.semanticturkey : st-utilities jar 10.0
it.uniroma2.art.semanticturkey : st-metadata-registry-core jar 10.0
org.everit.json : org.everit.json.schema jar 1.5.1
com.cronutils : cron-utils jar 9.0.2

test (7)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.12
org.hamcrest : java-hamcrest jar 2.0.0.0
org.apache.sling : org.apache.sling.testing.osgi-mock.junit4 jar 2.4.4
it.uniroma2.art.maple : maple-core test-jar 0.0.8
org.apache.felix : org.apache.felix.scr.annotations jar 1.9.6
pl.pragmatists : JUnitParams jar 1.1.1
org.skyscreamer : jsonassert jar 1.5.0

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

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