Ontology versions

Specification (incremental, new schema) Evolution mapping (2) Incremental or specification of new ontology version (2) Incremental... 

Versioning support Sequential versioning — Sequential versioning based on CVS Supports existing sequential ontology versions... 

OnEX uses a tailored storage model to efficiently store all ontology versions in its repository by utilizing that succeeding ontology version differ only to a small degree (Kirsten et al. 2009). Currently, OnEX provides access to about 700 versions of 16 life science ontologies. 

Hartung M, Gross A, Rahm E (2010) Rule-based determination of Diff evolution mappings between ontology versions. Technical report, University of Leipzig Hick JM, Hainaut JL (2006) Database application evolution a transformational approach. Data Knowl Eng 59(3) 534-558... 

Noy NF, Musen MA (2002) PromptDiff A fixed-point algorithm for comparing ontology versions. In Proceedings of the national conference on artificial intelligence. American Association for Artificial Intelligence, CA, pp 744-750... 

The notions of type- and token-reduction introduced here bear upon an appropriate understanding of anti-reductionist aspirations in the context of ontological non-reductive physicalism If we assume that there are different, irreducible kinds of properties, but still assume that token- or substance monism is true, then we could use the notion of token-reduction and type-reduction to capture this idea. Non-reductive physicalism, in its ontological version, consists in the affirmation of token-reduction and the denial of type-reduction for the relevant class of tokens and types. The explication proposed above enables us to give an idea of what reductive type- and token-identity theories consist in, and, combing the two, it yields a characterization of non-reductive physicalism. The next sections discuss the application of the explication of reduction to more recent versions of type-identity theory. 

The concept of identity-based reduction, which underlies the puzzle of reduction discussed in Chap. 3, can partly be characterized as follows a reduces to b only if a = b. Now, obviously, if a theory t reduces to a theory t, then it is not the case that t = t. The so explicated notion of theory-reduction does not, aU by itself, give an idea of how identity-based reduction may enter a model of theory reduction. But in fact, identity-based reduction comes in two forms, as a theory-variant as well as an ontological variant. For the ontological version of identity-based reduction, we get the following principle ... 

Redmond, T., Smith, M., Drummond, N., Tudorache, T. Managing change an ontology version control system. In Proceedings of the 5th International Workshop on OWL Experiences and Directions (OWLED 2008) (2008)... 

Volkel, M., Groza, T. SemVersion an RDF-based ontology versioning system. In Proceedings of lADIS International Conference on WWW/Intonet (lADIS 2006), pp. 195-202 (2006)... 

---