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
(http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm)
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
HetCASL.
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)
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)
|