owl2vcs is a set of tools designed to facilitate version control of OWL 2 ontologies using version control systems. It contains a commandline diff tool for OWL 2 ontologies integrated with Git and Mercurial. It detects axioms additions and removals, imports' additions and removals, ontology annotations' additions and removals, prefix additions, removals, modifications, and renames, ontology IRI and version IRI changes, and ontology format changes. It supports RDF/XML, OWL/XML, OWL Functional Syntax, Manchester OWL Syntax, and Turtle. It provides a changeset serializer and parser, two formats of changes, compact (like OWL Functional Syntax) and indented (the same, but more readable, using indents instead of parentheses), and four formats of IRIs: Simple, QName, Full, and Label.
This program is especially useful when the main difference between the two LaTeX files is in permutation of sections, moved equations, etc. Given 2 LaTeX files, it prepares 2 annotated LaTeX files showing which equations of the 1st file are identical, or close, or similar, to which equations of the 2nd file. It does the same with the pieces of text. It also saves the snippets of text and equations from each text into separate files in 2 new folders, allowing the user to see the difference using a diff program.