From OntologPSMW

Jump to: navigation, search
[ ]

Contents

Ontology Summit 2012: Session-03 - Thu 2012-01-26     (1)

Summit Theme: OntologySummit2012: "Ontology for Big Systems"     (1A)

Track (1&2) Title: Ontology for Big Systems & Systems Engineering     (1B)

Session Topic: Ontology for Big Systems & Systems Engineering - I : The Systems and Systems Engineering Problem Space     (1C)

Session Chair: Dr. MatthewWest ... intro-slides     (1D)

Panel Briefings:     (1E)

  • Mr. JackRing (OntoPilot, US) - "Toward a Unified Ontology for Systemists" - slides     (1F)
  • Mr. AnatolyLevenchuk ([[TechInvestLab]], RU) - "Ontology Engineering for Systems Engineering" - slides     (1G)
  • Professor GiancarloGuizzardi (Federal University of Esp��rito Santo, BR) - "An Engineering Approach to Ontology Engineering in Complex Environments: the role of Foundational Theories and Ontological Patterns" - slides     (1H)
  • Dr. MatthewWest (Information Junction, UK) - "Model-based System Engineering" - slides     (1I)

Abstract     (1K)

Ontology for Big Systems & Systems Engineering - I: The Systems and Systems Engineering Problem Space     (1K1)

This is our 7th Ontology Summit, a joint initiative by NIST, Ontolog, NCOR, NCBO, IAOA & NCO_NITRD with the support of our co-sponsors. The theme adopted for this Ontology Summit is: "Ontology for Big Systems." The event today is our 3rd virtual session.     (1K2)

The principal goal of the summit is to bring together and foster collaboration between the ontology community, systems community, and stakeholders of some of "big systems." Together, the summit participants will exchange ideas on how ontological analysis and ontology engineering might make a difference, when applied in these "big systems." We will aim towards producing a series of recommendations describing how ontologies can create an impact; as well as providing illustrations where these techniques have been, or could be, applied in domains such as bioinformatics, electronic health records, intelligence, the smart electrical grid, manufacturing and supply chains, earth and environmental, e-science, cyberphysical systems and e-government. As is traditional with the Ontology Summit series, the results will be captured in the form of a communiqu��, with expanded supporting material provided on the web.     (1K3)

This "Ontology for Big Systems & Systems Engineering" Track aims to bring key challenges to light with large-scale systems and systems of systems for ontology and identify where solutions exist, where the problems require significant research, and where we can work towards solutions as part of this summit. The areas to be considered include:     (1K4)

  • working with and integrating the results of models using multiple modeling languages     (1K5)
  • the systems lifecycle and the issues of sharing data within and between lifecycle stages     (1K6)
  • the difference between requirements and the delivered system     (1K7)
  • systems of systems vs systems,     (1K8)
  • the nature of system components and the difference between these and the parts installed,     (1K9)
  • the connections between system components and what they carry,     (1K10)
  • systems behaviour,     (1K11)
  • federated systems both as a bit system, and as a solution to some of the challenges,     (1K12)
  • principles of how to construct good quality reusable models (ontologies)     (1K13)
  • the management of ontologies of and for large systems and the challenges in developing and maintaining them.     (1K14)

In this session we want to look at the problems in big systems and systems engineering where ontology has a role to play. The aim is to uncover the various areas where challenges exist that the world of ontology can contribute to, which we will delve into in the next panel session.     (1K15)

More details about this Summit at: OntologySummit2012 (home page for the summit)     (1K16)

Agenda     (1L)

Ontology Summit 2012 - Panel Session-03     (1L1)

  • Session Format: this is a virtual session conducted over an augmented conference call     (1L2)

Proceedings     (1M)

Please refer to the above     (1M1)

IM Chat Transcript captured during the session    (1M2)

see raw transcript here.     (1M2A)

(for better clarity, the version below is a re-organized and lightly edited chat-transcript.)     (1M2B)

Participants are welcome to make light edits to their own contributions as they see fit.     (1M2C)

-- begin in-session chat-transcript --     (1M2D)

Ontology Summit 2012: Session-03 - Thu 2012-01-26     (1M2F)

Summit Theme: Ontology Summit 2012: "Ontology for Big Systems"     (1M2G)

Track (1&2) Title: Ontology for Big Systems & Systems Engineering     (1M2H)

Session Topic: Ontology for Big Systems & Systems Engineering - I :     (1M2I)

The Systems and Systems Engineering Problem Space     (1M2J)

Session Chairs: Dr. Matthew West     (1M2K)

Panel Briefings:     (1M2L)

- "An Engineering Approach to Ontology Engineering in Complex Environments:     (1M2P)

the role of Foundational Theories and Ontological Patterns"     (1M2Q)

Mute control: *7 to un-mute ... *6 to mute     (1M2T)

Can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"     (1M2U)

Proceedings:     (1M2V)

anonymous morphed into Tom Tinsley     (1M2W)

anonymous2 morphed into Tim Darr     (1M2X)

anonymous3 morphed into Matt Hettinger     (1M2Y)

anonymous2 morphed into Roger Burkhart     (1M2Z)

anonymous1 morphed into Nicola Guarino     (1M2AC)

anonymous1 morphed into Doug Foxvog     (1M2AD)

anonymous morphed into Joseph Simpson     (1M2AE)

anonymous2 morphed into Ernani Santos     (1M2AF)

anonymous morphed into Reginald Ford     (1M2AG)

anonymous morphed into Anatoly Levenchuk     (1M2AH)

JoelBender-1 morphed into Joel Bender     (1M2AI)

Nicola Guarino: Note that if you are using Skype you HAVE to call the nickname "joinconference".     (1M2AJ)

Otherwise if you call a telephone number with Skype you cannot unmute yourself (this is what I     (1M2AK)

discovered)     (1M2AL)

Jack Ring: I am unmuted and speaking     (1M2AM)

Jack Ring: I am on Skype     (1M2AN)

Peter P. Yim: @Nicola - my experience with skype is that you *can* do the mute/unmute with the "dial     (1M2AO)

pad" (under the "call" dropdown menu) .. .amybe we are running different versions of skype ... they     (1M2AP)

are definitely running different revision levels of their software depending on what platform -     (1M2AQ)

linux, mac, pc, ipad, etc. you are on     (1M2AR)

Cory Casanave: Skype "joinconference" does not seem to have a way to enter the conference code - no keypad.     (1M2AS)

Peter P. Yim: @Cory - can't find Skype Dial pad? ... it's under the "Call" dropdown menu as "Show Dial pad"     (1M2AT)

Cory Casanave: It seems to work ok dialing the phone #     (1M2AU)

Doug Foxvog: [ref. JackRing's presentation - slide#4] Why should simply adding cognates migrate a     (1M2AW)

system from being deterministic to being non-deterministic?     (1M2AX)

Cory Casanave: [ref. ?? in JackRing's presentation] Sounds similar to "SEMAT" (Software Engineering     (1M2AY)

Method and Theory) http://www.semat.org started by Ivar Jacobson     (1M2AZ)

Leo Obrst: [ref. JackRing's presentation] What is "POSIWID"? On slide 3.     (1M2AAA)

Ali Hashemi: "The purpose of a system is what it does"     (1M2AAB)

Matthew West: @Leo: Purpose Of System Is What It Does     (1M2AAC)

Nicola Guarino: @Ali & Matthew: what it does or what it is intended to do?     (1M2AAE)

Ali Hashemi: (if you follow the wiki link, it provides a very high level overview)     (1M2AAF)

Anatoly Levenchuk: Purpose of a system what is does (what service it have) as a subsystem in upper     (1M2AAH)

level system.     (1M2AAI)

Joel Bender: @Nicola - what is does, maybe not very well     (1M2AAJ)

Nicola Guarino: @Joel: hmmm....     (1M2AAK)

Nicola Guarino: Is a broken system a system?     (1M2AAL)

Anatoly Levenchuk: @Nicola -- Yes, there is life cycle. Broken system on maintenance stage of it life     (1M2AAM)

Anatoly Levenchuk: When we speak about what it does, that usually mean operation stage of it life     (1M2AAO)

cycle. And enactment of it service at this stage.     (1M2AAP)

Cory Casanave: Also, this may be applicable to: OMG RFP "A Foundation for the Agile Creation and     (1M2AAQ)

Enactment of Software Engineering Methods"     (1M2AAR)

Anatoly Levenchuk: @Cory: I prefer ISO 24744 instead of this OMG RFP. It more ontologically correct.     (1M2AAS)

Cory Casanave: How can a request be correct or not? It would be the response that would be correct.     (1M2AAT)

Nicola Guarino: @Jack: I don't understand the comparison between formal ontology and an algorithm     (1M2AAU)

Leo Obrst: I don't think there is a 1-1 relation between an ontology and an algorithm.     (1M2AAV)

Leo Obrst: Oops: same question, Nicola.     (1M2AAX)

Ali Hashemi: An algorithm could represent an implemented and operational ontology given some     (1M2AAY)

inference rules.     (1M2AAZ)

Ali Hashemi: could represent --> is analogous*     (1M2AAAA)

Nicola Guarino: formal ontology is a discipline     (1M2AAAB)

Ali Hashemi: @Nicola - Jack's formulation was "situated ontology"     (1M2AAAC)

Ali Hashemi: An algorithm represents the commitment of the programmers to what they believe exists in     (1M2AAAD)

the scope of its execution. If the procedures within the program further represent operations and     (1M2AAAE)

transformations (constraints on what is assumed to exist), then an algorithm can viewed as an     (1M2AAAF)

operational ontology under some inference rules, no? (informal, implicit ontology)     (1M2AAAG)

GaryBergCross: On the ontology - algorithm front, one could create an ontology to represent an     (1M2AAAH)

algorithm as a process, as I believe that John F. Sowa has pointed to.     (1M2AAAI)

Leo Obrst: An algorithm, by definition, specifies "how", whereas an ontology (like logic) specifies     (1M2AAAJ)

"what". I think that the algorithm must closely correspond to the semantics expressed by the     (1M2AAAK)

ontology(ies), which indeed is hard to accomplish. Perhaps generating an algorithm from the     (1M2AAAL)

semantics is the way to go, but of course is very hard.     (1M2AAAM)

Ali Hashemi: @Leo, one quick point.. In specifying the "how" you (implicitly) commit to the what.     (1M2AAAN)

Nicola Guarino: @all: let's just list the problems now, devoting a few chat interactions to each,     (1M2AAAO)

otherwise we miss the whole picture presenters are trying to convey     (1M2AAAP)

GaryBergCross: With so many terms/concepts thrown around in the talk it would be nice to have     (1M2AAAQ)

atop-level, context diagram for what Jack or others are proposing as this conceptual space.     (1M2AAAR)

Jack Ring: Which ontology? An ontology will be embedded in a system. Another will be embedded in the     (1M2AAAS)

SE human activity system. A third ontology will be embedded in the SE learning environment. In a     (1M2AAAT)

swarm of autonomous systems all three are inside the system.     (1M2AAAU)

Jack Ring: IN fact, one of the contributions of SE is to identify and resolve the gap between how     (1M2AAAV)

things are and what things should be. Beer's POSIWID must be revealed.     (1M2AAAW)

anonymous morphed into Line Pouchard     (1M2AAAX)

Nicola Guarino: @Anatoly: I appreciate very much the contrast between ontology engineering and     (1M2AAAZ)

traditional mathematical tools     (1M2AAAAA)

Matthew West: Yes, Engineers are generally interested in mathematical rather than logical models.     (1M2AAAAB)

Giancarlo Guizzardi: @Matthew: the additional point is that they are frequently interested in     (1M2AAAAC)

mathematical models which are insensitive to true ontological notions     (1M2AAAAD)

Nicola Guarino: @Anatoly: just to understand, is a method a *way* to achieve a certain function (e.g.     (1M2AAAAE)

cutting some materials by using lasers or scissors)     (1M2AAAAF)

anonymous morphed into Evan Wallace     (1M2AAAAG)

Matthew West: @Giancarlo: I agree with Ali on this. Mathematical models have implicit ontological     (1M2AAAAH)

commitments. They may not be the ones that ontologists would wish them to make.     (1M2AAAAI)

Nicola Guarino: @ Anatoly: very interesting distinction between counterintuitive and folk ontologies.     (1M2AAAAJ)

Still the objective in my opinion is being able to capture the actual language engineers use...     (1M2AAAAK)

Matthew West: I think you will find Anatoly and I would disagree with you there. What is more     (1M2AAAAL)

important is to have an ontology that is as acurate as possible to how things are, rather than to     (1M2AAAAM)

accurately reflect how people talk about things.     (1M2AAAAN)

Jack Ring: For example a software package Kollabnet prowls around in CAD files and extracts the terms     (1M2AAAAO)

and operands, etc., then helps organize a cross reference (semantic web) that shows the     (1M2AAAAP)

relationships and opportunities for parsimony.     (1M2AAAAQ)

Nicola Guarino: @Matthew: yes, but accuracy with respect to how things are is the goal of physics,     (1M2AAAAR)

photography, and so on...     (1M2AAAAS)

Leo Obrst: I still have an issue with "counterintuitive": perhaps it is naively counterintuitive, but     (1M2AAAAT)

doesn't at least some of the ontology become intuitive to the expert?     (1M2AAAAU)

Matthew West: @Nicola: And also ontology.     (1M2AAAAV)

Ali Hashemi: @Leo, I think it raises an interesting question - how long does it take for     (1M2AAAAW)

counter-intuitive insights to become common sense? (I think this is what Anatoly was emphasizing.)     (1M2AAAAX)

Rex Brooks: Slide needs to be advanced.     (1M2AAAAY)

Jack Ring: As Will Rogers said, it isn't what we don't know that hurts us, it is what we do know ---     (1M2AAAAZ)

that ain't so.     (1M2AAAAAA)

Ali Hashemi: And it does point to important human factors issues in creating a system with high     (1M2AAAAAB)

fidelity to reality, but also manageable for the end users.     (1M2AAAAAC)

Jack Ring: Any ontology must be vetted as fit for purpose.     (1M2AAAAAD)

Nicola Guarino: @Matthew: if we limit ourselves to describe (accurately) what things ARE we have no     (1M2AAAAAE)

way to express how we want to use them for specific purposes     (1M2AAAAAF)

Matthew West: @Ali: That is a good point. When I first came across 4D ontologies, I understood it,     (1M2AAAAAG)

but found it very difficult to put into words. These days I hope I can speak about it more or less     (1M2AAAAAH)

as it was an everyday idea. It takes time.     (1M2AAAAAI)

GaryBergCross: [ref. AnatolyLevenchuk's slide#8] What is formal pragmatics? Need more of a sense of     (1M2AAAAAJ)

this and an example.     (1M2AAAAAK)

Ali Hashemi: I'm curious to know the response to Gary's question re "Formal Pragmatics"     (1M2AAAAAL)

Martin Serrano: Bit elaboration on finding out Federation of systems and Information modeling will be     (1M2AAAAAN)

healthy to get into the real meaning.. True is Federation is more than a logic or instrumentation     (1M2AAAAAO)

for modelling methods,     (1M2AAAAAP)

Leo Obrst: @Anatoly: I agree that formal pragmatics (presuppositions, implicatures, speech acts,     (1M2AAAAAQ)

etc.) is needed, i.e., interpretation of the semantics in context and with respect to use, although     (1M2AAAAAR)

I am not sure about Habermas and his "Universal Pragmatics". Also, epistemology must figure in:     (1M2AAAAAS)

different belief stances.     (1M2AAAAAT)

Anatoly Levenchuk: @Leo -- formal pragmatics (that is slightly after Universal Pragmatics that is     (1M2AAAAAU)

more philosophical by nature) is more about logic than linguistics. While my friends linguists     (1M2AAAAAV)

wonder that contemporary logic branch of it is differ from linguistic one, while inherit most of     (1M2AAAAAW)

Leo Obrst: @Anatoly: I am a linguist/semanticist originally and think of formal pragmatics mainly     (1M2AAAAAY)

from that perspective. In the ontology world, this is mostly addressed via formalized use cases,     (1M2AAAAAZ)

competency questions, which I admit is really just the beginning.     (1M2AAAAAAA)

Anatoly Levenchuk: @Leo -- formal pragmatics is branch of philosophical logic, ontology is another     (1M2AAAAAAB)

branch. They are siblings on knowledge tree :-)     (1M2AAAAAAC)

Matthew West: @Nicola: Intentions are also something we can talk about in terms of what they are.     (1M2AAAAAAD)

Doug Foxvog: When you need knowledge at different levels of granularity, why not use different     (1M2AAAAAAE)

ontologies for the different levels? Some ontologies would be far more stable than others.     (1M2AAAAAAF)

Amanda Vizedom: Nicola: IME, one very significant division of ontology applications falls long     (1M2AAAAAAG)

whether they (are required to) model (a) some slice of the world, (b) information artifacts about     (1M2AAAAAAH)

some slice of the world, or (c) both. In all three cases, the ontology models the thing, support     (1M2AAAAAAI)

reasoning about the thing, and supports manipulation of the thing in various ways and degrees. IMHO,     (1M2AAAAAAJ)

a great many cases are of type (c), but developers think in terms of modeling (a) or (b), and not     (1M2AAAAAAK)

always the right one, and different requirements and methods fit those two objects.     (1M2AAAAAAL)

Jack Ring: The ontology of units of measure is traceable to standards and basic science. It can be     (1M2AAAAAAM)

considered 'truth' at least to earth-bound users. In contrast the term "vigorously" in an ontology     (1M2AAAAAAN)

is moderated by situation (we must accommodate Zadeh's fuzzy logic).     (1M2AAAAAAO)

Doug Foxvog: If you can model a heuristic, you can ontologize it. If you can't define the heuristic,     (1M2AAAAAAP)

then you can't ontologize it.     (1M2AAAAAAQ)

Matthew West: @Jack: Actually the ontology of units is surprisingly shakey. It turns out that the     (1M2AAAAAAR)

standards can be interpreted (deliberately) in more than one way to avoid significant differences of     (1M2AAAAAAS)

opinion aboiut what units are and how they are used. Fortunately no buildings will fall down as a     (1M2AAAAAAT)

result of these differences.     (1M2AAAAAAU)

Ali Hashemi: @Nicola, I would suggest those are two distinct issues. What we want (intention), vs     (1M2AAAAAAV)

perhaps common but inaccurate views of the system. I suspect Anatoly's point emphasizing     (1M2AAAAAAW)

counter-intuitive-ness is about the latter.     (1M2AAAAAAX)

Leo Obrst: @Anatoly: Category theory indeed is focused on structure, as opposed to set theory, and     (1M2AAAAAAY)

provides you ways of relating structures more generally, but multiple logics (and both their     (1M2AAAAAAZ)

syntaxes and semantics) can be represented. Perhaps that is what you mean?     (1M2AAAAAAAA)

Jack Ring: Anatoly: Is TRIZ an ontology?     (1M2AAAAAAAB)

Nicola Guarino: Nice idea of extending enterprise service bus to systems engineering     (1M2AAAAAAAC)

Nicola Guarino: (but I would drop the "smart" adjective, too many smart things are being advertised     (1M2AAAAAAAD)

Jack Ring: Matthew: Whether buildings fall down the fact was that a spacecraft crashed on MARS.     (1M2AAAAAAAF)

Matthew West: @Jack: that was simply not using the same units in different system. A much simpler     (1M2AAAAAAAG)

problem (ontologically) than what a unit of measure is in the first place.     (1M2AAAAAAAH)

Jack Ring: Matthew West: Not different system. It was using an attribute value in one program that was     (1M2AAAAAAAI)

expecting the number to be in the English system but was given a number in the metric system. An     (1M2AAAAAAAJ)

ontology spanning both systems would have noted the difference     (1M2AAAAAAAK)

Jack Ring: @Matthew: The human mind cannot discriminate reality from illusion. Takes two the     (1M2AAAAAAAL)

Evan Wallace: Jack: I think that Matthew's point was that it wasn't an understanding of the notion     (1M2AAAAAAAN)

"unit" that was a problem, but rather false assumptions about which units were being used. Yes.     (1M2AAAAAAAO)

These sorts of false assumptions happen when you don't make units an explicit part of your model. So     (1M2AAAAAAAP)

many would agree that there is value in defining and using an ontology of quantities, units, and     (1M2AAAAAAAQ)

measures, but the problem that Matthew mentioned about the ambiguity of the references for these     (1M2AAAAAAAR)

things makes it more difficult to get consensus on *one* such ontology.     (1M2AAAAAAAS)

Jack Ring: @Evan. Not quite. The error was in not addressing units in the design model. The     (1M2AAAAAAAT)

presumption "...false assumptions about which units were being used" is not correct because there     (1M2AAAAAAAU)

was not consciousness of 'which' anonymous morphed into Victor Agroskin     (1M2AAAAAAAV)

Leo Obrst: @Jack: I think TRIZ could be formalized as an ontology.     (1M2AAAAAAAX)

Jack Ring: @Leo, I tried to do this in 1992 with RDD-100 Software Engineering tool but got swamped     (1M2AAAAAAAY)

with other tasks.     (1M2AAAAAAAZ)

Jack Ring: SE must presume that two or more people constructed the system model and that they did not     (1M2AAAAAAAAA)

have a coherent weltanschaaung or even lexicon. Also, that Model(x) of one system and Model(y) of     (1M2AAAAAAAAB)

another system must be harmonized if you intend to make these subsystems of a third system.     (1M2AAAAAAAAC)

Matthew West: @Jack: Why more than one?     (1M2AAAAAAAAD)

Victor Agroskin: Some ontology can be deduced from TRIZ. But the major value of TRIZ is a method,     (1M2AAAAAAAAE)

thus you have to choose some method ontology (like ISO 24744) and combine it with domain ontology -     (1M2AAAAAAAAF)

if you want to have a formal model of TRIZ.     (1M2AAAAAAAAG)

Peter P. Yim: @Giancarlo - when you get a chance, please supply me with a slide deck on which slide are     (1M2AAAAAAAAI)

numbered (so I can swap it in). Thanks.     (1M2AAAAAAAAJ)

Jack Ring: Giancarlo's patterns are equivalent to my modularizations.     (1M2AAAAAAAAK)

Matthew West: @Jack: That is a good link to make.     (1M2AAAAAAAAL)

Cory Casanave: The use case being presented by Giancarlo is the subject of an OMG RFP:     (1M2AAAAAAAAM)

GaryBergCross: Agree on the point of conceptual models being improved by by formal ontology     (1M2AAAAAAAAO)

Jack Ring: Isn't this Panel scrubbing concepts into a 'formal' ontology?     (1M2AAAAAAAAQ)

Matthew West: @Jack: So if I am on a desert island, I don't know if it is real or a dream?     (1M2AAAAAAAAR)

Cory Casanave: @Matthew, perhaps some people have more trouble with reality     (1M2AAAAAAAAS)

Doug Foxvog: @Matthew: If you think you are on a desert island, it may be real, a dream, or some     (1M2AAAAAAAAT)

other misconception.     (1M2AAAAAAAAU)

Jack Ring: @MatthewWest. We have been over this before. Pls explain why witnesses to an event     (1M2AAAAAAAAV)

describe it differently. Pls explain why design reviews of system concepts always find fundamental     (1M2AAAAAAAAW)

logic or referent errors.     (1M2AAAAAAAAX)

Nicola Guarino: @Giancarlo: distinguishing modeling patterns from analysis patterns sounds intriguing     (1M2AAAAAAAAY)

(and new), but I am not sure I understand what analysis patterns are, in practice     (1M2AAAAAAAAZ)

Jack Ring: @Giancarlo, For the enterprise ontology let's start with "objective" and "goal"     (1M2AAAAAAAAAA)

Nicola Guarino: I have to leave now, bye everybody. Great session!     (1M2AAAAAAAAAB)

GaryBergCross: Also have to leave now...     (1M2AAAAAAAAAC)

Christopher Spottiswoode: Bye from me too - thanks to all!     (1M2AAAAAAAAAD)

anonymous morphed into Reginald Ford     (1M2AAAAAAAAAE)

Leo Obrst: @Giancarlo and all: I've always found some confusion between domain specific languages and     (1M2AAAAAAAAAF)

ontologies. I personally think that ontologies need to provide the semantics for those DSLs, no?     (1M2AAAAAAAAAG)

Cory Casanave: Perhaps we should support "multiple inheritance" of track topics     (1M2AAAAAAAAAH)

Giancarlo Guizzardi: @Jack: these are very important and interesting notions. I have been interested     (1M2AAAAAAAAAI)

in them for a while myself and have done some work in that direction. If you are interested, I would     (1M2AAAAAAAAAJ)

be happy to shared them with you     (1M2AAAAAAAAAK)

Cory Casanave: @Giancarlo, please post reference to the group & seminar you mentioned.     (1M2AAAAAAAAAL)

Giancarlo Guizzardi: @Leo: yes, fully agree. In the ideal case, the metamodel (representing the     (1M2AAAAAAAAAM)

worldview) behind a DSL should be isomorphic to the ideal domain ontology of the domain     (1M2AAAAAAAAAN)

Leo Obrst: Will design patterns, analysis patterns, etc., be ontological constructs (with rules)? Are     (1M2AAAAAAAAAO)

there as yet repositories for these?     (1M2AAAAAAAAAP)

Terry Longstreth: My principal concern about the combining of tracks 1 and 2 is the loss of     (1M2AAAAAAAAAQ)

discussion of emergent behaviors (since they are in my opinion, by definition, un-engineered) We've     (1M2AAAAAAAAAR)

tried to finesse this question by expanding the notion of engineering to include any system with     (1M2AAAAAAAAAS)

sentient inputs into its manifestations, but that seems to be to be a copout.     (1M2AAAAAAAAAT)

Leo Obrst: @Todd: can you place your question in the chat room? So we have a textual record? Thanks!     (1M2AAAAAAAAAU)

Giancarlo Guizzardi: @Todd: if you are interested, I can send you the references to UFO.     (1M2AAAAAAAAAV)

Bobbin Teegarden: @Giancarlo, please send refs to UFO to all     (1M2AAAAAAAAAW)

Giancarlo Guizzardi: @BobbinTeegarden: The foundational work of the structural part of UFO can be     (1M2AAAAAAAAAX)

Giancarlo Guizzardi: @BobbinTeegarden: this has been used as a foundational for the modeling language     (1M2AAAAAAAAAZ)

which now has been dubbed OntoUML     (1M2AAAAAAAAAAA)

Giancarlo Guizzardi: @BobbinTeegarden: parts of the Event and Social fragments of UFO can be found in     (1M2AAAAAAAAAAB)

(analyzing the goal modeling extension of Archimate),     (1M2AAAAAAAAAAD)

Bobbin Teegarden: @Giancarlo: Thank you, more on OntoUML?     (1M2AAAAAAAAAAF)

Giancarlo Guizzardi: @BobbinTeegarden: the last one is an example of its use in analyzing a Software     (1M2AAAAAAAAAAG)

Process Domain Ontology     (1M2AAAAAAAAAAH)

Giancarlo Guizzardi: @BobbinTeegarden: Sorry for the delay...An approach based on OntoUML used at a     (1M2AAAAAAAAAAI)

systems engineering department at the US DOD is described in     (1M2AAAAAAAAAAJ)

Giancarlo Guizzardi: @BobbinTeegarden: I will send more information in a second...     (1M2AAAAAAAAAAL)

Giancarlo Guizzardi: @BobbinTeegarden: I have input a lot of information on specific parts of OntoUML     (1M2AAAAAAAAAAM)

(see the lower part on discussions)     (1M2AAAAAAAAAAO)

Peter P. Yim: @Matthew - please watch the clock     (1M2AAAAAAAAAAP)

Matthew West: @Peter: Would it be better to drop my presentation in order ot make time for     (1M2AAAAAAAAAAQ)

Peter P. Yim: @Matthew - that's a thought but, it would be your call ... picking up from next session     (1M2AAAAAAAAAAS)

(with Henson presenting his bit is not a bad idea)     (1M2AAAAAAAAAAT)

Matthew West: @Peter: Yes that makes sense. I have one story to tell, and I can do that on the list.     (1M2AAAAAAAAAAU)

Peter P. Yim: @Matthew - since you cannot be with us next week, I definitely would want to hear your     (1M2AAAAAAAAAAV)

portion of the presentation     (1M2AAAAAAAAAAW)

DeborahMacPherson: Great presentations! No questions but fascinating presentations     (1M2AAAAAAAAAAX)

Terry Longstreth: @Matthew - JPL = NASA Jet Propulsion Laboratory?     (1M2AAAAAAAAAAZ)

Peter P. Yim: @TerryLongstreth - ref. the change of Track labeling should not affect the conversation     (1M2AAAAAAAAAAAA)

(at least not the way we have seen conversations direct themselves on the mailing lists all along)     (1M2AAAAAAAAAAAB)

... I think combining the tacks helps people who are confused as to what track their conversation     (1M2AAAAAAAAAAAC)

belonged to, in the first place     (1M2AAAAAAAAAAAD)

Doug Foxvog: @Henson: For the strange life of system components, an ontology could represent the     (1M2AAAAAAAAAAAE)

model of the system, the physical components that fill the roles of the different components of the     (1M2AAAAAAAAAAAF)

model, and temporary and permanent IDs for the physical components. With such an ontology, the     (1M2AAAAAAAAAAAG)

various aspects you referred to on slide 7 could be     (1M2AAAAAAAAAAAH)

Doug Foxvog: referenced and distinguished.     (1M2AAAAAAAAAAAI)

Line Pouchard: @everyone: I am collecting ontologies for units at present. If anyone would like to     (1M2AAAAAAAAAAAJ)

send me links, I'd be happy to examine them. I'd like in particular ontologies of units in OWL or     (1M2AAAAAAAAAAAK)

that can me translated into OWL. Thanks     (1M2AAAAAAAAAAAL)

Line Pouchard: I forgot to say, you can mention them here or send me private email.     (1M2AAAAAAAAAAAM)

Cory Casanave: @Line, OMG has adopted but not yet published a date/time ontology which includes     (1M2AAAAAAAAAAAP)

units. The ontology is expressed in OWL, UML and SBVR.     (1M2AAAAAAAAAAAQ)

Line Pouchard: @Cory: do you have a time frame for when it's available?     (1M2AAAAAAAAAAAR)

Cory Casanave: @Line, very soon - I can provide the document which is being prepared for publication.     (1M2AAAAAAAAAAAS)

Cory Casanave: @Line, the lead on the date/time ontology is Mark Linehan, IBM: email: mlinehan at us dot ibm do com     (1M2AAAAAAAAAAAT)

Fabian Neuhaus: @Cory, Line the OMG date/time ontology also contains CLIF axioms     (1M2AAAAAAAAAAAU)

Cory Casanave: @Fabian, sorry for the omission?     (1M2AAAAAAAAAAAV)

Fabian Neuhaus: @ Cory, I just thought that I mention it since the CLIF axioms are probably better     (1M2AAAAAAAAAAAW)

suited to understand the underlying model than OWL     (1M2AAAAAAAAAAAX)

Cory Casanave: @Fabian, yes - the CLIF is very precise in date/time.     (1M2AAAAAAAAAAAY)

Ali Hashemi: thank you all! take care.     (1M2AAAAAAAAAAAAB)

Leo Obrst: Thanks, Matthew and all!     (1M2AAAAAAAAAAAAC)

Giancarlo Guizzardi: Thanks a lot Peter, Henson and Matthew. very interesting discussions     (1M2AAAAAAAAAAAAE)

Peter P. Yim: -- session ended: 11:33am PST --     (1M2AAAAAAAAAAAAG)

-- end of in-session chat-transcript --     (1M2AAAAAAAAAAAAH)

Audio Recording of this Session     (1N)

Additional Resources     (1O)


For the record ...     (1O5)

How To Join (while the session is in progress)     (1P)

  • Dial-in:     (1P4D)
    • Phone (US): +1 (206) 402-0100 ... (long distance cost may apply)     (1P4D1)
    • when prompted enter PIN: 141184#     (1P4D2)
    • Skype: joinconference (use the PIN above) ... generally free-of-charge, when connecting from your computer)     (1P4D3)
      • for skype users who have trouble with finding the Skype Dial pad ... it's under the "Call" dropdown menu as "Show Dial pad"     (1P4D3A)
  • Shared-screen support (VNC session), if applicable, will be started 5 minutes before the call at: http://vnc2.cim3.net:5800/     (1P4E)
    • view-only password: "ontolog"     (1P4E1)
    • if you plan to be logging into this shared-screen option (which the speaker may be navigating), and you are not familiar with the process, please try to call in 5 minutes before the start of the session so that we can work out the connection logistics. Help on this will generally not be available once the presentation starts.     (1P4E2)
    • people behind corporate firewalls may have difficulty accessing this. If that is the case, please download the slides above (where applicable) and running them locally. The speaker(s) will prompt you to advance the slides during the talk.     (1P4E3)
    • instructions: once you got access to the page, click on the "settings" button, and identify yourself (by modifying the Name field from "anonymous" to your real name, like "JaneDoe").     (1P4F1)
    • You can indicate that you want to ask a question verbally by clicking on the "hand" button, and wait for the moderator to call on you; or, type and send your question into the chat window at the bottom of the screen.     (1P4F2)
    • thanks to the soaphub.org folks, one can now use a jabber/xmpp client (e.g. gtalk) to join this chatroom. Just add the room as a buddy - (in our case here) ontolog_20120119@soaphub.org ... Handy for mobile devices!     (1P4F3)
  • Discussions and Q & A:     (1P4G)
    • Nominally, when a presentation is in progress, the moderator will mute everyone, except for the speaker.     (1P4G1)
    • To un-mute, press "*7" ... To mute, press "*6" (please mute your phone, especially if you are in a noisy surrounding, or if you are introducing noise, echoes, etc. into the conference line.)     (1P4G2)
    • we will usually save all questions and discussions till after all presentations are through. You are encouraged to jot down questions onto the chat-area in the mean time (that way, they get documented; and you might even get some answers in the interim, through the chat.)     (1P4G3)
    • During the Q&A / discussion segment (when everyone is muted), If you want to speak or have questions or remarks to make, please raise your hand (virtually) by clicking on the "hand button" (lower right) on the chat session page. You may speak when acknowledged by the session moderator (again, press "*7" on your phone to un-mute). Test your voice and introduce yourself first before proceeding with your remarks, please. (Please remember to click on the "hand button" again (to lower your hand) and press "*6" on your phone to mute yourself after you are done speaking.)     (1P4G4)
  • RSVP to peter.yim@cim3.com appreciated, ... or simply just by adding yourself to the "Expected Attendee" list below (if you are a member of the team.)     (1P4I)
  • Please note that this session may be recorded, and if so, the audio archive is expected to be made available as open content, along with the proceedings of the call to our community membership and the public at-large under our prevailing open IPR policy.     (1P4K)

Attendees     (1Q)


This page has been migrated from the OntologWiki - Click here for original page     (1Q5)