Double click on rdfs:comment at left This is a demonstration ontology reconstructing much of the OpenGALEN Upper Ontology in OWL-DL. Detailed comments are included with classes and properties along with demonstration notions preceded with the prefix "Probe_". The ontology is provided strictly "as is" and without guarantees. It is still in progress and will be updated from time to time. The ontology is free for use with acknowledgement to OpenGALEN and the University of Manchester. All material copyright University of Manchester. A discussion is available in "Patterns, Properties and Minimizing Commitment: Reconstruction of the GALEN Upper Ontology in OWL" Alan L Rector and Jeremy Rogers, to be presented at the Workshop on Core Ontologies (CORONT) in conjunction with the European Knowledge Acquisition Workshop (EKAW-2004), Northampton, UK. All material available from http://www.cs.man.ac.uk/~rector/ontologies/sample-top-bio/ Defined here as a Biological Entity which is the outcome of a pathological process. Is this correct or should Disease be a primitive top level class? Disease / Problem is always a biological entity ---- but is it always an occurent or a continuant ? Generally disease should be a process with some outcome which presents as signs or symptoms --- So just leave this inside Biological Entity without further sub classification Entities which can stand on their own. Primitive self-standing entities in the upper ontology come in disjoint pairs. In the domain ontology they form disjoint non-exhaustive trees. The pairs show up poorly because the windows are ordered alphabetically. However, they can be identified by the disjoint axioms (lower right hand corner of this tab). The disjoint pairs are deiberately not exhaustive - i.e. we defer the issue of whether everything must be either physical or non-physical etc. This allows defering commitment on such issues as whether sets of physical things are themselves physical, etc. This is a matter on which other ontologies differe. Also no opposite for 'Complex' is provided, again to defer decisions. 'Biological' is included for convenience in a BioMedical ontology. In general it should be possible to classify a self-standing entity by asking questions about the basic dichotomies and subdichotomies The level of a process. Used in this demonstration to define Heart Failure. This axis has been extracted from NCI and should include Organ and Organ_part to form whole organ systems. Set in FMA sense of a specified list with a specific number. NOT a mathematical set. All entities which are dependent modifiers - roughly speaking value types and values. (See SWBP note on value partitions)