Re: URL-addressable Predicate Calculus

This is exactly why we need to use category theory to make sense of things. If we disambiguate we may loose sight of a general theory.
With category theory we introduce a way of mathematically categorizing notations into formal structures that allows for a generalization of the current model for AI and KR and for that matter semantic web technologies too. Milton Ponson
GSM: +297 747 8280
PO Box 1154, Oranjestad
Aruba, Dutch Caribbean
Project Paradigm: Bringing the ICT tools for sustainable development to all stakeholders worldwide through collaborative research on applied mathematics, advanced modeling, software and standards development 

    On Sunday, October 7, 2018 2:06 AM, Paola Di Maio <paola.dimaio@gmail.com> wrote:
 

 
Adam, Martynas and allthanksThis post makes me wonder should we should introducea  disambiguation beween
KR using natural languagevsKR using other notations
This paper dated 2010 provides a useful introductionof natural languageshttps://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/
>
>