Exuviae is the intensional epistemological vocabulary elaborated for the COntPare methodology.
It supports basic epistemic operations in theory comparison: conceptual derivations, component clustering, and component selection
Version 1.0 : 29.04.2021
Designed by Stefano De Giorgis and Aldo Gangemi.
Version 1.1
The Selection result is of course affectedBy the pistemological operations done during the comparison, namely the RefraimingModus, the SelectionCriterion and the CriterionMeasurement.
An entity conceptuallyDerivedFrom some other entity has an intellectual debt to the latter, meaning that in some way, the former entity e.g. a dul:Concept was elaborated starting from some clue, intuition, concept, rule or theory that gave the input in a more or less decisevely way to a Cognizer for its cognition of the Concept.
Note that also the way in which some Entity is derived from some other Entity could be the the object of a conceptual derivation, and if different conceptual derivation are competing the subproperties could be used to clarify the nuances.
Some Entity or part of it is derived and then contradicted or negated, totally or partially.
A way to express some logical or formal conclusion explicitly declared by the conceptually derived entity and implied, but not declared explicitly by the source.
The derived entity corresponds to a broader extension than
the source, this poperty is similar to the skos:broadMatch property, but referred to conceptual objects.
The "modus" in which some Entity reframes some other entity. It could be the perspective, the contextual considered knowledge, the interpretation etc.
The derived entity is copied and reused (cloned), with possible minimal and not substantial nuanced distinctions e.g. re-labeling without new semantic commitment.
The Measurement of the Criterion chosen to select a Fragment against another. e.g. better literature grounding, more soundness, better resources at disposal, more operationalizable structure etc.
The hub for epistemic operations on TheoryFragments with the purpose to compare and select one.
The modus of refraiming focusing on formalization aspects.
e.g. some Entity is valued as important in a Theory but for some reason it is not well formalized, the FormalizationModus aims at conceptually deriving that Entity refraiming it and introducing formal contraints.
true
This Entity refers to those fragments being unique, e.g. entities introduced only in one theory and not strictly comparable with other fragments of the same or other theories. For this reason more than a "comparison" it is an evaluation of those "hapax legomenon" conceptual entities. The reason to derive an Hapax Legomenon Entity could be that it allows formal improvements, theoretical clarification, conceptual bridging toward different theories etc.
The Selection of an Entity as important based on its "productivity" in a Theory.
While it is not a criterion that assures a priori quality, the quantity of relations from, and to, some Entity could be relevant to establish its relevance in some Theory.
The measurement of "productivity" of an Entity in a theory, measured by its Usage in the ontology.
The "modus" in which some Entity reframes some other entity. It could be the perspective, the contextual considered knowledge, the interpretation etc.
The Criterion based on which some Selection is made.
e.g. in a Debate Competition in order to support some topic some pieces of information are selected as argument based on some criterion. The criterion could be e.g. the soundness of the argument, the popularity of the topic, the scientific evidence supporting it etc.
A TheoreticalFragment is a theoretical object, a sort of semantic field which contains things related in some way one with the others.
The semantic field derives from manual comparing of different theories. Behind the idea of fragment there is a particular epistemology, that is the choice epistemology for which there are different choices possible and a final one made based on some criterion and the measurement of the selected criterion.
This criterion is based on the fact that, for various reasons, a Concept is central to some Theory.