Semantic Turkey CORE Framework

Лицензия	Лицензия BSD-3-Clause
Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-core-framework
Последняя версия	Последняя версия 11.1
Дата	Дата 23 июн. 2022 г.
Тип	Тип 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

Имя Файла	Размер
st-core-framework-11.1.pom
st-core-framework-11.1.jar	1 MB
st-core-framework-11.1-test-sources.jar	107 KB
st-core-framework-11.1-sources.jar	875 KB
st-core-framework-11.1-javadoc.jar	5 MB
Обзор

Зависимости

compile (43)

Идентификатор библиотеки	Тип	Версия
com.google.code.findbugs : annotations	jar	2.0.1
jetty : jetty	jar	5.1.10
org.eclipse.rdf4j : rdf4j-repository-api	jar	3.7.3
org.eclipse.rdf4j : rdf4j-sail-nativerdf	jar	3.7.3
org.eclipse.rdf4j : rdf4j-queryrender	jar	3.7.3
org.eclipse.rdf4j : rdf4j-model	jar	3.7.3
org.eclipse.rdf4j : rdf4j-rio-rdfxml	jar	3.7.3
org.eclipse.rdf4j : rdf4j-queryresultio-sparqljson	jar	3.7.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.6
it.uniroma2.art.coda : coda-converters	jar	1.7.6
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	11.1
it.uniroma2.art.semanticturkey : st-trivial-inference-sail	jar	11.1
org.eclipse.rdf4j : rdf4j-repository-http	jar	3.7.3
it.unibo.alice.tuprolog : tuprolog	jar	3.2.1
it.uniroma2.art.lime : lime-model	test-jar	0.4.3
it.uniroma2.art.lime : lime-profiler	jar	0.4.3
it.uniroma2.art.maple : maple-core	jar	0.0.12
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	5.0.2
it.uniroma2.art.semanticturkey : st-i18n	jar	11.1
it.uniroma2.art.semanticturkey : st-utilities	jar	11.1
it.uniroma2.art.semanticturkey : st-metadata-registry-core	jar	11.1
org.everit.json : org.everit.json.schema	jar	1.5.1

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.12
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

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

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

Версия
11.1 23 июн. 2022 г.
10.2.1 7 февр. 2022 г.
10.2 26 янв. 2022 г.
10.1.1 28 окт. 2021 г.
10.1 21 сент. 2021 г.
10.0 2 авг. 2021 г.
9.1 28 апр. 2021 г.
9.0 17 мар. 2021 г.
8.0.1 9 окт. 2020 г.
8.0 29 июл. 2020 г.
7.0 6 февр. 2020 г.
6.0 27 июн. 2019 г.
5.0 30 янв. 2019 г.
4.0.2 27 июл. 2018 г.
4.0 23 июл. 2018 г.
3.0 8 февр. 2018 г.
2.0 31 окт. 2017 г.
1.0 28 сент. 2017 г.
0.12 14 янв. 2016 г.
0.11 4 мая 2015 г.
0.10 22 сент. 2014 г.