Purpose

An associates description logic statements with in the OWL functional syntax.

The SNOMED CT International Release contains content in two that follow the pattern:

The , in which the OWL expressions represent axioms that form the logical definition of the identified by the
The , in which the OWL expressions represent essential information about an ontology. This information includes, namespaces, ontology URI, ontology version URI, and import statements. The enables the use of prefixes in the ontology

Data Structure

An is structured as shown in the following table.

Metadata

The following metadata supports this reference set:

	900000000000454005 |Foundation metadata concept|
		900000000000455006 |Reference set|
			762676003 |OWL expression type reference set|
				762103008 |OWL ontology reference set|
				733073007 |OWL axiom reference set|
		900000000000457003|Reference set attribute|
			706999006 |Expression|
				762677007 |OWL expression|
			900000000000459000 |Attribute type|
				900000000000465000 |String|
				762678002 |OWL 2 language syntax|

Descriptor Template and Examples

The reference set example tables on this page have been revised as follows to aid clarity and understanding:

The first four columns which are present in all release files are not shown. The omitted columns ( id, effectiveTime, active) are used in the same way in all referenced sets to support identification, versioning and packaging. They do not directly affect the specific features of a particular reference set or reference set type.
Reference set columns that contain SNOMED CT identifiers are expanded to show details of the concept or description referenced by that identifier. In some cases, the term is shown in the same column using the expression syntax, in other cases an additional column with a name suffix '_term' has been added. In the standard reference set files only the identifier is present in the column and there is no added column for the term. When using reference sets, the term and other details of the component are looked up from the relevant component release files.

Descriptor Template

The table below shows the descriptors that define the structure of the pattern and examples of the descriptors for specific reference sets that follow this pattern.

Descriptor templates for OWL expression reference rets

refsetId	referencedComponentId	attributeDescription	attributeType	attributeOrder
				0
				1
				0
				1
				0
				1

OWL Ontology Reference Set Example

OWL ontology reference set example

moduleId	refsetId	referencedComponentId	owlExpression
			Prefix(:=<http://snomed.info/id/>)
			Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
			Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
			Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
			Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
			Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
			Ontology(<http://snomed.info/sct/900000000000207008>)

OWL Axiom Reference Set Example

OWL axiom reference set example

moduleId

refsetId

referencedComponentId

owlExpression

Explanatory Notes

SubClassOf(:404684003 :138875005)

Example of SubClassOf, which is equivalent to an relationship between most .

A different OWL expression is used to represent relationships between . This is shown in the row below.

SubObjectPropertyOf(:774081006 :733928003)

Example of SubObjectPropertyOf, which is equivalent to an relationship between .

EquivalentClasses(:90708001 ObjectIntersectionOf(:64572001 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:363698007 :64033007))))

Example of EquivalentClasses. which is equivalent to stating that a is sufficiently defined by a set of necessary relationships.

EquivalentClasses(:126516008 ObjectIntersectionOf(:64572001 ObjectSomeValuesFrom(:609096000 ObjectIntersectionOf(ObjectSomeValuesFrom(:116676008 :108369006) ObjectSomeValuesFrom(:363698007 :371311000)))))

Example of a role group with a conjunction of two relationships as its value.

TransitiveObjectProperty(:774081006)

Example of a transitive object property.

SubObjectPropertyOf(ObjectPropertyChain(:127489000 :738774007) :127489000))

Example of a property chain.

SubClassOf(ObjectIntersectionOf(:64859006 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:255234002 :387713003)) ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:363698007 :272673000))) :703264005)

Example of a general concept inclusion (GCI).