[iaoa-swao] [ontolog-forum] other ideas for aTopic for Next Summit :

[Ravi Sharma]

Gary
These are good topics and hopefully we can review them on the 20th Meeting,
Regards


On Sat, Jun 16, 2018 at 6:16 AM, Gary Berg-Cross <gbergcross at gmail.com>
wrote:

> I like the idea of leveraging some of the "topics" that will be, or have
> been discussed
> and presented at FOIS.  These often a a bit deeper discussion than we have
> at Ontolog
> sessions and they provide natural starting points and researchers that we
> can leverage.
> Examples from the upcoming 2018 FOIS (which many of us may not have the $$
> to
> travel to include these areas which seem interesting especially the role
> in Open Science
> which I think is a strong opportunity, but not well understood by many
> working in the more
> traditional open data/Science field.  Ontologies are mentioned by not
> really deeply, wisely
> or consistently used:
>
> l"...latest developments in *ontology-mediated data integration, data
> access and analysis techniques, and data-driven applications, with a
> special focus on Science and Innovation (S&I) data management for decision
> and policy-making*. Currently, key S&I data elements are dispersed across
> a multitude of distinct agencies and research institutions or are in
> third-party databases. They are often neither in structured format nor
> systematically shared across organisations, and the universe of data on
> publications, citations, and patents (among others) is typically maintained
> into closed-off silos.
>
> In such a context, ontology-mediated data management infrastructures can
> help bringing together inputs and outcomes from a variety of sources in an
> open and interoperable fashion.
> The workshop will be a great opportunity to synthesise new insights and
> disseminate knowledge across field boundaries to promote the interaction
> between the different stakeholders.
> We welcome original contributions, in the form of discussion papers,
> experimental contributions, system and demo descriptions, about data
> management applications that make use of ontologies and ontology-based
> tools for S&I decision and policy-making, including but not limited to:
>
> **Ontology-based systems for Open Science and Open Innovation (OS&OI)**
> - Science, Technology and Innovation (STI) ontology specification and
> management: open issues and experiences
> - Ontology-based harmonisation of STI Subject Classification Systems
> - Ontologies for STI qualitative data management (e.g., policy
> instruments, target populations, technology sector coverage, surveys and
> policies assessment)
> - Machine learning and ontology engineering coupling experiences to
> improve quantity and quality of STI indicators
>  - Ontology-mediated data management platforms for impact evaluation
>
> Gary Berg-Cross Ph.D.
> Independent Consultant
> Potomac, MD
> 240-426-0770
>
>
> On Wed, Jun 13, 2018 at 3:36 AM Alex Shkotin <alex.shkotin at gmail.com>
> wrote:
>
>> and we need some CNL for semantic unification too.
>>
>> By the way, one requirement to OL is verbalization - any OL-sentence must
>> be available in English at least. Then we have OL and it's CNL.
>> For CNL on its own, the first in my mind is ACE of Attempto project, but
>> it has no variables.
>>
>> It may be a requirement or a feature of an OL to have DL as a sublanguage
>> :-)
>>
>> And the third list of OL should be in DOL.
>>
>> Alex
>>
>> 2018-06-12 20:40 GMT+03:00 Cory Casanave <cory-c at modeldriven.com>:
>>
>>> In my initial message on this topic I purposely did not nominate any
>>> languages as that would best be done as part of the summit. One thing I
>>> would suggest is that we cast a wide net and include various approaches
>>> including logic programming, rules languages and perhaps even “machine
>>> learning”. While there may be semantic unification points like common
>>> logic, there are pragmatics and human factors that are significant. By
>>> identifying requirements and how those requirements are met the substantive
>>> differences between languages and/or frameworks may be more apparent. There
>>> is substantial confusion in the industry and among users, some of it
>>> purposeful “marketing”, that this forum could help in applying disciplined
>>> analysis resulting in justifiable conclusions.
>>>
>>> -Cory
>>>
>>>
>>>
>>> *From:* ontolog-forum at googlegroups.com <ontolog-forum at googlegroups.com> *On
>>> Behalf Of *Alex Shkotin
>>> *Sent:* Tuesday, June 12, 2018 12:08 PM
>>> *To:* ontolog-forum <ontolog-forum at googlegroups.com>
>>> *Subject:* Re: [ontolog-forum] Topic for Next Summit : Ontology
>>> languages: Requirements and capabilities
>>>
>>>
>>>
>>> Ravi,
>>>
>>>
>>>
>>> @1. maybe we should have a list of Onto-Languages on our community
>>> website. Other then HeTS list is here https://en.wikipedia.org/
>>> wiki/Ontology_language
>>>
>>> Preferred should be languages used by somebody available for our
>>> community to share the experience.
>>>
>>>
>>>
>>> @2. Use and test cases should come from different sciences (outside of
>>> math and software specification;-) and technologies.
>>>
>>> one form of use case may be just "How do you express NL sentence S1 on
>>> language L1?"
>>>
>>> another form may be a description of a small world like in Einstein
>>> puzzle and formalization on different Onto-Languages and demonstration of
>>> auto reasoning if any.
>>>
>>> For example, they say that Einstein puzzle is solved by DL-reasoner.
>>>
>>>
>>>
>>> Alex
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>> 2018-06-09 21:33 GMT+03:00 Ravi Sharma <drravisharma at gmail.com>:
>>>
>>> John and Alex
>>>
>>>    1. I am not an expert in Software Development Languages, so we have
>>>    two more added (SGML and Hets) or if community likes them then "Preferred"
>>>    ontology Language Candidates for development or for tools.
>>>    2. How would we classify use cases? Would we concentrate on Ontology
>>>    tools (Apps) for Processing or Knowledge Engineering NL or Media Data or
>>>    Languages used for developing ontologies?
>>>
>>> Regards
>>>
>>> Ravi
>>>
>>>
>>>
>>> On Sat, Jun 9, 2018 at 1:15 AM, Alex Shkotin <alex.shkotin at gmail.com>
>>> wrote:
>>>
>>> Ravi,
>>>
>>>
>>>
>>> let's take a scope from here http://hets.eu/
>>>
>>> just to begin with.
>>>
>>> What do you think?
>>>
>>>
>>>
>>> Alex
>>>
>>>
>>>
>>> 2018-06-09 0:21 GMT+03:00 Ravi Sharma <drravisharma at gmail.com>:
>>>
>>> Cory and for ALL
>>>
>>>
>>>
>>> A good start, thanks, here is my comment.
>>>
>>>
>>>
>>> Can you scope the languages we know are already in use and their
>>> relevance (our current opinion) to ontologies:
>>>
>>>
>>>
>>> Language - vs - Ontology relevance (H, M, L) for development and for
>>> other categories.
>>>
>>>
>>>
>>> OWL
>>>
>>> UML - SysML etc.
>>>
>>> IKL
>>>
>>> Cyc (?)
>>>
>>> Prolog
>>>
>>> NLs
>>>
>>> Programming Languages? C++ Python .......R
>>>
>>> Transportation languages: XML, XBRL,
>>>
>>> And Business Rules Languages ....
>>>
>>>
>>>
>>> ....
>>>
>>> Also Apps oriented langualges
>>>
>>>
>>>
>>> etc.
>>>
>>>
>>>
>>> Then requirements and use cases depicted or described in these languages
>>> that match "H" or "M" are suitable candidates for Ontology Engineering (?)
>>>
>>>
>>>
>>> Regards,
>>>
>>> Ravi
>>>
>>>
>>>
>>>
>>>
>>> On Fri, Jun 8, 2018 at 1:14 PM, John Bottoms <john at firststarsystems.com>
>>> wrote:
>>>
>>> Wm, (IANAL - I am not a lawyer...)
>>>
>>> I have been working on eLetters of Credit, and there are things in that
>>> arena that may be applicable; specifically "If an ontology is, or may be
>>> used in litigation or forensics, then there are legal considerations." It
>>> may also be said that if an ontology is used fraudulently by intentionally
>>> then this is said to "Raise the Question", which may invoke additional
>>> investigation or discovery.
>>>
>>> My work in VR had lead me to discover that the agreements made in a VR
>>> context have the weight of law, and in effect, there are few differences
>>> between real-world legal proceedings and VR legal proceedings. There are
>>> cases that have established relevant precedents.
>>>
>>> During a business relationship that is operating under a Letter of
>>> Credit the following is entailed: In the event of an error or fraud, there
>>> is an arbitration procedure that is recommended by UPC-600. If the parties
>>> cannot come to an agreement under that specification, then they can seek
>>> resolution in the courts. This means that the Letters of Credit exhibit
>>> documents must be "principled" to the degree that they will stand as
>>> contractual instruments in court.
>>>
>>> I assume the same is true for business agreements that incorporate an
>>> ontology as a mechanism that is integral to the agreement.
>>>
>>> -John Bottoms
>>>  Concord, MA
>>>
>>> On 6/8/2018 1:50 PM, William Frank wrote:
>>>
>>> ++! corey
>>>
>>>
>>>
>>> On Fri, Jun 8, 2018 at 11:47 AM, Cory Casanave <cory-c at modeldriven.com>
>>> wrote:
>>>
>>> I would be interested in more depth on the requirements on (not for)
>>> ontology languages and an evaluation of the capabilities of the various
>>> languages.
>>>
>>> There are many capabilities and classes of use cases claimed for
>>> ontologies and semantic technologies. What requirements do these claims
>>> imply for ontological and semantic languages, tools and infrastructure?
>>> What languages, tools and infrastructure deliver on these capabilities?
>>>
>>>
>>> Examples:
>>> Understanding a cyber attack chain may require representing actors and
>>> actors over time. What provides sufficient temporal reasoning?
>>> Understanding intent may require context, as was discussed in the 2018
>>> summit. How is context handled in ontological languages?
>>> Federated information may be inconsistent or untrusted. How is conflict
>>> and trust handled?
>>> Business rules are rules about rules and behavior. How are higher-order
>>> relations handled?
>>> Practical enterprise systems require some closed world reasoning. How
>>> can open world and closed world work together?
>>> The world and data about it changes. How is change represented?
>>> Analytics and information sharing deal with big, distributed and
>>> fast-moving data. How can ontologies be used at scale?
>>>
>>> For each of the above, what ontology and/or rules languages have the
>>> features and performance to realize the claims of the ontology community?
>>>
>>> My journey though ontologies has led me to the conclusion that some of
>>> the popular approaches do not have what it takes to realize the claims made.
>>> This would, of course, elicit some controversy. But controversy builds
>>> interest and an informed conclusion could be of substantial value.
>>>
>>> -Cory Casanave
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>>
>>>
>>> --
>>>
>>> Thanks.
>>> Ravi
>>> (Dr. Ravi Sharma)
>>>
>>>  313 204 1740 Mobile
>>>
>>>
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>>
>>>
>>> --
>>>
>>> Thanks.
>>> Ravi
>>> (Dr. Ravi Sharma)
>>>
>>>  313 204 1740 Mobile
>>>
>>>
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>>
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>> --
>>> All contributions to this forum are covered by an open-source license.
>>> For information about the wiki, the license, and how to subscribe or
>>> unsubscribe to the forum, see http://ontologforum.org/info/
>>> ---
>>> You received this message because you are subscribed to the Google
>>> Groups "ontolog-forum" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to ontolog-forum+unsubscribe at googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
>> --
>> All contributions to this forum are covered by an open-source license.
>> For information about the wiki, the license, and how to subscribe or
>> unsubscribe to the forum, see http://ontologforum.org/info/
>> ---
>> You received this message because you are subscribed to the Google Groups
>> "ontolog-forum" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to ontolog-forum+unsubscribe at googlegroups.com.
>> For more options, visit https://groups.google.com/d/optout.
>>
> --
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or
> unsubscribe to the forum, see http://ontologforum.org/info/
> ---
> You received this message because you are subscribed to the Google Groups
> "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to ontolog-forum+unsubscribe at googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>



-- 
Thanks.
Ravi
(Dr. Ravi Sharma)
 313 204 1740 Mobile
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/iaoa-swao/attachments/20180617/b784a728/attachment-0001.html>