https://github.com/renyuneyun/dtou-lang

Data Terms of Use language reasoner implementation
https://github.com/renyuneyun/dtou-lang

Last synced: 4 days ago
JSON representation

Data Terms of Use language reasoner implementation

• Host: GitHub
• URL: https://github.com/renyuneyun/dtou-lang
• Owner: renyuneyun
• Created: 2023-09-26T12:39:32.000Z (over 1 year ago)
• Default Branch: www2024
• Last Pushed: 2024-11-22T02:44:27.000Z (about 2 months ago)
• Last Synced: 2024-11-22T03:26:48.698Z (about 2 months ago)
• Homepage: https://arxiv.org/abs/2403.07587
• Size: 84 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Data Terms of Use Reaoner

- - - - - -

Uses EYE reasoner. Encoded as N3 -- both the policy, and the rules. Uses RDF Surfaces for expressing first-order formula.

## Usage

The followig files are the core reasoner implementations:

- `dtou-lang-general.n3s`: The general reasoning rules not specifically for DToU (e.g. `rdfs:subClassOf`)

- `dtou-lang.n3s`: The axioms for DToU language, but not for the reasoning (conformance checking, etc)

- `dtou-lang-reasoning.n3s`: The axioms for DToU reasoning

To perform reasoning, load the above files together with the policy set (and your query). We have provided example policy sets and queries:

- `dtou-policy-*.n3s`: The example policies

- `dtou.n3s`: Example queries inherited from testing