mpomarlan

Retrieve tokens on the path to a matching

1

It's often interesting to know not only the leaf token as selected by a pattern, but also some of the intermediate steps. Python's re package even provides functionality-- named groups--...

Example: >>> grammaregex.verify_pattern("[VERB,**]/*") True >>> grammaregex.verify_pattern("[VERB,*]/*") True This happens because the full __verify_pattern__ function is called on each list element, meaning each list element gets matched against a regex for...

Konclude not seeing pigeonhole principle

8

Hello, I encountered a situation in which HermiT arrives at a (correct) conclusion which Konclude misses. The OWL file is as follows: ``` Prefix(:=) Prefix(owl:=) Prefix(rdf:=) Prefix(xml:=) Prefix(xsd:=) Prefix(rdfs:=) Ontology(...

SOMA_DFL GoalReasoner

5

WiP, to do: 1) config file 2) test cases 3) (upstream changes) SOMA_DFL refactoring: folder structure to make all OWLs and resource files attached to the python package, and a...