Examples of Logic Construct use

The aim of this page is that, for each EL construct that we have identified as having a valid use case, give one or more examples of the what it is you can say using that construct.

OWL 2 EL Feature Name	Description	Status	Priority Target Release	Analysis / Use Cases	Examples
ObjectSomeValuesFrom	Class existential restriction to class expression	Currently used in SNOMED CT		All current relationships except IS A	Attribute/Value pairs such as \|Finding site\| = \|Anatomical or acquired body structure\| ObjectSomeValuesFrom(sctid:363698007 sctid:442083009)
DataSomeValuesFrom	Class existential restriction to data range	Immediately desirable		Required for represent strength values for drug concept model. Currently, they are modelled by ObjectSomeValuesFrom
ObjectHasValue	Class existential restriction to individual	Possibly useful		Used to refer to current SNOMED CT concepts which are individuals (such as countries, languages, units etc).	Currently, countries, language are represented as concepts in SNOMED CT. Investigation is needed to determine the needs to transform them into individual.
DataHasValue	Class existential restriction to literal	Immediately desirable		Needed for drug model
ObjectIntersectionOf	Class intersection	Currently used in SNOMED CT		Conjunction between concepts or relationships	ObjectIntersectionOf(sctid:404684003 ObjectSomeValuesFrom(sctid:609096000 ObjectSomeValuesFrom(sctid:363698007 sctid:442083009)))
DataIntersectionOf	Data range intersection	Possibly useful		Used for defining data ranges which may be useful however must be used with care to not affect classifiers adversely
SubClassOf	Class inclusion	Currently used in SNOMED CT			Currently exists in SNOMED as the IS A child→parent relationship, which is expressed in the RF2 Relationship file.

EquivalentClasses	Class equivalence	Currently used in SNOMED CT		Fully defined concepts are implementation of EquivalentClasses	\|Fracture of bone (disorder)\| is a fully defined concept
SubObjectPropertyOf	Object property inclusion (including property chains)	Currently used in SNOMED CT		Subconcept of an attribute	\|Procedure site - direct (attribute)\| is a subconcept of Procedure site (attribute)
TransitiveObjectProperty	Transitive object property	Immediately desirable		Required for anatomy, drugs and substance models	\|Part of\| relationship is transitive
ReflexiveObjectProperty	Reflexive object property	Immediately desirable		Required for anatomy and drugs models	\|allOrPartOf\| relationship is reflexive. PartOf o PartOf → PartOf
DifferentIndividual	Individual assertion - different individual	Possibly useful		May be useful if SNOMED CT uses individuals (countries, languages, units etc)
ObjectPropertyAssertion	Individual assertion - object property	Possibly useful		As above
ClassAssertion	Individual assertion - class membership	Possibly useful		As above
DataPropertyAssertion	Individual assertion - data property	Possibly useful		As above
NegativeObjectPropertyAssertion	Individual assertion - negative object property	Possibly useful		As above
NegativeDataPropertyAssertion	Individual assertion - negative data property	Possibly useful		As above
FunctionalDataProperty	Functional data property	Possibly useful		As above

Extensions to current profile

Feature

Description

Status

Priority

Target Release

Analysis / Use Cases

Examples

GCAs (including avoiding flattening into single axiom - alternative definitions)

Need to be able to move Drug Therapeutic groupers so that they are not classified with the Core.

Nesting