Skip to content

Commit f986df4

Browse files
authored
Merge pull request #24 from felixocker/main
add entry for pystardog
2 parents b2558a1 + 350412a commit f986df4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -194,6 +194,8 @@ Furthermore, this repository might serve as a **cristallization point for a comm
194194
- resolution-based theorem provers for first-order logic
195195
- focus on good comprehensibility of the code
196196
- Literature: [Teaching Automated Theorem Proving by Example](https://link.springer.com/chapter/10.1007/978-3-030-51054-1_9)
197+
- [pystardog](https://github.com/stardog-union/pystardog)
198+
- Python bindings for the [Stardog Knowledge Graph platform](https://www.stardog.com/)
197199
- [Quit Store](https://github.com/AKSW/QuitStore) – workspace for distributed collaborative Linked Data knowledge engineering ("Quads in Git")
198200
- features:
199201
- read and write RDF Datasets

0 commit comments

Comments
 (0)