Re: deontic logic, deadline coming up

Hi Paola and all,

Perhaps some of our work on legal ontologies will help you in exploring
some of these questions:

C. Griffo, J. P. A. Almeida, and G. Guizzardi, “A Pattern for the
Representation of Legal Relations in a Legal Core Ontology,” in Legal
Knowledge and Information Systems (JURIX 2016), 2016, p. 191–194.
a_pattern_for_the_representation_of_legal_relations_in_a_legal_core_ontology_2016.pdf
<http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/a_pattern_for_the_representation_of_legal_relations_in_a_legal_core_ontology_2016.pdf>

C. Griffo, J. P. A. Almeida, and G. Guizzardi, “Conceptual Modeling of
Legal Relations,” in Conceptual Modeling – 37th International Conference,
ER 2018, 2018, p. 169–183. conceptual_modeling_of_legal_relations_2018.pdf
<http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/conceptual_modeling_of_legal_relations_2018.pdf>

C. Griffo, J. P. A. Almeida, G. Guizzardi, and J. C. Nardi, “Service
contract modeling in enterprise architecture: an ontology-based approach,”
Information systems, 2019.
service_contract_modeling_in_enterprise_architecture__an_ontology_based_approach_2019.pdf
<http://nemo.inf.ufes.br/wp-content/papercite-data/pdf/service_contract_modeling_in_enterprise_architecture__an_ontology_based_approach_2019.pdf>

best regards,
João Paulo





On Fri, Mar 6, 2020 at 1:27 PM ProjectParadigm-ICT-Program <
metadataportals@yahoo.com> wrote:

> I agree with you on most points. The caveat is the challenges with deontic
> logic. Too swamped with work to be able to pitch in/collaborate. Hopefully
> someone else can help co-author a paper.
>
> 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 Friday, March 6, 2020, 5:06:10 AM AST, Paola Di Maio <
> paola.dimaio@gmail.com> wrote:
>
>
> It looks to me that AI/KR and StratML are a natural implementation vehicle
> for deontic logic, in many ways
>
> Some literature exists  exploring the association of DeonL and computer
> science, the topic is
> complex I can understand why the cognitive load required may exceed the
> capacity of this group at the moment but never know
>
> I am now  exploring further the convergence between AI/KL ande Deonl,
>
> Let me start by introducing some references
> https://plato.stanford.edu/entries/logic-deontic/challenges.html
> https://plato.stanford.edu/entries/logic-deontic/
>
>  Based on the intro above, it looks to me that  stratML as understand it
> so far, has a potential to implement deontic logic neatly. at least in
> part, and if we decide to follow up this avenue, stratML may have to evolve
> accordingly (to support deontL constructs not yet supported for example)
> but that would enhance it greatly, in the long term
>
>
> I am attempting to draft an abstract with a view to have a paper completed
> in one week
>
> https://docs.google.com/document/d/1UovxH61OEHr33QdVR53Kcs0mJPQc3V4cE95i-QyqrQ8/edit
>
>
> anyone interested to coauthor let me know, if not just wish me good luck
>
> cheers
>
> PDM
>
>
>
>
>