Re: URL-addressable Predicate Calculus

Adam, Martynas and all
thanks
This post makes me wonder should we should introduce
a  disambiguation beween

KR using natural language
vs
KR using other notations

This paper dated 2010 provides a useful introduction
of natural languages
https://www.aclweb.org/anthology/C/C10/C10-2128.pdf

P





On Thu, Oct 4, 2018 at 4:11 PM Martynas Jusevičius <martynas@atomgraph.com>
wrote:

> #8 - yes, why not? Just need to URL-encode both the param key and value.
>
> You might find the hypermedia vocabulary that is part of Linked Data
> Templates useful. It can be used to define URL parameters/arguments,
> for example:
>
>
> <?g=http%3A%2F%2Flinkeddatahub.com%2Fgraphs%2Fc5f34fe9-0456-48e8-a371-04be71529762>
> ldt:arg [
>   a <http://linkeddatahub.com/ns#GraphParam> ;
>   ldt:paramName "g" ;
>   rdf:value <
> http://linkeddatahub.com/graphs/c5f34fe9-0456-48e8-a371-04be71529762>
> ] .
>
> https://atomgraph.github.io/Linked-Data-Templates/#get-example
> On Thu, Oct 4, 2018 at 9:39 AM Adam Sobieski <adamsobieski@hotmail.com>
> wrote:
> >
> > Semantic Web Interest Group,
> >
> > Artificial Intelligence Knowledge Representation Community Group,
> >
> >
> >
> > I would like to share, for discussion, some knowledge representation
> ideas with respect to a URL-addressable predicate calculus.
> >
> >
> >
> > In the following examples, we can use the prefix “mw” for “
> https://machine.wikipedia.org/” as per xmlns:mw="
> https://machine.wikipedia.org/" .
> >
> >
> >
> > mw:P1
> >
> > → https://machine.wikipedia.org/P1
> >
> >
> >
> > mw:P1(arg0, arg1, arg2)
> >
> > → https://machine.wikipedia.org/P1?A0=arg0&A1=arg1&A2=arg2
> >
> >
> >
> > mw:P2
> >
> > → https://machine.wikipedia.org/P2
> >
> >
> >
> > mw:P2<t0, t1, t2>
> >
> > → https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2
> >
> >
> >
> > mw:P2<t0, t1, t2>(arg0, arg1, arg2)
> >
> > →
> https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2&A0=arg0&A1=arg1&A2=arg2
> >
> >
> >
> > Some points:
> >
> >
> >
> > 1. There is a mapping between each predicate calculus expression and a
> URL.
> >
> >
> >
> > 2. Navigating to mapped-to URLs results in processing on servers, e.g.
> PHP scripts, which generates outputs.
> >
> >
> >
> > 3. The outputs vary per the content types requested via HTTP request
> headers.
> >
> >
> >
> > 4. The outputs may also vary per the languages requested via HTTP
> request headers.
> >
> >
> >
> > 5. Navigating to https://machine.wikipedia.org/P1 generates a
> definition for a predicate.
> >
> >
> >
> > 6. Navigating to https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2
> generates a definition for a predicate after assigning values to the
> parameters T0, T1, T2. A definition of a predicate is generated by a
> script, e.g. a PHP script, which may vary its output based on the values
> for T0, T1, T2.
> >
> >
> >
> > 7. The possible values for T0, T1, T2, A0, A1, A2 may be drawn from the
> same set. T0, T1, T2 need not be constrained to be types from a type system.
> >
> >
> >
> > 8. Might the values for T0, T1, T2, A0, A1, A2, that is t0, t1, t2,
> arg0, arg1, arg2, each also resolve to URLs?
> >
> >
> >
> >
> >
> > Best regards,
> >
> > Adam Sobieski
> >
> > http://www.phoster.com/contents/
> >
> >
>
>