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

[Gary Berg-Cross]

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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/iaoa-swao/attachments/20180616/e7ba373c/attachment-0001.html>