search

ontology-tools / py-horned-owl

A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.
https://ontology-tools.github.io/py-horned-owl/
GNU Lesser General Public License v3.0
13 stars 6 forks source link

Add more py axioms #5

Closed Eugenio2192 closed 1 year ago

Eugenio2192 commented 1 year ago

Hello @jannahastings

I added a couple of more axioms to the PySimpleAxiom from function. I wish my rust was good enough to figure out a way to do these with macros but maybe in the future I can do it.

I also added a getter for object properties just because I found myself needing that a lot lately.