Riley Moher

icon indicating a website link https://linktr.ee/rileymomo

icon company University of Toronto icon location Toronto icon location PhD Candidate @ UofT | Process Mining , Knowledge Representation

Results 2 issues of Riley Moher

makeKnowledge Error with PLE using tuple aliases

3 comment

Hello, I've recently been using liquid haskell for some simple geometric refined types. I encountered an issue when using PLE, below is my minimal example ``` module Main where {-@...

No DL Expressivity Metric in Protege 5.5.0

I've noticed that the DL Expressivity Metric is missing in version 5.5.0 while it was present in previous releases (at least in 5.1.0), I cannot find it under Windows >...