Tiffany J. Callahan

Chiming in, feel free to ignore. I agree it would be ideal to allow for more formally defined and expressive axioms around the mappings, but also worry that it quickly...

Should be able to work on this soon! Working on some updates to the mapping pipeline as we speak. Once those are done, my next step is to create some...

@bill-baumgartner - I won't be able to meet during our normal Wednesday time, but can meet anytime today after 1pm and anytime tomorrow (for the most part). Let me know...

> Evaluation steps look good. What was the result of `./owltools -h`? > I can meet @ 1pm today. Tomorrow looks dicey due to the weather forecast. I have something...

@bill-baumgartner - following up from our meeting yesterday. Can you please take a look at OWLTools to see how difficult it might be to add a reasoner from the OWLAPI?...

> @callahantiff - can you post the list of reasoners we selected? No problem, @bill-baumgartner the reasoners we chose are shown in the table below. Reasoner | Language | OWLTools...

> First pass - the biggest issue is that most of the available reasoners support OWL API v3, and not v4 or v5. > > * elephant - C code,...

@bill-baumgartner - did you want to touch base on this stuff today?

> Turns out that Konclude works well from the command-line (in conjunction with Docker). So far I have not figured out how to retrieve explanations for unsatisfiable classes, but it...

Morning @bill-baumgartner! Below is a link to download a zipped directory of the ontologies we can use for the _reasoner challenge_. I have spent the last few days extensively cleaning...