search

alanruttenberg / lsw2

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
28 stars 1 forks source link

API documentation? #7

Open rpgoldman opened 4 years ago

rpgoldman commented 4 years ago

Sorry if I have missed this, but do you have API documentation somewhere so that a potential user could identify what forms of OWL reasoning are supported by LSW2? Thanks!

alanruttenberg commented 4 years ago

Hi, Unfortunately I don't, but I'd be happy to respond to specific questions or give examples. The OWL reasoning is supported by a number of different reasoners: HermiT, Fact++, Elk, Pellet. There's also support for first order using vampire, z3, prover9.

alanruttenberg commented 4 years ago

Support for OWL is via the OWLAPI, version 4, and for various cases, e.g. modules, I have lisp suport. The rest is via java calls.