http://ontologydesignpatterns.org/index.php?action=history&feed=atom&title=Submissions%3ADisposition 2026-04-05T22:06:07Z Revision history for this page on the wiki MediaWiki 1.25.6 http://ontologydesignpatterns.org/index.php?title=Submissions:Disposition&diff=12033&oldid=prev 2014-12-21T14:19:16Z

<p>Pattern for the representation of non-probabilistic dispositions with unique triggering and realization process types.</p> <p><b>New page</b></p><div>{{Content_OP_Proposal_toolbar}}<br /> {{Graphical representation header}}<br /> {{Graphical representation<br /> |ImageName=Roehl-Jansen_Disposition.pdf<br /> }}<br /> {{Content OP Proposal Template<br /> |SubmittedBy=LudgerJansen, <br /> |Name=Disposition<br /> |ContentODPAlsoKnownAs=Non-propositional Disposition<br /> |Intent=This pattern allow the representation of non-probabilistic dispositions with unique triggering and realization process types.<br /> |Domain=Upper Ontology, Biology, General, <br /> |CompetencyQuestion=What is the triggering process for a given disposition? (e.g., a dose of penicilin can unfold its antibiotic disposition when being swallowed)<br /> What is the realization of a given disposition? (e.g., developing a fever, rash)<br /> |ContentODPDescription=Relations are being defined between dispositions, their realizations processes and their triggering processes. The pattern is easily compatible with many top-level ontologies. In this description, we use classes from BFO and BioTop.<br /> <br /> References: <br /> - Roehl/Jansen: &quot;Representing Dispositions&quot;, Journal of Biomedical Semantics 2011, 2(Suppl 4):S4 (9 August 2011).<br /> - BioTop, http://www.imbi.uni-freiburg.de/ontology/biotop/.<br /> |ReusableOWLBuildingBlock=Roehl-jansen_disposition-pattern.owl<br /> }}<br /> {{Element list header}}<br /> {{Additional information header}}<br /> Bearer (owl:Class): BFO: independent continuant, BioTop: material object<br /> <br /> Trigger (owl:Class): BFO: process; Biotop: process<br /> <br /> Disposition (owl:Class): BFO (dependent continuant: realizable:) disposition; Biotop: disposition<br /> <br /> Realization (owl:Class): BFO: process; Biotop: process<br /> <br /> 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.<br /> <br /> 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:<br /> 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.<br /> <br /> hasTriggerR (owl:ObjectProperty): relation between the realization process and the triggering process (dropping of the glass and its breaking)<br /> 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.<br /> <br /> has_triggerD (owl:ObjectProperty)*: relation that holds between the disposition and the triggering process (fragility of the glass and its breaking)<br /> 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.<br /> <br /> 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. <br /> 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. <br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Modeling issues about me}}<br /> {{My references}}</div>

LudgerJansen