Skip to main content

Table 1 Predicates in the definition of ontologies and representations of predicates in SE

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 CD 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