Re: ActivityPub side effects

On Mon, 13 Nov 2023 at 10:41, Cristiano Longo <
cristianolongo@opendatahacklab.org> wrote:

>
> On 13/11/23 11:06, Aaron Gray wrote:
>
> On Mon, 13 Nov 2023 at 03:38, Evan Prodromou <evan@prodromou.name> wrote:
>
>> An activity should occur in an actor's inbox if the activity was
>> addressed to that actor, or if it was addressed to a collection that
>> the actor belongs to -- usually, a collection of followers of some other
>> actor.
>>
>> Activities addressed to `Public` usually appear only in the inboxes of
>> actors that follow the activity's `actor` property.
>>
>> I don't know if there's a way to specify that in OWL.
>>
>
> Off the top of my head it should just be a predicate.
>
> Yes it is, I'm quite sure side effects may be expressed in first order
> logic, my question is did some one attempted something similar? If yes,
> does this predicate fall in some decidable fragment of FOL, may be Horn
> rules or OWLDL? I have found an OWL specification of ActivityPub at
>
> https://github.com/steve-bate/activitypub-ontology
>
> but I need to have a closer look to it.
>
> Any other reference will be appreciated.
>
Hi Cristiano,

I am also working in this direction, currently working towards a rewrite of
the Node.js N3 TypeScript store code as its badly seated type wise.

This is the best set of definitions I have found and includes an Activity
Streams definition :-

https://github.com/ontola/ontologies/

This is also an interesting list of OWL resources :-

https://github.com/ozekik/awesome-ontology

Regards,

Aaron

CL
>
>
> Aaron
>
>
>>
>> Evan
>>
>> On 2023-11-11 4:43 a.m., Cristiano Longo wrote:
>> >
>> > Morning all, I'm looking for formal specifications  of side effects of
>> > activities in ActivityPub, e.g. OWL specification of whether an
>> > activity should occur in a agent inbox or not. Any suggestion is
>> > welcome. Thanks in advance.
>> >
>> > CL
>> >
>> >
>>
>>
>
> --
> Aaron Gray - @AaronNGray@fosstodon.org
>
> Independent Open Source Software Engineer, Computer Language Researcher,
> Information Theorist, and Computer Scientist.
>
>

-- 
Aaron Gray - @AaronNGray@fosstodon.org

Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and Computer Scientist.