TraceabilityMatrix

From OWL
Revision as of 21:03, 8 June 2008 by VipulKashyap (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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