John(B),
For the OMG connection to this you should be aware of the process and
expectations. What is going on now in the "architecture ecosystem" SIG is the
brainstorming part of a standards process to produce standards and the
resulting technologies in support of a more federated ecosystem of modeling
capabilities, particularly those focused on better integration of business and
technology perspectives. Note that OMG is the source of standards like UML,
BPMN and SoaML. (01)
What will likely come out of this is a roadmap and one or more requests for
proposals. We want to make sure the requirements for any such RFPs are
correct, sufficiently "tight" to get reasonable responses yet sufficiently open
to allow for other peoples approaches. Impacting these requirements is what
current involvement would achieve. Submitters to this RFP will then propose
solutions. After a (frequently long and tortuous) standards process with
revised proposals process something is then adopted by the OMG, which is
frequently and amalgam of many of the initial responses. What you are
referencing may well be one of those proposed solutions. More info on the
process is here: http://www.omg.org/gettingstarted/processintro.htm (02)
This process is intended to adopt proven solutions to requirements that can
result in (hopefully) wide community adoption, multiple technical
implementations and an impact on the interoperability of organizations and
technologies. It is a quite pragmatic group, but many are sufficiently open
minded to look at some out of the box approaches, as long as they can be shown
to work and have soma industry experience. It is not intended for research.
There is no funding to participate in this process, in fact you pay for the
privilege. (03)
As a matter of perspective - the semantic web stack is only starting to be
"accepted" in this community. CL is a possibility but on the fringe of
possible options, yet this is an ISO standard already! Why? Experience, a well
developed community and products (open or commercial) that implement it to
solve this kind of problems. (04)
So I want to make sure that the context of what we are doing is understood, we
are looking for real solutions that can be shown to solve real problems - like
how we integrate languages like UML, BPMN, OWL, SQL, XSD, Business
Architecture, EA, etc, into a more cohesive architectural environment. I'm not
suggesting that what you are referencing is or is not ready to be considered
for mainstream standards efforts, but that you should understand this context.
Welcome to the party! (05)
-Cory Casanave (06)
-----Original Message-----
From: John Bateman [mailto:bateman@xxxxxxxxxxxxx]
Sent: Thursday, April 15, 2010 4:15 AM
To: Cory Casanave
Cc: [sio-dev] discussion; AESIG
Subject: Re: [sio-dev] Sharing and Integrating Ontologies (07)
> It should be possible to use and reference a concept defined in another
> ontology without trusting all assertions in that other ontology or
> including the other ontology. The view of the other ontology should be
> limited to the semantics required to be shared between the two domains. (08)
This is called (or is the basis of) E-connections, one of many
ways of loose coupling ontologies. All of these methods need to
be properly incorporated in any sensible approach to modular
ontologies. (09)
Refs: (010)
Kutz, O.; Lutz, C.; Wolter, F. & Zakharyaschev, M. $E$-Connections of
Abstract Description Systems Artificial Intelligence, 2004, 156, 1-73 (011)
Kutz, O.; Lücke, D. & Mossakowski, T. Heterogeneously Structured
Ontologies---Integration, Connection, and Refinement. In: Meyer, T. &
Orgun, M. A. (ed.) Advances in Ontologies. Proceedings of the Knowledge
Representation Ontology Workshop (KROW 2008), ACS, 2008, 90, 41-50 (012)
and others. (013)
> This seems to be a general problem with FOL based integration.
> I would be interested in how an encapsulated reference may be supported
> in CL. (014)
One general solution to this that we are exploring is (as described
in the last Ontolog session on this theme), to add CL into
HETS, thereby importing all the structuring mechanisms defined
for logics as part of HETS, which gives you automatically
the kind of encapsulation required. I strongly recommend acquainting
oneself with this institution-based approach to modularity
before re-inventing square wheels! :-) (015)
Best,
John Bateman. (016)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/sio-dev/
Unsubscribe: mailto:sio-dev-leave@xxxxxxxxxxxxxxxx
Community Shared Files: http://ontolog.cim3.net/file/work/SIO/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (017)
|