├── LICENSE ├── README.md ├── ecco.bat ├── ecco.sh ├── eccov.sh ├── pom.xml └── src └── main ├── java └── uk │ └── ac │ └── manchester │ └── cs │ └── diff │ ├── Ecco.java │ ├── EccoRunner.java │ ├── EccoSettings.java │ ├── axiom │ ├── AxiomDiff.java │ ├── CategoricalDiff.java │ ├── LogicalDiff.java │ ├── LogicalDiffConcurrent.java │ ├── StructuralDiff.java │ ├── change │ │ ├── CategorisedChange.java │ │ ├── CategorisedEffectualAddition.java │ │ ├── CategorisedEffectualChange.java │ │ ├── CategorisedEffectualRemoval.java │ │ ├── CategorisedIneffectualAddition.java │ │ ├── CategorisedIneffectualRemoval.java │ │ ├── LogicalAddition.java │ │ ├── LogicalChange.java │ │ ├── LogicalRemoval.java │ │ ├── StructuralAddition.java │ │ ├── StructuralChange.java │ │ └── StructuralRemoval.java │ └── changeset │ │ ├── AxiomChangeSet.java │ │ ├── CategorisedChangeSet.java │ │ ├── LogicalChangeSet.java │ │ └── StructuralChangeSet.java │ ├── concept │ ├── ConceptDiff.java │ ├── ContentCVSDiff.java │ ├── GrammarDiff.java │ ├── SubconceptDiff.java │ ├── change │ │ ├── ConceptChange.java │ │ ├── LHSConceptChange.java │ │ └── RHSConceptChange.java │ ├── changeset │ │ └── ConceptChangeSet.java │ ├── sigma │ │ └── Signature.java │ └── witnesses │ │ ├── WitnessAxioms.java │ │ ├── WitnessConcepts.java │ │ └── WitnessGroup.java │ ├── exception │ ├── DuplicateArgumentException.java │ ├── InconsistentOntologyException.java │ ├── InsufficientArgumentsException.java │ ├── MissingArgumentException.java │ ├── NotImplementedException.java │ └── UnrecognizedArgumentException.java │ ├── justifications │ ├── JustificationFinder.java │ └── LaconicJustificationFinder.java │ ├── output │ ├── GenSymShortFormProvider.java │ ├── LabelShortFormProvider.java │ ├── OutputHandler.java │ ├── csv │ │ ├── CSVAxiomDiffReport.java │ │ ├── CSVConceptDiffReport.java │ │ └── CSVDiffReport.java │ └── xml │ │ ├── XMLAxiomDiffReport.java │ │ ├── XMLConceptDiffReport.java │ │ ├── XMLDiffReport.java │ │ └── XMLUnifiedDiffReport.java │ ├── test │ ├── Diff.java │ ├── DiffResult.java │ └── SubconceptDiffAlternative.java │ ├── unity │ ├── ChangeAligner.java │ ├── ChangeAlignerExperimental.java │ ├── WitnessJustifier.java │ └── changeset │ │ ├── AlignedChangeSet.java │ │ ├── AlignedChangeSetInt.java │ │ ├── AlignedDirectChangeSet.java │ │ ├── AlignedIndirectChangeSet.java │ │ └── ChangeSet.java │ └── utils │ ├── ConceptDiffRunner.java │ ├── OntologyLoader.java │ ├── ProgressMonitor.java │ ├── ReasonerLoader.java │ ├── SignatureSampler.java │ ├── SilentChangeBroadcastStrategy.java │ └── XMLTransformer.java └── resources ├── css ├── reveal.css └── style.css ├── images ├── blank.png ├── favicon.png ├── info_bubble.png ├── logomanchester.png ├── minus.png ├── modal-gloss.png ├── plus.png ├── tt_bottom.gif ├── tt_left.gif ├── tt_top.gif └── x_icon.gif ├── js ├── jquery-1.4.4.js ├── jquery-ui-1.8.12.custom.min.js ├── jquery.checkboxtree.js ├── jquery.reveal.js ├── jscript.js └── script.js └── xslt ├── xslt_client.xsl ├── xslt_full_client.xsl └── xslt_full_client_examples.xsl /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/README.md -------------------------------------------------------------------------------- /ecco.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/ecco.bat -------------------------------------------------------------------------------- /ecco.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/ecco.sh -------------------------------------------------------------------------------- /eccov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/eccov.sh -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/Ecco.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/Ecco.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/EccoRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/EccoRunner.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/EccoSettings.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/EccoSettings.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/AxiomDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/AxiomDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/CategoricalDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/CategoricalDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/LogicalDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/LogicalDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/LogicalDiffConcurrent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/LogicalDiffConcurrent.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/StructuralDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/StructuralDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualAddition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualAddition.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualRemoval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedEffectualRemoval.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedIneffectualAddition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedIneffectualAddition.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedIneffectualRemoval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/CategorisedIneffectualRemoval.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalAddition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalAddition.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalRemoval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/LogicalRemoval.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralAddition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralAddition.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralRemoval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/change/StructuralRemoval.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/AxiomChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/AxiomChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/CategorisedChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/CategorisedChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/LogicalChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/LogicalChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/StructuralChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/axiom/changeset/StructuralChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/ConceptDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/ConceptDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/ContentCVSDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/ContentCVSDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/GrammarDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/GrammarDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/SubconceptDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/SubconceptDiff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/change/ConceptChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/change/ConceptChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/change/LHSConceptChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/change/LHSConceptChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/change/RHSConceptChange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/change/RHSConceptChange.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/changeset/ConceptChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/changeset/ConceptChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/sigma/Signature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/sigma/Signature.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessAxioms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessAxioms.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessConcepts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessConcepts.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/concept/witnesses/WitnessGroup.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/DuplicateArgumentException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/DuplicateArgumentException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/InconsistentOntologyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/InconsistentOntologyException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/InsufficientArgumentsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/InsufficientArgumentsException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/MissingArgumentException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/MissingArgumentException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/NotImplementedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/NotImplementedException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/exception/UnrecognizedArgumentException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/exception/UnrecognizedArgumentException.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/justifications/JustificationFinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/justifications/JustificationFinder.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/justifications/LaconicJustificationFinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/justifications/LaconicJustificationFinder.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/GenSymShortFormProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/GenSymShortFormProvider.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/LabelShortFormProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/LabelShortFormProvider.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/OutputHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/OutputHandler.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVAxiomDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVAxiomDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVConceptDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVConceptDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/csv/CSVDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLAxiomDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLAxiomDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLConceptDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLConceptDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLUnifiedDiffReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/output/xml/XMLUnifiedDiffReport.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/test/Diff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/test/Diff.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/test/DiffResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/test/DiffResult.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/test/SubconceptDiffAlternative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/test/SubconceptDiffAlternative.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/ChangeAligner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/ChangeAligner.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/ChangeAlignerExperimental.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/ChangeAlignerExperimental.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/WitnessJustifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/WitnessJustifier.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedChangeSetInt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedChangeSetInt.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedDirectChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedDirectChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedIndirectChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/changeset/AlignedIndirectChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/unity/changeset/ChangeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/unity/changeset/ChangeSet.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/ConceptDiffRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/ConceptDiffRunner.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/OntologyLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/OntologyLoader.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/ProgressMonitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/ProgressMonitor.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/ReasonerLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/ReasonerLoader.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/SignatureSampler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/SignatureSampler.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/SilentChangeBroadcastStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/SilentChangeBroadcastStrategy.java -------------------------------------------------------------------------------- /src/main/java/uk/ac/manchester/cs/diff/utils/XMLTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/java/uk/ac/manchester/cs/diff/utils/XMLTransformer.java -------------------------------------------------------------------------------- /src/main/resources/css/reveal.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/css/reveal.css -------------------------------------------------------------------------------- /src/main/resources/css/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/css/style.css -------------------------------------------------------------------------------- /src/main/resources/images/blank.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/blank.png -------------------------------------------------------------------------------- /src/main/resources/images/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/favicon.png -------------------------------------------------------------------------------- /src/main/resources/images/info_bubble.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/info_bubble.png -------------------------------------------------------------------------------- /src/main/resources/images/logomanchester.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/logomanchester.png -------------------------------------------------------------------------------- /src/main/resources/images/minus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/minus.png -------------------------------------------------------------------------------- /src/main/resources/images/modal-gloss.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/modal-gloss.png -------------------------------------------------------------------------------- /src/main/resources/images/plus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/plus.png -------------------------------------------------------------------------------- /src/main/resources/images/tt_bottom.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/tt_bottom.gif -------------------------------------------------------------------------------- /src/main/resources/images/tt_left.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/tt_left.gif -------------------------------------------------------------------------------- /src/main/resources/images/tt_top.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/tt_top.gif -------------------------------------------------------------------------------- /src/main/resources/images/x_icon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/images/x_icon.gif -------------------------------------------------------------------------------- /src/main/resources/js/jquery-1.4.4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/jquery-1.4.4.js -------------------------------------------------------------------------------- /src/main/resources/js/jquery-ui-1.8.12.custom.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/jquery-ui-1.8.12.custom.min.js -------------------------------------------------------------------------------- /src/main/resources/js/jquery.checkboxtree.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/jquery.checkboxtree.js -------------------------------------------------------------------------------- /src/main/resources/js/jquery.reveal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/jquery.reveal.js -------------------------------------------------------------------------------- /src/main/resources/js/jscript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/jscript.js -------------------------------------------------------------------------------- /src/main/resources/js/script.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/js/script.js -------------------------------------------------------------------------------- /src/main/resources/xslt/xslt_client.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/xslt/xslt_client.xsl -------------------------------------------------------------------------------- /src/main/resources/xslt/xslt_full_client.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/xslt/xslt_full_client.xsl -------------------------------------------------------------------------------- /src/main/resources/xslt/xslt_full_client_examples.xsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rsgoncalves/ecco/HEAD/src/main/resources/xslt/xslt_full_client_examples.xsl --------------------------------------------------------------------------------