[Top] [All Lists]

[oor-forum] related paper

To: OpenOntologyRepository-discussion <oor-forum@xxxxxxxxxxxxxxxx>, Peter Yim <peter.yim@xxxxxxxx>
From: Alexander Garcia <cagarcia@xxxxxxxxxxxxx>
Date: Fri, 12 Jun 2009 21:06:15 +0200
Message-id: <20090612210615.noh5e7ubkw8ok4o0@xxxxxxxxxxxxxxxxxxxxx>
This is a paper you all may find interesting:    (01)

" 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/ "    (02)

  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.    (03)

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

Attachment: garcia-et-al-protege-paper.pdf
Description: application/download

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     (01)
<Prev in Thread] Current Thread [Next in Thread>