Warning:
This wiki has been archived and is now read-only.
TraceabilityMatrix
From OWL
Traceability Matrix and Usage Scenarios for OWL 1.1 Constructs
Domain Specific Requirement | Corresponding Generic Requirement | Relevant OWL 1.1 Construct | OWL 1.0 Implementation | OWL 1.0 Gap | OWL 2.0 Implementation | OWL 2.0 Gap | Comments |
---|---|---|---|---|---|---|---|
Domain = Healthcare | |||||||
Each Finger is part of some Upper Limb | Each town is part of some country | SubProperty Chain | Finger < FingerS < HandP < HandS < UpperLimbP < (partOf some UpperLimb) | Cannot Model propagation of values across properties | hasLocation o properPartOf < hasLocation | None | Results in a more compact and intuitive representation |
A hemisphere is an anatomical entity whose direct parts are lobes, each part being of a distinct type (i.e. frontal lobe, etc. | A binary relationship associates exactly 2 classes | Qualified Cardinality Restriction | Complex implementation involving macro substitution | Cannot model Qualified Cardinality Restriction | Hemisphere = AnatomicalEntity and (hasDirectAnatomicalPart only Lobe) and (= 1 hasDirectAnatomicalPart FrontLobe) ... | None | Makes the ontology compact and intuitive |
A brain hemisphere is either a left brain hemisphere or right hemisphere but not both | a brain hemisphere is either a left brain hemisphere or right hemisphere but not both | Disjoint Union | Hemisphere = LeftHemisphere or RightHemisphere, LeftHemisphere disjointWith RightHemisphere | Verbose OWL specifications | Hemishpere = disjointUnion(LeftHemisphere, RightHemisphere) | None | More compact representation |
Two material anatomical entities in the brain are connected to each other if they share a common Gyrus connection | Two towns are connected to each other if they share a common border | Not Supported? | Not Supported? | Cannot Model dependencies between properties | None | Cannot model dependencies between properties | Out of Scope for consideration |
Tom (a patient) doesn't have diabetes | Sarkozy is not the President of USA | Negative Property Assertion | Individual(Tom type(Restriction(hasDisease allValuesFrom (complementOf(oneOf(Diabetes)))))) | Verbose OWL specification | NegativeObjectPropertyAssertion(Tom hasDisease diabetes) | None | More compact and intuitive representation |
Tom (a patient) infects himself | An author cites himself or herself in a publication | local Reflexivity Restrictions | Not supported | Not supported in OWL | ObjectExistsSelf(infectedBy) | None | Increased expressivity |
The property anatomicalPartOf is irreflexive as an anatomical region cannot be part of itself | The property partOf in general is an irreflexive property | Irreflexive Object Property | Not supported | Not supported in OWL | IrreflexiveObjectProperty(anatomicalPartOf) | None | Increased expressivity |
The property anatomicalPartOf is asymmetric as something cannot be a part of and contain as part the same anatomical region | The property partOf in general is an asymmetric property | Asymmetric Object Property | Not supported | Not supported in OWL | AsymmetricObjectProperty(anatomicalPartOf) | None | Increased expressivity |
" " | |||||||
Domain = Life Sciences | |||||||
1" Amine Group bonds with exactly 2 Hydrogen Atoms | A binary relationship associates exactly 2 classes | Qualified Cardinality Restriction | Complex implementation involving macro substitution | Cannot model Qualified Cardinality Restriction | AmineGroup < (= 2 hasBondWith HydrogenAtom) | None | Makes the ontology compact and intuitive |
A cell is either a nucleated cell or a non-nucleated cell but not both. | A cell is either a nucleated cell or a non-nucleated cell but not both. | Disjoint Union | Cell = NucleatedCell or NonNucleatedCell, NucleatedCell disjointWith NonNucleatedCell | Verbose OWL specifications | Hemishpere = disjointUnion(LeftHemisphere, RightHemisphere) | None | More compact representation |
A bacterial cell can subdivide itself | An author cites himself or herself in a publication | local Reflexivity Restrictions | Not supported | Not supported in OWL | ObjectExistsSelf(dividedBy), ObjectExistsSelf(citedBy) | None | Increased expressivity |
Every cell region has the same regional boundary as itself | The property sameBoundary is reflexive | Reflexive object property | Not supported | Not supported in OWL | ReflexiveObjectiveProperty(sameBoundary) | None | Increased expressivity |
A cell region which is connected to another cell cannot be contiguous to it | Connected regions are not contiguous to each other | Disjoint Object Property | Not supported | Not supported in OWL | DisjointObjectProperty(contiguousTo connectedTo) | None | Increased expressivity |
High systolic blood pressure is defined as having values >= 140 mmHg | Hot days are those when the temperature > 100F | Datatype Restriction | Has been implemented in an adhoc manner using XML Schema datatypes | Not supported natively in OWL | HighSystolicBP = DataSomeValuesFrom(bpReading minInclusive 140) | None | Incorporation of XML Schema datatypes into OWL |
" " | |||||||
Domain = Clinical Trials | |||||||
In a clinical trial, the patient must have had an MRI of the contralateral breast, no more than 6 months prior to study entry. | A student should enroll in a particular course within 6 months of admission to the school | N-ary Datatypes | Not supported | Not supported in OWL | DataAllValuesFrom(MRIdate, enrollmentDate+60days, lessThan) | None | Incorporation of Binary constraints into OWL |
" " | |||||||
Domain = Telecommunications | |||||||
" " | |||||||
Domain = Manufacturing | |||||||
" " | |||||||
Domain = Earth and Space Sciences | |||||||
All material on the Earth is in one of three states: Solid, Liquid, Gas | All material on the Earth is in one of three states; Solid, Liquid, Gas | Disjoint Union | State = Solid or Liquid or Gas, Solid disjointWith Liquid, Liquid disjointWith Gas, Solid disjointWith Gas | Verbose OWL specifications | State = disjointUnion (Solid, Liquid, Gas) | None | More compact representation |
flowsInto is an irreflexive property as one river cannot flow into another | flowsInto is an irreflexive property | Irreflexive Object Property | Not supported | Not supported in OWL | IrreflexiveObjectProperty(flowsInto) | None | Improved expressivity |