{"id":25536803,"url":"https://github.com/balhoff/owlrl-datalog","last_synced_at":"2025-06-30T20:35:34.653Z","repository":{"id":43374516,"uuid":"407630579","full_name":"balhoff/owlrl-datalog","owner":"balhoff","description":"Experimenting with OWL RL reasoning in Souffle","archived":false,"fork":false,"pushed_at":"2024-01-20T22:28:36.000Z","size":33144,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-06-09T23:06:06.591Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/balhoff.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-09-17T17:42:31.000Z","updated_at":"2022-05-04T19:59:12.000Z","dependencies_parsed_at":"2025-06-09T23:06:08.418Z","dependency_job_id":"338ca0ec-1308-4603-b806-1ba607afb043","html_url":"https://github.com/balhoff/owlrl-datalog","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/balhoff/owlrl-datalog","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/balhoff%2Fowlrl-datalog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/balhoff%2Fowlrl-datalog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/balhoff%2Fowlrl-datalog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/balhoff%2Fowlrl-datalog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/balhoff","download_url":"https://codeload.github.com/balhoff/owlrl-datalog/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/balhoff%2Fowlrl-datalog/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262846750,"owners_count":23373868,"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":[],"created_at":"2025-02-20T04:37:55.279Z","updated_at":"2025-06-30T20:35:34.626Z","avatar_url":"https://github.com/balhoff.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"# owlrl-datalog\n\nThis is an implementation of reasoning rules for the [OWL RL profile](https://www.w3.org/TR/owl2-profiles/#OWL_2_RL) in [Soufflé](https://souffle-lang.github.io). \nThe Soufflé rules are separated into two stages:\n\n- The [first stage](https://github.com/balhoff/owlrl-datalog/blob/master/src/datalog/owl_from_rdf.dl) parses OWL axioms out of RDF representing the ontology Tbox, \nand outputs tables for each expression and axiom type.\n- The [second stage](https://github.com/balhoff/owlrl-datalog/blob/master/src/datalog/owl_rl_abox.dl) inputs those tables as well as RDF representing an Abox dataset. \nIt outputs the inferred class assertions and object property assertions according to the Tbox.\n\nThe two stage approach allows only computing the Abox inferences for many input datasets, handling the ontology only once. \n\"Preparsing\" the ontology also allows the Abox rules to be more efficient. \nSee the [Makefile](https://github.com/balhoff/owlrl-datalog/blob/master/Makefile) for examples of how to run the rules. \nAn [implementation that works with RDF quads](https://github.com/balhoff/owlrl-datalog/blob/master/src/datalog/owl_rl_abox_quads.dl) is also provided.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbalhoff%2Fowlrl-datalog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbalhoff%2Fowlrl-datalog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbalhoff%2Fowlrl-datalog/lists"}