[Top] [All Lists]

Re: [oor-forum] related paper

To: OpenOntologyRepository-discussion <oor-forum@xxxxxxxxxxxxxxxx>, Peter Yim <peter.yim@xxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Fri, 12 Jun 2009 16:26:41 -0400
Message-id: <0111C34BD897FD41841D60396F2AD3D30188E2409E@xxxxxxxxxxxxxxxxx>
This is interesting, Alexander. Thanks!    (01)

Leo    (02)

Dr. Leo Obrst           The MITRE Corporation, Information Semantics 
lobrst@xxxxxxxxx        Information Discovery & Understanding, Command & 
Control Center
Voice: 703-983-6770     7515 Colshire Drive, M/S H305 
Fax: 703-983-1379       McLean, VA 22102-7508, USA    (03)


-----Original Message-----
From: oor-forum-bounces@xxxxxxxxxxxxxxxx 
[mailto:oor-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Alexander Garcia
Sent: Friday, June 12, 2009 3:06 PM
To: OpenOntologyRepository-discussion; Peter Yim
Subject: [oor-forum] related paper    (05)

This is a paper you all may find interesting:    (06)

" This paper presents OLS2OWL, an ontology repository
manager plug in developed for Protégé 4.0. The tool (1)
facilitates search and retrieval over collections of ontologies,
(2) supports comparison across terms from different
ontologies by providing integrative views; the latter
supports weaving and maintaining a dense network of
semantic relationships between multiple ontologies, and (3)
facilitates reusing entire ontologies as well as portions of
them -slices of ontologies. We argue that these three
functionalities are essential for building good ontologies
without redefining conceptual elements that already exists.
This is in particularly relevant to broad collaborative
settings in which redundant and partly overlapping
definitions are hard to control with current tooling.
Availability: http://ols2owl.sourceforge.net/ "    (07)

  We will start to work on a bioportal plug in for the HETS  
 system. This is a parsing, static analysis and proof management tool combining 
various tools for different specification languages, thus providing a tool for 
the heterogeneous specification language  
The structuring constructs of this language are those of CASL, plus  
some new heterogeneous constructs for indicating the language and for  
language translations.
Hence, Hets is based on a graph of logics and languages.    (08)

Alexander Garcia
http://www.usefilm.com/photographer/75943.html    (09)

Message Archives: http://ontolog.cim3.net/forum/oor-forum/  
Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/  
Shared Files: http://ontolog.cim3.net/file/work/OOR/ 
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository     (010)
<Prev in Thread] Current Thread [Next in Thread>