| 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
|
