There are modern ways of system analisys. E.g. in INCOSE Russian chapter we
try to use category theory with morphisms as main type of object (what DOES,
not what IS) to formalize emergence phenomena, correspondence rules (traces,
aspect weaving rules, trails, mappings), system model transformations and
megamodel (models along with correspondence rules and meta-models and
configuration information). Yes, we are try to find adequate formalism for
system theory that can be truly multidisciplinary by nature like system
approach is multidisciplinary. (01)
Sorry, but we have discussions about it only in Russian (most of the links
you can find here: http://ailev.livejournal.com/1147915.html). (02)
We are thinking about SysMoLan (systems modeling language) that is
systems-oriented foundational ontology, not "folks ontology" from Wikipedia
or Webster. Category theory (not set theory and classical logic) can be
foundation (formalism) of this foundational ontology -- there are multiple
layers of foundations (or technical spaces in AtlanMod terminology, concepts
theories -- http://plato.stanford.edu/entries/concepts/,
http://www.iep.utm.edu/concepts/ ). When we speak about upper ontologies we
already have done ontological choices in several more upper levels. (03)
We think about SysMoLan+category theory formal semantics for it as a
foundation for hybrid (statistical+logical) simulations. Category theory is
our hope to have sufficiently general mathematics to speak about multiple
formalisms, formalisms interested to us because they permit us something DO,
not only define what things IS. (Human) activity theory tells the same:
objects defined as convenient to activity (therefore different stakeholders
define objects differently for their different activities. In 4D ontologies
this resolved usually via extensionalism, like in ISO 15926 or IDEAS). (04)
Shift from things and models (including ontologies and ontology-based
models) to things and models transformations can be very refreshing and
fully compatible with systems thinking. (05)
If you want engineer (not only research or observe or classify) web of
things, you will need systems engineering ontology. It may appear not very
similar to today's state of the art in "common sense discovering" as
ontology engineering. Such an ontology (or rather generation of ontologies)
can be engineered on the base of science that can be very contradictive to
current "common sense knowledge". Web of things as a system may need such an
ontology to be modeled and simulated during it evolution in SoS (system of
systems) engineering life cycle. (06)
Best regards,
Anatoly (07)
> -----Original Message-----
> From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-
> summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Matthew West
> Sent: Friday, November 14, 2014 11:36 AM
> To: 'Ontology Summit 2015 discussion'
> Subject: Re: [ontology-summit] Ontology Summit 2015 Theme
>
> Dear John,
>
> On 11/7/2014 11:31 PM, Jack Ring wrote:
> > It may be useful to note that the shift in focus is from what a system
> > IS to what a system DOES. Net-centric emphasized the happenings among
> > the things.
>
> I agree that some shift -- any shift -- away from "IS" would be useful.
> The word 'ontology', by itself, just means the study of existence.
> Formal ontology is just the use of formal notations and methods for doing
> that study. Unless you have some other goal, that doesn't give you much
> guidance.
>
> In addition to asking "What is it?", you can get somewhat more guidance if
> you then ask "What does it do?"
>
> But I'd also like to cite the full line from Michael G's note:
> > Internet of Everything: Toward Smart Networked Systems and Societies
>
> That subtitle helps to give a bit more guidance. But I'd also like to ask
an
> embarrassing question: In the initial analysis stage, does formal
ontology give
> us any more help or guidance than the old 20th-century methods of systems
> analysis?
> [MW>] My answer to this is quite clear: ontology is a useful tool
for/product of
> systems analysis. That is ontological analysis is a key tool in
understanding
> requirements and developing solutions, and a (more or less) formal
ontology
> might be a key element of the solution.
>
> Regards
>
> Matthew West
> Information Junction
> Mobile: +44 750 3385279
> Skype: dr.matthew.west
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> https://www.matthew-west.org.uk/
> This email originates from Information Junction Ltd. Registered in England
and
> Wales No. 6632177.
> Registered office: 8 Ennismore Close, Letchworth Garden City,
Hertfordshire,
> SG6 2SU.
>
>
>
> There was a huge amount of work on structured systems analysis.
> Some notations and methods used logic, and others were more informal.
> And some informal systems, such as UML, were later formalized.
>
> What does ontology add?
>
> John
>
> _________________________________________________________________
> Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-
> summit/
> Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
> Community Files: http://ontolog.cim3.net/file/work/OntologySummit2015/
> Community Wiki: http://ontolog-02.cim3.net/wiki/OntologySummit2015
> Community Portal: http://ontolog-02.cim3.net/wiki/
>
>
>
> _________________________________________________________________
> Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-
> summit/
> Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
> Community Files: http://ontolog.cim3.net/file/work/OntologySummit2015/
> Community Wiki: http://ontolog-02.cim3.net/wiki/OntologySummit2015
> Community Portal: http://ontolog-02.cim3.net/wiki/
> (08)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2015/
Community Wiki: http://ontolog-02.cim3.net/wiki/OntologySummit2015
Community Portal: http://ontolog-02.cim3.net/wiki/ (09)
|