The latest release ``Ontology Transformation 2'' is available as java library.
On the 04-04-16 Ontology Transformation 2 is available with new feature of recursive application of transformation pattern.
On the 26-08-15 Ontology Transformation 2 is available with fixes for reasoner. Next release for GUIPOT.
On the 08-12-13 Ontology Transformation 2 is available with minor fixes for different use cases.
On the 10-05-13 Ontology Transformation 2 is available. New features:
- New syntax within axioms -- Frame-based Manchester syntax
- Many bugs corrected -- e.g. dealing with annotations.
On the 28-03-12 newer version of Ontology Transformation is available. New features:
- Bug fixed -- correct recursive detection/transformation along the taxonomy
- Standalone java library available with three examples and javadoc documentation informing about usage of main classes.
On the 13-12-11 newer version of Ontology Transformation is available. New features:
- Bug fixed -- framework properly closes all already unused files.
- New version of mit-wn (JWI 2.2.2) is used. Older version had problems with proper closing of unused WordNet dictionary files which leads to "too many open files problem". Now solved.
- Web-based application for application any transformation pattern for logical reasoning use-case and for downgrading to OWL2EL have been made.
On the 16-11-11 newer version of Ontology Transformation is available. New features:
- Support for further logical reasoning tasks. Soon there will be web-based logical-reasoning tool for transformation.
- support for annotation axioms written in transformation patterns
- adding ontology annotations tracking removed/added axioms due to application of transformation pattern
- newly implemented vararg for unionOf construct
- suppressing debugging output (not fully because of using further related libraries)
- library now goes with all external libraries and usage code example
On the 18-10-11 newer version of Ontology Transformation is available. New features:
- Support for some logical reasoning tasks. See transformation patterns for logical reasoning in library: http://nb.vse.cz/~svabo/patomat/tp/lr/. Currently this includes the following:
- preprocessing which decompose intersection
- cardinality restrictions, complement axioms, simple disjunction and differenceWith, simple unionOf, replacing nominals see tutorial
- optional axioms
- vararg - an arbitrary number of placeholders for some constructs (currently implemented for oneOf construct)
- RunForLogicalReasoning command-line tool added.
- Recursive application of transformation pattern was simplified wrt. taxonomy (subClassOf)
- Added possibility of any length of placeholders. Allowed characters: [A-Za-z0-9_]
On the 14-09-11 newer version of Ontology Transformation is available. New features:
- Paths to WordNet and languge model can be directly given to Ontologytransformation class, e.g. from Eclipse preferences page as in the case of wizards. (version 4)
- Small bug during saving an ontology was repaired. (version 4a)
On the 27-07-11 newer version of Ontology Transformation is available. New features:
- Fixed bugs from previous version (due to recusive query initialization of query must be done after naming querying).
- Setting of path to WordNet and languge model from Stanford POS tagger must be done in config.properties placed in eclipse root directory.
- Saving ontology should be independant on OS. It is saved in home directory.
On the 21-06-11 newer version of Ontology Transformation is available. New features:
- Faster ontology pattern detection where naming aspect goes first (naming COMPARISON).
- SPARQL FILTER component based on the result of naming COMPARISON aspect - conjunctive semantics implemented.
- Generic recursive detection can be employed on request.
On the 31-05-11 newer version of Ontology Transformation is available.
- Recursive application of transformation has been added. Finally it is hidden for user. User can choose pattern instance over which transformation pattern would be applied and then this pattern instance is automatically extended in terms of transitive closure of given relation (using reasoner); now it is supported for 'subClassOf' relation. After this extension, transformation pattern is applied using possibility of additive instruction generation (wrt. numerous pattern instances). This can be tested with transformation pattern related to AgentRole CODP and confOf ontology enriched with classes PaperAuthor and PosterAuthor as subclasses of Author.
- A recursive detection has been abondened because this would be too complicated for final user to properly choose from such a list of pattern instances.
- In progress: first test to use LiLA linguistic framework from Johanna Völker. The LiLA could enable us to include more linguistic based operations into transformation framework without additional hard coding.
- Annotation properties can be properly defined within <entity_declaration> e.g., <entity type="AnnotationProperty">annotation:discr_property<entity>.
- Attribute 'ontology' and 'tp' have been added into <pattern_instance>.
- Attribute 'ontology' has been added into <instructions>.
- Naming operations can be newly n-ary operations.
On the 04-03-11 newer version of Ontology Transformation is available.
- It enables selection between different radical variants of transformation strategies (the appropriate form3 has been updated). This reflects treatment of additional axioms as external axioms touching the pattern by reffering to one of its entities:
- radical-keep - entities are kept and additional axioms are annotated (annotation:remove_warning_by, annotation:remove_warning_for)
- radical-neutral - entities are replaced either equivalently (e.g. Author equivalentTo Person and (writes some Paper)) or similarly (domain/range example in the case of writes object property, see form) using TP in future
- radical-remove - entities are removed and additional axioms are annotated but...
- Recursive Structures in patterns: some pattern can be applied in recursive way on its part, e.g. recursive taxonomies. Currently it is supported with additive instruction generation wrt. numerous pattern instances. TODO: recursive detection. This can be demonstrated on form2 variant. Generated block of instructions can be applied via proper input in the form3 on confOf ontology enriched with PosterAuthor and PaperAuthor classes and AgentRole pattern imported.
- Syntax for instructions (remove entity and rename entity) has been unified. Instead of having rename instruction outside <entities> element, it has been put inside so as to have the following syntax: e.g. <entities><rename type="Class" original_name="Person">Person</rename></entities>.
On the 08-02-11 newer version of Ontology Transformation is available.
- It enables selection between different transformation strategies:
- conservative - neither axioms nor entities removing
- progressive (default one) - only axioms removing
- radical - both axioms and entities removing
- It deals with 'additional axioms' in simple variant, i.e. dropping the local restrictions together with the class, and the global restrictions refer to the immediate superclass.
On the 18-01-11 newer version of Ontology Transformation Services is available. Main contributions:
- support for new import scenario, see tutorial below
- newly based on OWL-API 3 and corresponding OPPL supporting OWL-API 3
- support for creating entities from different IRIs (i.e. different namespaces/prefixes), e.g. tp_agentRoleV4a5
- besides, transformation pattern language has been slightly updated. Transformation patterns have been updated in our transformation pattern library, see a link below.
