View source for OntologySummit2008 OntologyOfOntologies

= [[OntologySummit2008|Ontology Summit 2008]] - Metadata for Ontologies  =

This is a working page for the development and work products on the "Metadata for Ontologies" discussion. 

1. Purpose of the Ontology Metadata 

The community agrees that it not sufficient for the OOR just to store ontologies but that
metadata for ontologies is necessary to support the sharing and reuse of ontologies within the repository. 

The metadata should allow users to 

- determine whether an ontology is suitable for a user purpose; 

- capture the design rationales that underlie the ontology; 

- retrieve ontologies for use in domain applications; 

- retrieve ontologies to be integrated with other user ontologies; 

- retrieve ontologies that will be extended to create new user ontologies; 

- determine whether or not an ontology can be integrated with user ontologies; 

- determine whether a set of ontologies retrieved from the repository
can be used together; 

- determine whether an ontology in the repository can be partially shared. 

The discussions surrounding the [[OntologySummit2007|Ontology Summit 2007]] should be the basis for the metadata for ontologies. 

There should be policies for creation and modification of metadata and
documentation of ontologies and the management of the persistence and
sustainability of ontologies. 

It should be possible for developers, end users and other stakeholders
to participate in the collaborative ontology development lifecycle; 

We can consider logical metadata (logical properties of the ontology independent of any implementation or engineering artefact) and engineering metadata (properties of the ontology as considered as an engineering artefact). 

The examples used below are not intended to be exhaustive. People are encouraged to post additional examples of ontologies. 

2. Logical Metadata 

The first logical property is to identify the language used to specify the ontology. 

The report "Evaluating Reasoning Systems" contains a classification of formal languages used to specify ontologies.
A formal language has a syntax (logical symbols together with a formally specified grammar) and a model theory (which specifies the conditions under which expressions in the language can be given particular truth assignments). 

A formalizable language has a syntax, although it does not have a model theory. 
Examples of such approaches include Topic Maps and folksonomies (which are writen in XML)and ISO 15926 (which is written in EXPRESS). 

Finally, some ontologies are only specified in natural language, including Wordnet , taxonomies, and thesauri. 

2.2 Modularity 

A second property of ontologies is based on modularity -- is a particular ontology a monolithic set of axioms, or is it composed of a set of smaller modules? Furthermore, is each module considered to be a separate ontology within the repository? If not, what are the relationships between the modules and which modules of an ontology can be used separately? 

For example, 
the Process Specification Language (PSL,http://www.mel.nist.gov/psl/psl-ontology/)
consists of a set of modules which are extensions of a common core theory PSL-Core. Metadata for each module specifies which other modules must also be included when using the module. 

2.3 Relationships between ontologies 

We can also specify various logical relationships between ontologies within the repository,
including mutual consistency, extension, and entailment. 

3. Engineering Metadata 

In addition to the logical metadata for ontologies, we need to specify metadata for ontologies as considered as engineering artefacts. This includes 

- provenance 

- versioning 

- existing applications of the ontology (e.g. interoperability, search, decision support) 

- domain-specificity (e.g. biology, supply chain management, manufacturing 

4. Conclusions 

The Ontology Metadata Vocabulary (OMV) http://omv.ontoware.org/,
Dublin Core, ISO 11179, ISO 19763, and other existing approaches to
provenance and versioning metadata are all candidates for aspects of
the metadata for ontologies in the OOR. 

We strongly urge an empirical approach to the identification and evaluation of ontology metadata. We should begin by collecting ontologies from Summit participants, and test out the different proposals for metadata on these ontologies. We should also develop use-case scenarios that will motivate the use of the metadata with these ontologies We especially challenge the participants in the [[UpperOntologySummit]] to
create a prototype of the OOR that includes the upper ontologies.
Developing use case scenarios will motivate the use of the metadata
with these ontologies and help establish best practices. 

References 

Hayes, P. (1996) A Catalog of Temporal Theories, 
Technical Report UIUC-BI-AI-96-01, University of Illinois at Urbana-Champaign. 

Bock, C., Gruninger, M., Libes, D., Lubell, J., Subrahamian, E. (2006)
Evaluating Reasoning Systems, NISTIR 7310, National Institute of 
Standards and Technology. 

Slides from the [[EvanWallace|Evan Wallace]] presentation of 3/27 - see 
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2008_03_27 

Slides from the [[ElisaKendall|Elisa Kendall]] presentation of 4/10 - 
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2008_04_10 
(includes additional metadata/provenance requirements) 

Summary slides from [[EvanWallace|Evan Wallace]] and [[ElisaKendall|Elisa Kendall]] - see 
http://ontolog.cim3.net/file/work/OpenOntologyRepository/OOR-panel-summary-slide 

W3C vocabulary management draft - 
http://www.w3.org/2006/07/SWD/Vocab/principles 

OMG RFP which contains some rationale that may be helpful - 
http://www.omg.org/cgi-bin/doc?ontology/2008-03-02 



--

This page is maintained by: [[MichaelGruninger|Michael Gr&uuml;ninger]] and [[PatHayes|Pat Hayes]] 

[[Category:OntologySummit]]    [[Category:OntologySummit2008]]    [[Category:OOR]]