https://orcid.org/0000-0001-9560-4728
https://orcid.org/0000-0002-5149-603X
https://orcid.org/0000-0002-6776-1213
https://orcid.org/0000-0003-0698-4891
https://orcid.org/0000-0001-7564-7990
PODO focuses on the description of point defects in crystalline materials.
Point Defects Ontology (PODO)
0.0.1
definition
The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.
2012-04-05:
Barry Smith
The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible.
Can you fix to something like:
A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property.
Alan Ruttenberg
Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria.
On the specifics of the proposed definition:
We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition.
Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable.
We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with.
PERSON:Daniel Schober
GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
definition
definition source
Formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007
PERSON:Daniel Schober
Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w
GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
definition source
Examples of a Contributor include a person, an organization, or a service. Typically, the name of a Contributor should be used to indicate the entity.
Contributor
An entity responsible for making contributions to the resource.
Examples of a Creator include a person, an organization, or a service. Typically, the name of a Creator should be used to indicate the entity.
Creator
An entity primarily responsible for making the resource.
Description may include but is not limited to: an abstract, a table of contents, a graphical representation, or a free-text account of the resource.
Description
An account of the resource.
Title
A name given to the resource.
In current practice, this term is used primarily with literal values; however, there are important uses with non-literal values as well. As of December 2007, the DCMI Usage Board is leaving this range unspecified pending an investigation of options.
The range of skos:altLabel is the class of RDF plain literals.
skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise disjoint properties.
alternative label
An alternative lexical label for a resource.
Acronyms, abbreviations, spelling variants, and irregular plural/singular forms may be included among the alternative labels for a concept. Mis-spelled terms are normally included as hidden labels (see skos:hiddenLabel).
example
An example of the use of a concept.
A general note, for any purpose.
A resource has no more than one value of skos:prefLabel per language tag, and no more than one value of skos:prefLabel without language tag.
The range of skos:prefLabel is the class of RDF plain literals.
skos:prefLabel, skos:altLabel and skos:hiddenLabel are pairwise
disjoint properties.
preferred label
The preferred lexical label for a resource, in a given language.
A data property indicating the impurity concentration.
The domain of this property should correspond to a material sample (either computational or experimental).
has impurity concentration
A data property indicating the total number of impurity atoms in the crystal structure.
The domain of this property should correspond to a material sample (either computational or experimental).
has number of impurity atoms
A data property indicating the total number of vacancies in the crystal structure.
The domain of this property should correspond to a material sample (either computational or experimental).
has number of vacancies
A data property indicating the vacancy concentration.
Note that the vacancy concentration is given as a fraction, with a value from 0 to 1.
The domain of this property should correspond to a material sample (either computational or experimental).
has vacancy concentration
occupies interstitial site
Antisite Defect is a point defect which occurs in ordered alloys or compounds when two atoms of different type switch positions.
ISBN 978-1-119-45416-8
Antisite Defect
A Frenkel defect is a point defect which occurs in ionic crystals when an ion is removed to an interstitial position, leaving a vacancy behind.
ISBN 978-1-119-45416-8
Frenkel Defect
Frenkel Pair
An impurity is a point defect where foreign atoms (of different type as the host atom) enter the crystal lattice.
Impurity
An interstitial is a point defect where an atom occupies an interstitial site. In crystallography, interstitial sites are the empty space between the atoms (assuming a hard-sphere model).
Interstitial
A interstitial impurity is a point defect where the atom occupying the interstitial site is of a different type as the matrix.
Interstitial Impurity
A point defect is a crystalline defect which is localized at or around a single lattice point. It is considered to be a zero-dimensional defect because it does not extend in any dimension in the lattice.
Point Defect
A Schottky defect is a point defect which occurs in ionic crystals when oppositely charged ions create a vacancy in the interior of the lattice and go to the surface.
Schottky Defect
A self-interstitial is an insterstitial defect where the atom occupying the interstitial site is of the same type as the matrix.
Self-interstitial
A substitutional impurity is an impurity where an atom of different type replaces a host or matrix atom.
Substitutional Impurity
A vacancy is a point defect in which an atom is missing from its original lattice site.
Vacancy
A meaningful collection of concepts.
An idea or notion; a unit of thought.
A set of concepts, optionally including statements about semantic relationships between those concepts.
Thesauri, classification schemes, subject heading lists, taxonomies, 'folksonomies', and other types of controlled vocabulary are all examples of concept schemes. Concept schemes are also embedded in glossaries and terminologies.
An ordered collection of concepts, where both the grouping and the ordering are meaningful.
skos:broadMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes.
Relates a concept to a concept that is more general in meaning.
skos:broaderTransitive is a transitive superproperty of skos:broader.
A note about a modification to a concept.
skos:closeMatch is used to link two concepts that are sufficiently similar that they can be used interchangeably in some information retrieval applications. In order to avoid the possibility of "compound errors" when combining mappings across more than two concept schemes, skos:closeMatch is not declared to be a transitive property.
A note for an editor, translator or maintainer of the vocabulary.
skos:exactMatch is used to link two concepts, indicating a high degree of confidence that the concepts can be used interchangeably across a wide range of information retrieval applications. skos:exactMatch is a transitive property, and is a sub-property of skos:closeMatch.
Relates, by convention, a concept scheme to a concept which is topmost in the broader/narrower concept hierarchies for that scheme, providing an entry point to these hierarchies.
A lexical label for a resource that should be hidden when generating visual displays of the resource, but should still be accessible to free text search operations.
A note about the past state/use/meaning of a concept.
Relates a resource (for example a concept) to a concept scheme in which it is included.
Relates two concepts coming, by convention, from different schemes, and that have comparable meanings
Relates a collection to one of its members.
Relates an ordered collection to the RDF list containing its members.
skos:narrowMatch is used to state a hierarchical mapping link between two conceptual resources in different concept schemes.
Relates a concept to a concept that is more specific in meaning.
skos:narrowerTransitive is a transitive superproperty of skos:narrower.
A notation, also known as classification code, is a string of characters such as "T58.5" or "303.4833" used to uniquely identify a concept within the scope of a given concept scheme.
Relates a concept to a concept with which there is an associative semantic relationship.
skos:relatedMatch is used to state an associative mapping link between two conceptual resources in different concept schemes.
A note that helps to clarify the meaning and/or the use of a concept.
Links a concept to a concept related by meaning.
Relates a concept to the concept scheme that it is a top level concept of.