You have to log in to edit pages.
If you already have an OWL file you can create/update this page by importing it
Please be sure that the uploaded file is correctly embedded in the page as an image. This is possible only with image file types (no PDF, for example).
Click 'add another' for adding an ontology element
Click 'add another' for adding a Review this revision takes in account
Bearer (owl:Class): BFO: independent continuant, BioTop: material object Trigger (owl:Class): BFO: process; Biotop: process Disposition (owl:Class): BFO (dependent continuant: realizable:) disposition; Biotop: disposition Realization (owl:Class): BFO: process; Biotop: process hasDisposition (owl:ObjectProperty): This relation is a subrelation of bearerOf which expresses the relation of an instance of an independent continuant to an instance of a dependent continuant, that is a quality or a disposition. hasDisposition expresses that certain types of things have a certain disposition essentially. All instances will have instances of the disposition type inhering in them, e.g. all aspirin pills have the disposition to relieve pain. inheresIn (owl:ObjectProperty): Expresses the relation between a disposition and its bearer. Even if particular dispositions are of the same type, their bearers do not have to be of the same type. Tablets of quite different types, like aspirins and paracetamols, can be bearers of instances the same disposition type to relieve pain e.g. aspirin as well as paracetamol. If all instances of a disposition have bearers of the same type, we can represent this by means of the inheres_in relation: D inheres_in B := For all x, if x instance_of D, then there is some y such that: y instance_of B and x inheres_in y. hasTriggerR (owl:ObjectProperty): relation between the realization process and the triggering process (dropping of the glass and its breaking) R has_triggerR T := For all x, if x instance_of Rm then there is some y, such that y instance_of T and x has_triggerR y. has_triggerD (owl:ObjectProperty)*: relation that holds between the disposition and the triggering process (fragility of the glass and its breaking) D has_triggerD T := For all x, if x instance_of D, then there is some y, such that if x has_triggerD y, then y instance_of T. hasRealization (owl:ObjectProperty): This relation connects a disposition instance with any process instance which is its realization. A type of process R is the realization type of a disposition type D if and only if any instance of D is realized, then the realization is of type R; i.e. D has_realization R := For all x, if x instance_of D, then necessarily for all y: if x has_realization y, then y instance_of R.
Summary:
This is a minor edit Watch this page
Cancel