From: Graphical representation of quality indicators based on medical service ontology
Predicates in the definition of ontologies in this paper | Representations of predicates in SE | |
---|---|---|
“D is a subclass of C” | C≦D | C ← subclass-of-D |
“A property P has a concept C as its domain.” | C ∈ src(P) | C ← domain-P |
“A property P has a concept C as its range” | C ∈ tagt(P) | C ← range-P |