Insofar as edge relationships expressed using the Biolink Model are asymmetrical, one would expect predicate mappings which are the inverses of one other. This might best be expressed by triples with ...
PreMOn is a freely available linguistic resource for exposing predicate models (PropBank, NomBank, VerbNet, and FrameNet) and mappings between them (e.g., SemLink and the predicate matrix) as ...
Abstract: Predicate detection addresses the challenge of monitoring the state of a distributed system. This research is the first step to explore predicate detection with partial synchrony assumptions ...
Abstract: The article introduces notions of first-order asimulation and first-order k-asimulation, which extend notions of asimulation and k-asimulation introduced in Olkhovikov (2012, Review of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback