Semantic Turkey

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

License

License

Categories

Categories

Ant Build Tools KeY Data Data Formats Formal Verification
GroupId

GroupId

it.uniroma2.art.semanticturkey
ArtifactId

ArtifactId

semanticturkey
Last Version

Last Version

11.1
Release Date

Release Date

Type

Type

zip
Description

Description

Semantic Turkey
Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)
Project URL

Project URL

http://semanticturkey.uniroma2.it/
Project Organization

Project Organization

ART Group, University of Rome, Tor Vergata
Source Code Management

Source Code Management

https://bitbucket.org/art-uniroma2/semantic-turkey.git

Download semanticturkey

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

  • l10n
  • i18n
  • codegen-annotations
  • changetracking-sail
  • trivial-inference-sail
  • utilities
  • core-framework
  • zthes-commons
  • core-extensions
  • codegen-processor
  • metadata-registry
  • core-services
  • console
  • builder
  • font

Versions

Version
11.1
10.2.1
10.2
10.1.1
10.1
10.0
9.1
9.0
8.0.1
8.0
7.0
6.0
5.0
4.0.2
4.0
3.0
2.0
1.0
0.12
0.11
0.10