Purpose

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

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

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:

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

attributeTypeattributeOrder

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

refsetIdreferencedComponentIdowlExpressionExplanatory 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 shown in the row below.

SubObjectPropertyOf(:123005000 :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 relationships a set of defining 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(:123005000)

Example of a transitive object property.

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

Example of a property chain.


EquivalentClasses(ObjectIntersectionOf(:244066003 ObjectSomeValuesFrom(:733930001 ObjectIntersectionOf(:244066003 ObjectSomeValuesFrom(:733931002 :302548004)))) ObjectIntersectionOf(:244066003 ObjectSomeValuesFrom(:733931002 ObjectSomeValuesFrom(:733930001 :302548004))))

Example of a general concept inclusion (GCI).