From: SNOMED CT standard ontology based on the ontology for general medical science
SCT compositional grammar | OWL construct | DL construct |
---|---|---|
expression, subExpression | Axiom | Axiom |
sctid = conceptReference = conceptid = term | String | String |
numericalValue | Float/integer | Float/integer |
Plus | objectIntersectionOf | ⊓ |
definitionStatus (<<<, ===) | subClassOf, equivalentClasses | ⊑, ≡ |
focusConcept | Class | C |
refinement | some, objectIntersectionOf | ∃, ⊓ |
attributeGroup | objectIntersectionOf | ⊓ |
attributeSet | objectIntersectionOf | ⊓ |
attributeValue | Data property, object property | Roles |
expressionValue | objectIntersectionOf | ⊓ |