https://github.com/k00ni/owl-reasoner-list

This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
https://github.com/k00ni/owl-reasoner-list

Last synced: about 1 month ago
JSON representation

This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.

• Host: GitHub
• URL: https://github.com/k00ni/owl-reasoner-list
• Owner: k00ni
• License: cc-by-4.0
• Created: 2023-06-29T11:28:13.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-08-12T06:05:15.000Z (3 months ago)
• Last Synced: 2024-08-12T07:27:23.745Z (3 months ago)
• Language: TeX
• Homepage:
• Size: 50.8 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# List of OWL Reasoner

This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner. Further additions and changes are welcome.

## Briefly about the history

My findings during a systematic literature-, software- and internet study about OWL reasoners and systems using a third-party reasoner were documented in the raw files you find here.

The research took place in 2023 and the list doesn't claim to be complete.

All results of that research were published in the following paper:

**BibTeX:**

```

@misc{abicht2023owl,

      title={OWL Reasoners still useable in 2023},

      author={Konrad Abicht},

      year={2023},

      eprint={2309.06888},

      archivePrefix={arXiv},

      primaryClass={cs.AI}

}

```

https://arxiv.org/abs/2309.06888

To get the exact data generated during the research, please checkout tag [v1.0.0](https://github.com/k00ni/owl-reasoner-list/releases/tag/v1.0.0).

## Content

### Reasoner overview

[**reasoner.csv**](./reasoner.csv) contains a list of available OWL reasoners.

Each entry contains information about project maintenance status, if software is still usable, version, license, code repository links etc.

### Software using a third-party reasoner

[**systems-using-third-party-reasoner.csv**](./systems-using-third-party-reasoner.csv) contains a list of software, which uses a third-party reasoner.

It is similar structured as *reasoner.csv*.

### Bibliography

File [**paper.bib**](./paper.bib) contains all publications used for my research.

Most of them are publications regarding OWL reasoners.

## License

This work is licensed under the terms of the Creative Commons CC-BY (Attribution) 4.0 International.

For further information check [LICENSE](./LICENSE) or https://creativecommons.org/licenses/by/4.0/.

## Contributions

I welcome contributions (e.g. new additions, feedback)!

Before you do any substantial work, please open an issue and discuss it or write me an email (to [@k00ni](https://github.com/k00ni)).