{"id":27953743,"url":"https://github.com/kbss-cvut/owldiff","last_synced_at":"2025-07-04T17:34:31.638Z","repository":{"id":40396570,"uuid":"309948164","full_name":"kbss-cvut/owldiff","owner":"kbss-cvut","description":"OWL Comparison Tool","archived":false,"fork":false,"pushed_at":"2024-01-31T10:30:18.000Z","size":16178,"stargazers_count":2,"open_issues_count":2,"forks_count":3,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-05-07T17:14:37.737Z","etag":null,"topics":["comparison","diff","java","owl","owl2","owldiff","protege-plugin","swing"],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kbss-cvut.png","metadata":{"files":{"readme":"README.md","changelog":"changelog.txt","contributing":null,"funding":null,"license":"license.txt","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-11-04T08:58:20.000Z","updated_at":"2024-02-09T20:14:20.000Z","dependencies_parsed_at":"2022-08-09T19:11:01.304Z","dependency_job_id":null,"html_url":"https://github.com/kbss-cvut/owldiff","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kbss-cvut%2Fowldiff","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kbss-cvut%2Fowldiff/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kbss-cvut%2Fowldiff/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kbss-cvut%2Fowldiff/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kbss-cvut","download_url":"https://codeload.github.com/kbss-cvut/owldiff/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252922320,"owners_count":21825639,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["comparison","diff","java","owl","owl2","owldiff","protege-plugin","swing"],"created_at":"2025-05-07T17:14:41.130Z","updated_at":"2025-05-07T17:14:41.565Z","avatar_url":"https://github.com/kbss-cvut.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"# OWLDiff\n\nA tool to perform a 2-way diff of OWL ontologies.\n\n## Requirements\n- Java 14\n\n## Features\n- syntactic diff/merge functionality\n- explanations for inferred axioms\n- various visualization options - Manchester/DL syntax, classified view, plain axiom list\n- fully semantic diff for EL using the CEX algorithm.\n- easy Subversion integration\n    \n### PLAIN (SYNTACTIC) DIFF\n- is provides an axiom by axiom difference of the ontologies\n- different axioms are shown in 'green', the common parts are blue (and hidden by default).\n\t\t\n### ENTAILMENT CHECK\n- for each axiom that is not contained in the other ontology an entailment check tests whether it can be derived from the other ontology or not.\n- entailed axioms are shown in 'red' \n- for inconsistent ontologies the entailment check is disabled\n\n### CEX DIFF\n- if either of the ontologies is not EL, no CEX is performed\n- axioms with colored background denote those that appear either in DiffR or DiffL list - they represent semantic differences between the classes the semantics of whose has changed \n\t  (as described in http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_12.pdf)\n\n### ENTAILMENT EXPLANATIONS\n- the incremental algorithm for single explanation generation is used (as described in Křemen, P. - Kouba, Z.: Incremental Approach to Error Explanations in Ontologies. In Proceedings of I-KNOW `07. Graz: Graz University of Technology, 2007, p. 332-339. ISSN 0948-695X )\n\n## Known Limitations\n- imports are currently NOT resolved\n- just one explanation generated for a single axiom - TODO provide the possibility to get all explanations\n- usually the only sensible use is to compare ontologies with the same URI - no check is performed to find out whether the ontology/class/property/individual URI changed.\n\n## How to run it?\n- to show the GUI without setting the input files in advance run\n\t\t\t'java -jar owldiff.jar' (or the convenience script 'owldiff' on linux)\n- to perform the diff of file/URI \u003cu1\u003e and file/URI \u003cu2\u003e run\n\t\t\t'java -jar owldiff.jar \u003cu1\u003e \u003cu2\u003e' (or the convenience script 'owldiff \u003cu1\u003e \u003cu2\u003e' on linux)\n\n* * *\n2020 Czech Technical University, Knowledge Based and Software Systems Group\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkbss-cvut%2Fowldiff","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkbss-cvut%2Fowldiff","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkbss-cvut%2Fowldiff/lists"}