[go: up one dir, main page]
Menu ▾ ▴

#5 Regexes, including in property ranges

1.0
closed
Michael Kifer
None
2014-03-14
2014-03-14
elenius
No

It would be nice if flora had some builtin regex matching methods.
Secondly, it would be nice if these could be used after => and checked by the type checker, like xsd:pattern in OWL2:

http://www.w3.org/TR/owl2-quick-reference/#Facets

Related

Feature requests: #5

Discussion

  • Michael Kifer

    Michael Kifer - 2014-03-14

    XSB has the pcre package, which does pattern matching.
    You can define a class like

    ?elt:Match(?ptrn) :- \isatom(?elt), \isatom(?ptrn), match(?ptrn,?elt,?out,one)@\prolog(pcre), ?out\=[].

    Then you can use that class after =>
    Make sure you the pcre package is configured when is built XSB. It should be configured automatically if you have the requisite Linux/Mac packages like pcre-dev. (Don't know what it should be on the Mac). On windows this should work out of the box, since the pcre dlls are included.

     

    • elenius

      elenius - 2014-03-14

      Super cool!

      On Fri, Mar 14, 2014 at 10:39 AM, Michael Kifer kifer@users.sf.net wrote:

      XSB has the pcre package, which does pattern matching.
      You can define a class like

      ?elt:Match(?ptrn) :- \isatom(?elt), \isatom(?ptrn),
      match(?ptrn,?elt,?out,one)@\prolog(pcre), ?out\=[].

      Then you can use that class after =>
      Make sure you the pcre package is configured when is built XSB. It should
      be configured automatically if you have the requisite Linux/Mac packages
      like pcre-dev. (Don't know what it should be on the Mac). On windows this
      should work out of the box, since the pcre dlls are included.

      Status: open
      Milestone: 1.0
      Created: Fri Mar 14, 2014 05:07 PM UTC by elenius
      Last Updated: Fri Mar 14, 2014 05:07 PM UTC
      Owner: Michael Kifer

      It would be nice if flora had some builtin regex matching methods.
      Secondly, it would be nice if these could be used after => and checked by
      the type checker, like xsd:pattern in OWL2:

      http://www.w3.org/TR/owl2-quick-reference/#Facets

      Sent from sourceforge.net because you indicated interest in
      https://sourceforge.net/p/flora/tickets/5/

      To unsubscribe from further messages, please visit
      https://sourceforge.net/auth/subscriptions/

       

      Related

      Feature requests: #5

      alternate

  • Michael Kifer

    Michael Kifer - 2014-03-14
    • status: open --> closed
     

  • Michael Kifer

    Michael Kifer - 2014-03-14

    So, I guess, this can be closed then.

     

Log in to post a comment.