{"url":"/dataset/list-of-owl-reasoners","name":"List of OWL reasoners","full_name":null,"description_markdown":"CSV file with a list of all examined OWL reasoners. For each item, information on usability and maintenance status, project pages, source code repositories and related documentation was gathered.","description_withheld":null,"homepage":"https://github.com/k00ni/owl-reasoner-list/blob/master/reasoner.csv","introduced_date":"2023-09-13","introduced_date_note":null,"introduced_by":{"paper":"/paper/owl-reasoners-still-useable-in-2023","title":"OWL Reasoners still useable in 2023","first_author":"Konrad Abicht","url":null},"license":{"name":"CC-BY 4.0","url":"https://creativecommons.org/licenses/by/4.0/"},"modalities":[{"name":"Tabular","url":"/datasets/modality/tabular"}],"tasks":[],"languages":[{"name":"English","url":"/datasets/language/english"}],"variants":["List of OWL reasoners"],"data_loaders":[],"num_papers_in_archive":1,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-25T09:33:49+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}