sio-dev
[Top] [All Lists]

Re: [sio-dev] Sharing and Integrating Ontologies

To: "John Bateman" <bateman@xxxxxxxxxxxxx>
Cc: "[sio-dev] discussion" <sio-dev@xxxxxxxxxxxxxxxx>, AESIG <architecture-ecosystem@xxxxxxx>
From: "Cory Casanave" <cory-c@xxxxxxxxxxxxxxx>
Date: Thu, 15 Apr 2010 11:18:10 -0400
Message-id: <4F65F8D37DEBFC459F5A7228E5052044A03D53@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>