In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as a (...) standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

A prevalent assumption in metaethics is that people believe in moral objectivity. If this assumption were true then people should believe in the possibility of objective moral progress, objective moral knowledge, and objective moral error. We developed surveys to investigate whether these predictions hold. Our results suggest that, neither abstractly nor concretely, people dominantly believe in the possibility of objective moral progress, knowledge and error. They attribute less objectivity to these phenomena than in the case of science and no more, (...) or only slightly more, than in the cases of social conventions and personal preferences. This finding was obtained for a regular sample as well as for a sample of people who are particularly likely to be reflective and informed (philosophers and philosophy students). Our paper hence contributes to recent empirical challenges to the thesis that people believe in moral objectivity. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other (...) modal logics. (shrink)