Graphical representation of quality indicators based on medical service ontology
 Osamu Takaki^{1}Email author,
 Izumi Takeuti^{2},
 Koichi Takahashi^{2},
 Noriaki Izumi^{2},
 Koichiro Murata^{3},
 Mitsuru Ikeda^{1} and
 Koiti Hasida^{2}
DOI: 10.1186/219318012274
© Takaki et al.; licensee Springer. 2013
Received: 12 November 2012
Accepted: 17 May 2013
Published: 23 June 2013
Abstract
For recent years, it has grown importance to evaluate medical service qualities of medical staffs and/or hospitals by using quality indicators. This paper introduces a representation system QIRS of quality indicators. By using QIRS, one can define quality indicators that satisfy understandability and formality, where “understandability” means that one can understand the calculation formula of a quality indicator easily and correctly, while “formality” means that the formula can be calculated to obtain the values of the indicator based on databases in a coherent manner.
Keywords
Quality indicator Medical service Quality assessment Ontology Graph representationIntroduction
Quality indicators are measures of medical service quality that are represented by numerical values. A quality indicator consists of a name (or a label) and a calculating formula. For example, “fracture rate among inpatients aged 75 or older” is the name of a quality indicator, and its calculating formula is given as follows.
Calculating Formula (CF1) (Nihon Hospital Organization 2009). The data of the quality indicator above is obtained by calculating the proportion of the following values.

Numerator. the number of inpatients that satisfy the condition defined in the denominator and that broke their bones in a hospital and received treatment for the fractures.

Denominator. the number of patients that were hospitalized for three days or more, and aged 75 or older when they were admitted into the hospital.
The value that is obtained from a quality indicator by using the calculating formula and data in a hospital (or hospitals) is called “the value of a quality indicator (in a hospital (or hospitals))” or “the data of a quality indicator (in a hospital (or hospitals))”.
It is important to evaluate medical service qualities of medical staffs and/or hospitals by using quality indicators (Donabedian 1980; Ito 2003; Mainz 2003). Moreover, there are some groups of hospitals that compare their service quality by using their quality indicators (Hata et al. 2009; Mainz et al. 2004; OECD 2006).
However, to compare medical service quality by using quality indicators, one has to define quality indicators that satisfy that others can understand the contents of the indicators, where “to define a quality indicator” means “to explicitly describe a calculating formula of a quality indicator”. For example, to understand the calculating formula CF1 correctly, one has to make clear at least the following two points:

What data should be a fact that an inpatient broke his/her bone checked by?

What is the definition of “treatment of bone fracture”?
To this end, it is significant to establish a way to unify a vocabulary of quality indicators and their interpretation including their whole structures. In such a case, natural language is not suitable for defining quality indicators with ensuring unambiguity and reasonability of their definitions. Moreover, to calculate the results of the quality indicators from databases in hospitals, one has to calculate the results in a coherent manner. Thus, quality indicators should be defined to be machine readable.
This paper introduces a representation system QIRS of quality indicators. By using QIRS, one can define quality indicators that satisfy understandability and formality, where “understandability” means that one can understand the calculation formula of a quality indicator easily and correctly, while “formality” means that the formula can be calculated to obtain the result of the indicator from databases in a coherent manner. QIRS consists of the three main components: (i) Medical Service Ontology (MSO), (ii) object graphs, and (iii) quantifying concepts. MSO is defined as a vocabulary of quality indicators. An object graph is a graph whose nodes and edges are labeled by concepts or values and properties in MSO. While an object graph denotes a target of quantification, a quantifying concept denotes a way to quantify a concept that is denoted by an object graph.
In the previous papers (Takaki et al. 2012a; Takaki et al. 2012b), the authors introduced MSO, object graphs and quantifying concepts. However, they have not yet made clear how to construct them to define quality indicators and basic theory by which MSO is defined definitely. Moreover, since object graphs were defned by inductive definition on the structures of graphs in (Takaki et al. 2012a; Takaki et al. 2012b), the definition of object graphs was complicated and it often prevented one from developing quality indicators in a simple manner. Thus, this paper introduces basic theory of objet graphs, and definition of quality indicator graphs consisting of object graphs and quantifying concepts. By virtue of the basic theory of object graphs, it is simpler to develop quality indicators by using small subgraph (the method is called “incremental construction of quality indicators“).
In the last half of this paper, to evaluate expressiveness of QIRS, the authors redefine existing quality indicators in (Fukui 2009; Nihon Hospital Organization 2009; OECD 2006) by using QIRS. This paper also explains how to define a complex quality indicator with QIRS, by using an existing quality indicator in (Nihon Hospital Organization 2009).
The remainder of this paper is organized as follows. Section 2 briefly explains an overview of a framework to develop quality indicators and to calculate their values based on medical databases. Section 3 explains the outline of QIRS. Section 4 explains graphbased syntax of quality indicators in QIRS. Section 5 explains MSO. Section 6 explains quantifying concepts that are used in quality indicators in QIRS. Section 7 explains graphbased representation of quality indicators. Section 8 shows an evaluation of expressiveness of QIRS via redefining of existing quality indicators in QIRS. The last two sections are related works and conclusions, respectively.
QIframework
Developers of quality indicators, such as medical staffs, patients and researchers, use QIRS to develop quality indicators. QIRS is a graphbased representation system which includes MSO as its vocabulary. MSO are developed and improved in collaborative works that are achieved by medical staffs, system engineers and knowledge engineers. Here, system engineers are staffs in hospitals that employ QIFW who well know data models on medical databases. Compositions of MSO will be discussed in Section 5.
As a tool that technically assists developing and improving MSO, Semantic Editor (SE) (Hasida 2012) is employed. SE is an environment for developments of RDFSbased ontologies. When one defines a concept or a property in an ontology by using SE, it is defined based on a basic class of RDFS (Resource Description Framework Schema) (W3C 2004). Several main properties in SE such as subclass property will be briefly explained in Section 4.2.
Concepts and properties in MSO are automatically translated to entities or terms in entities in Global Data Model (GDM), that is a virtual data model, under certain rules. According to the translation, a quality indicator Q in QIRS is translated to a data (Q _{ 1 },…, Q _{ n }, A) consisting of queries Q _{ 1 }, …, Q _{ n } on GDM and an algorithm A on the data obtained from Q _{ 1 }, …, Q _{ n }. On the other hand, system engineers who well know a medical database develop and improve a mapping system between GDM and the data model of the database. Through the mapping system, the data (Q _{ 1 },…, Q _{ n }, A) above is translated to data consisting (Q _{ 1 } ^{*},…, Q _{ n } ^{*}, A ^{*}) of queries on the data model and algorithms on the data obtained from the queries. By the data (Q _{ 1 } ^{*},…, Q _{ n } ^{*}, A ^{*}), a user can automatically obtain the values of Q in the medical databases.
When a user of QIFW develops a quality indicator by using QIRS, he/she employs MSO as a vocabulary, where the vocabulary includes not only words but also relations of words. On the other hand, system engineers determine how to translate concepts and properties of MSO by developing a mapping system between GDM and the data model of their database. Thus, the interpretation of the vocabulary to develop quality indicators is made clear, and the interpretation can be easily identified by users of QIFW.
The authors interviewed system engineers in a university hospital who managed medical databases, developed quality indicators and calculate their values based on the medical databases about how to develop quality indicators and how to calculate their values. Then, the authors found that there was a single word that had multiple meanings while there are multiple words that shared a single meaning among different hospitals or difference medical databases. Uses of QIWF can share quality indicators by using mapping systems that make each word have a single meaning for the users even if the uses use difference medical databases in different hospitals. Moreover, a user of QIFW can uniquely define a special word such as “hospital stays of aged patients” and register the special word in QIRS. Then, other uses can reuse the special word while checking the definition of the word easily (see also Section 8.1).
Outline of QIRS
 1.
The set of hospital stays of patients aged 75 or over in which they broke their bones and received treatments of bone fractures.
 2.
The rate of the number of the hospital stays above over that of hospital stays of patients aged 75 or over.
The components above indicate that CF1 is determined by defining what the rate is or how the rate should be calculated as well as what the target of calculation is. Thus, the target of the calculation or the quantification is represented as a graph called an object graph, while the way to calculate or quantify object graphs is represented by a concept called a quantifying concept. Moreover, object graphs are constructed based on Medical Service Ontology (MSO).
In the following sections, a fundamental theory of QIRS is introduced, where ontologies, ontologylabeled graphs and object graphs, which are special ontologylabeled graphs, are defined. Then, MSO (Section 5), quantifying concepts (Section 6) and finally graphbased representations of quality indicators called quality indicator graphs (Section 7) are defined. Quality indicator graphs are combinations of object graphs and quantifying concepts.
Fundamental theory of graphical representation for quality indicators
Graph
 1.
N and E are finite sets.
 2.
src and tagt are functions of E into N.
 1.
An element of N is called a node.
 2.
An element of E is called an edge.
 3.
If src (e) = n and tagt(e) = n’, then it is said that e is an edge from n to n’ and described by e: n → n’.
Definition (Path) A graph G = (N, E, src, tagt) is given. A sequent of edges (e 1, e 2, …, em) is a path from n ∈ N to n’ ∈ N in G if there are nodes n = n _{0}, n _{1}, …, n _{ m } = n’ which satisfies the following property:

For each e _{ i } ∈ {e _{1}, e _{2}, …, e _{ m }}, either e _{ i }: n _{ i1} → n _{ i } or e _{ i }: n _{ i } → n _{ i1}.
The empty sequence is also a path. Thus, for each n ∈ N, the empty sequence is a path from n to n.
Definition (Terminology on Paths) A path p = (e 1, e 2, …, em) passes through a node n ∈ N if either src(ei) = n or tagt(ei) = n for some ei ∈ {e 1, e 2, …, em}.
Definition (Connectivity) For a graph G = (N, E, src, tagt), two nodes n, n’ ∈ N are connected in G if there exists a path from n to n’. A graph G is connected if any two nodes are connected in G.
 1.
N ⊂ N _{0}, E ⊂ E 0.
 2.
For e ∈ E, both src(e) ∈ N and tagt(e) ∈ N hold.
Remarks on Subgraphs A graph G = (N _{0}, E _{0}, src, tagt) is given. If (N, E) is a subgraph of G, then (N, E, srcE, tagtE) is a graph, where srcE and tagtE are restrictions of src and tagt over E, respectively. A graph (N, E, srcE, tagtE) is often abbreviated to (N, E), and srcE and tagtE to src and tagt, respectively.
Ontology and ontologylabeled graph
 1.
Conc, Prop and Attr are finite sets such that Attr ⊂ Prop.
 2.
Val is a set.
 3.
≦ is a partial order over Conc∪Val such that each element in Val is maximal w.r.t. ≦.
 4.
src and tagt are functions of Prop into the power set of Conc∪Val.
 5.
For an element P of Prop, the return values src(P) and tagt(P) are upward closed w.r.t. ≦, that is, the following properties hold:

For each N, N’ ∈ Conc∪Val and each P ∈ Prop, if N ∈ src(P) and N≦N’, then N’ ∈ src(P).

For each N, N’ ∈ Conc∪Val and each P ∈ Prop, if N ∈ tagt(P) and N≦N’, then N’ ∈ tagt(P).
 1.
An element of Conc is called a concept name or simply a concept.
 2.
The notation NL _{ O } denotes the set Conc∪Val. NL _{ O } is sometimes abbreviated to NL.
 3.
An element of NL is called a node label.
 4.
An element of Val is called a value.
 5.
An element of Prop is called a property name or simply a property.
 6.
An element of Attr is called an attribute name or simply an attribute.
 7.
For C ∈ Conc and A ∈ Attr, if C ∈ src(A), then it is said that C has an attribute A and that A is an attribute of C.
 8.
The notation attr _{ O } (C) denotes the set {A ∈ Attr C ∈ src(A)}. attr _{ O }(C) is sometimes abbreviated to attr(C).
Example of an Ontology (Simple Medical Service Ontology). As a small example of an ontology, Simple Medical Service Ontology (SMSO) is defined, as follows.
 1.
Conc:={[human], [patient], [medical service], [diagnosis], [operation], [abdominal operation], [disease], [date]}.
 2.
Val:={[stomach cancer], [bowel cancer], [lung cancer], [1950/11/10], [1975/5/8], [2012/10/25], [2012/10/30], [2012/12/3]}.
 3.
Prop:={[to who], [after], [before], [birth date], [when], [result]}.
 4.
Attr:={[birth date], [when], [result]}.
 5.
SMSO has a special partial function typ of Conc into the power set of Val, which is defined as follows:

typ([disease]):={[stomach cancer], [bowel cancer], [lung cancer]}.

typ([date]):={[1950/11/10], [1975/5/8], [2012/10/25], [2012/10/30], [2012/12/3]}.

For any other concept name, the value of typ is not defined.
 6.
An partial order ≤ is defined, as follows:

For each C, C’∈Conc, C ≤ C’ iff there exists an edge from C’ to C that is labeled by “subClassOf” in Figure 2.

For each C ∈ Conc and v ∈Val, C ≤ v iff there exists C’ such that v ∈ typ(C’) and C ≤ C’.

For each v, v’ ∈Val, v ≤ v’ iff v = v’.
 7.For each property R in SMSO, src(R) and tagt(R) are indicated by the labeled edges “domain” and “range” in Figure 2, respectively. For example, the values of src and tagt at the property name [to who] are defined respectively, as follows:$\begin{array}{ll}\hfill \mathit{sr}\mathrm{c}\left(\left[\mathrm{to}\phantom{\rule{0.25em}{0ex}}\mathrm{who}\right]\right):=& \{\left[\mathrm{medical}\phantom{\rule{0.25em}{0ex}}\mathrm{service}\right],\left[\mathrm{diagnosis}\right],\\ \left[\mathrm{operation}\right],\left[\mathrm{abdominal}\phantom{\rule{0.25em}{0ex}}\mathrm{operation}\right]\}\phantom{\rule{0.25em}{0ex}}\mathrm{and}\end{array}$$\mathit{tagt}\left(\left[\mathrm{to}\phantom{\rule{0.25em}{0ex}}\mathrm{who}\right]\right):=\left\{\left[\mathrm{patient}\right]\right\}.$
Predicates in the definition of ontologies and representations of predicates in SE
Predicates in the definition of ontologies in this paper  Representations of predicates in SE  

“D is a subclass of C”  C≦D  C ← subclassofD 
“A property P has a concept C as its domain.”  C ∈ src(P)  C ← domainP 
“A property P has a concept C as its range”  C ∈ tagt(P)  C ← rangeP 
The following figure depicts SMSO that is developed in SE.
In Figure 2, yellow (highlycolored) rotundate rectangles describe concepts in SMSO, while pink (softlycolored) rotundate rectangles describe properties in SMSO. Moreover, arrows with label “subClassOf” describe the partial order ≦ of SMSO. For example, the arrow with label “subClassOf” between the concept with label “patient” and another concept with label “human” shows that [human]≦[patient].
Furthermore, the set of arrows with label “domain” in Figure 2 defines src of SMSO, while another set of arrows with label “range” in Figure 2 defines tagt of SMSO. For example, the arrow with label “domain” between properties described by the rotundate rectangle with label “birth date” and another rotundate rectangle with label “human” shows that [human] ∈ src([birth date]). Therefore, since [human]≦[patient], it also holds that [patient] ∈ src([birth date]) by the property 5 in the definition of ontologies. Moreover, since Figure 2 has no concept C except [human] and [patient] that satisfies [human]≦C, it also holds that src([birth date]) = {[human], [patient]}. Similarly, one can obtain tagt([birth date]) = {[date]}.
Rectangles in the last two lines in Figure 2 describe values of SMSO. For example, rectangles with labels “stomach cancer”, “bowel cancer” and “lung cancer” describe values of [disease] by typ, respectively, which is not explicit in Figure 2.
Definition (OntologyLabeled Graph) A quintuple (N, E, src, tagt, L) is a graph labeled by an ontology (Conc, Val, Prop, Attr, src, tagt, ≦) iff the following properties hold:
 1.
(N, E, src, tagt) is a graph.
 2.L is a function of N∪E into NL∪Prop∪{OR, NOT} such that$L\left(n\right)\in \mathit{NL}\mathrm{for}\phantom{\rule{0.25em}{0ex}}\mathrm{each}n\in N,$
and
 3.
For each e ∈ E, if L(e) ∈ Prop , then L(src(e)) ∈ src(L(e)) and L(tagt(e)) ∈ tagt(L(e)).
 4.
For each e ∈ E, if L(e) = NOT, there is no e _{0} other than e such that src(e _{0}) = src(e) or tagt(e _{0}) = src(e).
 5.
For each e ∈ E, if L(e) = OR, then L(tagt(e))≦L(src(e)).
A graph labeled by an ontology O is called an Olabeled graph, or simply a labeled graph.
Nodes, edges, paths, connectivity and subgraphs are defined over an ontology labeled graph G = (N, E, src, tagt, L) as G is regarded as a graph (N, E, src, tagt).
 1.
N _{1} := {n _{0}, n _{1}, n _{2}, n _{3}, n _{4}, n _{5}, n _{6}, n _{7}, n _{8}, n _{9}}.
 2.
E _{1} := {e _{0}, e _{1}, e _{2}, e _{3}, e _{4}, e _{5}, e _{6}, e _{7}, e _{8}, e _{9}}.
 3.
e _{0}:n _{1} → n _{0}, e _{1}:n _{2} → n _{0}, e _{2}:n _{2} → n _{1}, e _{3}:n _{1} → n _{3}, e _{4}:n _{1} → n _{4}.
 4.
L _{1} is defined, as follows]

L _{1}(n _{0}):=[patient], L _{1}(n _{1}):=[diagnosis], L _{1}(n _{2}):=[abdominal operation], L _{1}(n _{3}):=[disease], L _{1}(n _{4}):=[2012/10/25], L _{1}(n _{5}):=[date], L _{1}(n _{6}):=[stomach cancer], L _{1}(n _{7}):=[bowel cancer], L _{1}(n _{8}):=[lung cancer], L _{1}(n _{9}):=[2012/12/3],

L _{1}(e _{0}):=[to who], L _{1}(e _{1}):=[to who], L _{1}(e _{2}):=[after], L _{1}(e _{3}):=[result] and L _{1}(e _{4}):=[when], L _{1}(e _{5}):=[when], L _{1}(e _{6}):= L _{1}(e _{7}):= L _{1}(e _{8}):= [OR], L _{1}(e _{9}):=[NOT].
 1.
An edge e∈E is negative if L(e) = NOT. Otherwise, the edge e ∈ E is positive.
 2.
A node n∈N is negative if n = src(e) for some negative e ∈ E. Otherwise, the node n∈N is positive.
 3.
The labeled graph G is negative if L(e) = NOT for some negative e ∈ E. Otherwise, the labeled graph G is positive.
The notation PE ^{ G } denotes the set of all the positive edges. The notation PN ^{ G } denotes the set of all the positive nodes. PE ^{ G } and PN ^{ G } are abbreviated to PE and PN, respectively.
 1.
An edge e∈E is strict if L(e) ≠ OR.
 2.
A node n∈N is strict if each edge e∈E such that tagt(e) = n is strict.
 3.
The graph G is strict if all the edges are strict.
 1.
n is strict.
 2.
There is a path (e _{1} , e _{2} , …, e _{ m }) with length m≧0 such that

src(e _{1}) = n, tagt(e _{ m }) = n’,

tagt(e _{ i }) = src(e _{ i+1}) for i = 1, 2, …,m 1 and

L(e _{ i }) = OR for each e _{ i }.
Note that n → _{OR*} n for each strict node n ∈ N.
Definition (Disjunctive Embedding) An ontology (Conc, Val, Prop, Attr, src, tagt, ≦) is fixed.
 1.
f is injective.
 2.
For each n ∈ N, f(n) is a strict node and L(n) = L’(f(n)).
 3.
For each e ∈ E, f(e) ∈ E’ and L(e) = L’(f(e)). Thus f(e) is strict.
 4.
For e ∈ E, f(src(e)) → _{OR*} src(f(e)) and f(tagt(e)) → _{OR*} tagt(f(e)).
 5.
For n ∈ N and e’ ∈ E’, if f(n) → _{OR*} src(e’), then there is an e ∈ E such that n = src(e) and e’ = f(e).
 6.
For n ∈ N and e’ ∈ E’, if f(n) → _{OR*} tagt(e’), then there is an e ∈ E such that n = tagt(e) and e’ = f(e).
If there is a disjunctive embedding of G into G’, then G is a disjunct of G’.
Here, an injective function φ: N _{2}∪E _{2} → N _{1}∪E _{1} is defined, as follows.

φ(p _{ i }): = n _{ i } if i ∈ {0, 1, 2, 4, 5},

φ(p _{3}): = n _{6},

φ(p _{6}): = n _{9},

φ(f _{ i }): = e _{ i } if i < 6, and

φ(f _{6}): = e _{9}.
Then, one can easily check that φ is a disjunctive embedding from G _{2} to G _{1}.
 1.
For a concept name C, the set {n ∈ N  C≦L(n)} is called the extension of C.
 2.
For a property name R, the set {(n, n ’) ∈ N × NL(e) = Rand e : n → n ’} is called the extension of R.
 3.
For an node n ∈ N, an attribute name A and a value v ∈ Val, if e: n → n’ and L(n’) = v for some e ∈ E and n’ ∈ N, then it is said that v is the value of A of n.
 1.
L(n)≦L’(f(n)) for each n ∈ PN _{ G }.
 2.
L’(f(e)) = L(e) for each e ∈ PE _{ G }.
 3.
For each e ∈ PE _{ G } and n, n’ ∈ PN _{ G }, if e: n → n’, then f(e): f(n) → f(n’).
 4.
For each negative e ∈ E, there is no C ∈ Conc∪Val such that L(src(e))≦C and L’(f(tagt(e)))≦C.
f: G → G’ denotes that f is a refinement of G into G’.
Here, a refinement ψ: PN _{ G 2}∪PE _{ G 2} → N _{3}∪E _{3} is defined, as follows.
ψ(p _{ i }) := q _{ i } and ψ(f _{ i }): = g _{ i } if i≦5,
ψ(p _{6}): = q _{5} and ψ(f _{6}): = g _{5}.
Then, one can easily check the following claim that ψ is a refinement from G _{2} to G _{3}.
Definition (Data Base) An ontology O = (Conc, Prop, Attr, Val, src, tagt, ≦) is fixed. Then, a labeled graph D = (N, E, L, src, tagt) is a data base of O iff the following property holds.

For each n ∈ N with L(n) ∈ Conc and for each A ∈ attr (L(n)), there is a unique v ∈ Val such that$\exists e\in E,n\u2019\in N.L\left(e\right)=A\&L\left(n\u2019\right)=v.$
For a data base D = (N, E, L, src, tagt), an n ∈ N with L(n) ∈ Conc, and for an A ∈ attr (L(n)), the notation A ^{ D }(n) denotes the unique v ∈ Val such that ∃e ∈ E, n’ ∈ N. L(e) = A & L(n’) = v. A ^{ D }(n) is often abbreviated to A(n).
Definition (Instance) An ontology O and a data base D of O are fixed. Let G be a labeled graph, and f a refinement of G into D. Then, the image of f is called an instance of G in D.
Object graph
Notations on Labeled Graphs For a labeled graph G = (N, E, L, src, tagt), N _{ G }, E _{ G }, L _{ G }, src _{ G } and tagt _{ G } denote N, E, L, src and tagt, respectively.
Definition (Object Graph) A pair (r, G) is an object graph of an ontology O iff G is a connected Olabeled graph and r ∈ N _{ G }. The component r of (r, G) is called the root node or the root.
Definition (Subgraph of Object Graph) For an object graph (r, G) and a subgraph G* with r ∈ N _{ G* }, (r, G*) is called a subgraph of (r, G).
Definition (Strict Object Graph) An object graph (r, G) is strict if G is strict.
Definition (Disjunctive Embedding) An object graph X = (r, G) and a strict object Y = (r’, G’) are given.
A function f: N _{ G’ }∪E _{ G’ } → N _{ G }∪E _{ G } is a disjunctive embedding f: Y → X if f is a disjunctive embedding f: G’ → G and f(r’) = r. If there is a disjunctive embedding f: Y → X, then Y is called a disjunct of X.
Definition (Instantiation) An object graph X = (r, G) and a database D are given. A pair (φ, ψ) is called an instantiation of X into D if there is a strict object graph Y = (r’, G’) such that the following properties hold:

φ is a disjunctive embedding of Y into X.

ψ is a refinement of Y into D.
Let D be a database of O and φ a morphism of G into D. Then φ(r) ∈ ND is called the instance of (r, G) in D by φ. The set {(φ^{1}(r))  (φ, ψ) is an instantiation of (r, G) into D} is called the extension of (r, G) in D.
Semantics of object graphs
 1.
α_{ O } assigns to each C ∈ Conc a set S _{ C }.
 2.
α_{ O } assigns to each v ∈ Val the singleton set {v}.
 3.
α_{ O } assigns to each P ∈ Prop a relation R _{ P } ⊂ (∪_{ x∈ src(P)} α _{ O }(x)) × (∪_{ y∈ tagt(P)} α _{ O }(y)).
 4.
For each X, Y ∈ Conc ∪ Val, if X≦Y then α_{ O }(X) ⊃ α_{ O }(Y).
 1.If G is strict and G has no negative edge, then$\begin{array}{ll}\hfill \left[\left[\left(r,G\right)\right]\right]:=& \{{x}_{0}\in {\alpha}_{O}\left(L\left(r\right)\right)\exists {x}_{1}\in {\alpha}_{O}\left(L\left({X}_{1}\right)\right),\dots ,{x}_{n}\in {\alpha}_{O}\left(L\left({X}_{n}\right)\right).\\ \forall i,j\leqq n,\forall e:{X}_{i}\to {X}_{j}.\left({x}_{i},{x}_{j}\right)\in {\alpha}_{O}\left(L\left(e\right)\right)\},\end{array}$
 2.
Otherwise, [[(r, G)]] := ∪ {[[(ψ(φ ^{− 1}(r)), ψ(φ ^{− 1}(G)))]](φ, ψ) is an instantiation of (r, G) into D }.
Notation of Objective Graphs An object graph (r, G) is often abbreviated to G, and (r, G) is often denoted by (N, E, L, src, tagt, r) instead of (r, (N, E, L, src, tagt)). the interpretation of (r, G) is denoted by just [[G]].
Medical service ontology
This section defines Medical Service Ontology (MSO). MSO provides vocabulary words for defining quality indicators. MSO is developed by an ontology developing tool called “Semantic Editor” (Hasida 2013).
In the following subsections, main concepts and their attributes are defined, and then main properties other than attributes are defined.
Outline of MSO concept names and their attributes
 1.
Patients and their states,
 2.
Medical services in hospitals to such patients, and
 3.
Outcomes of such medical services.
In many cases, an outcome is represented as an event that happens in a hospital (see Section 2.2 below). For example, death of a patient as an outcome of a surgery is represented by an event of a death discharge of a hospital. Therefore, concepts related to patients, states of patients and events in hospitals are regarded as main concepts in MSO. In the rest of this subsection, the main concepts are explained.
Patients
Basic concepts related to patients and their attributes are defined, as follows.
In defining quality indicators, it is often useful to classify patients from the viewpoint of assessment of medical service quality. The following diagram classifies patients by the aspects of states of pregnancy and childbirth, a grown process, a degree of psychosomatic disorder, and positions as hospital staffs.
Events
A longterm event usually takes multiple days. For example, a hospital stay (a hospitalization) is a longterm event. Basically, a longterm event is executed by a medical staff or a hospital for a patient. On the hand, a shortterm event does not basically take more than two days. For example, “admission”, “discharge”, “diagnosis”, “examination” are “operation (surgery)” are typical scheduled shortterm events, while “death”, “falling” and “bone fracture” are typical unscheduled shortterm events. In MSO, usual medical services are regarded as scheduled events, while accidents such as deaths are regarded as unscheduled events. Each typical event is furthermore classified into detailed classes. For example, examination events are classified into about thirty types of examinations.
Each longterm event has attributes the subject (target patient), purposes, the starting date and the ending date, while each shortterm event has the subject, occurring time point (cf. Figure 10). Though scheduled and unscheduled events have their own attributes, the explanations are omitted due to limitation of space.
States of patients
Main relations in MSO
A property in MSO that is not an attribute is called a relation. The primary relations between concepts are defined, as follows.
These relations describe relationships between events and the patients as subjects of the events. The explanation of the relations between patients and other events are omitted due to limitation of space.
These relations are defined to describe relationships between patients, types of diseases, degrees of the diseases, and the durations. Therefore, all concepts of patients’ states have the attributes of starting time points and terminating time points to make clear the durations of the states. The explanation of the relations between patients and other states are omitted due to limitation of space.
Here, “<p>” denotes a parameter. For example, the relation 〈before more than <2 weeks>〉 consists of a pair < op_{ 1 }, op_{ 2 } > if op_{ 1 } and op_{ 2 } are performed and if op_{ 1 } is performed more than two weeks before op_{ 2 }.
The relation contains a pair (op, sty) of an event of an operation op and that of a hospital stay sty if op is performed in the duration of sty.
In the following sections, only MSO is considered as an ontology and fix an assignment α of MSO and a data base D of MSO. Thus, in what follows, α and D are omitted from interpretations of MSOlabeled object graphs.
Quantifying concepts
A quantifying concept describes a way to quantify the target as a function that has an object graph and optional parameters as input data and that outputs a numerical value. In general, one can classify quantifying concepts into three types. In the following, each type of quantifying concept is introduced. A quantifying concept is denoted by 〈name of a quantifying concept〉. Note that a concept is usually identified with its extension and that the extension is assumed to be finite.
Total numbers
For a finite set S, the summation of numbers obtained from elements of S is called the total number of S. For example, if each element is assigned to 1 as the existence of the element, then the total number is the same as the cardinality of S, that is, the number of elements of S. The quantifying concept ⋘cardinality⋙ is regarded as a function that has an object graph $\mathbb{G}$ as input data and that outputs the cardinality of $\left[\left[\mathbb{G}\right]\right]$.
For a concept S and attributes A _{ 1 },…, A _{ n } of S, a realvalued function on the product set of (extensions of) A _{ 1 },…, A _{ n } is called an attribute quantifying function. Moreover, for a concept S, attributes A _{ 1 },…, A _{ n } of S, and an attribute quantifying function f of A _{ 1 },…, A _{ n }, the summation Σ _{s∈S} f(s.A _{ 1 },…, s.A _{ n }) is called the total attribute number of S with respect to A _{ 1 },…, A _{ n } and f, where s.A _{ i } denotes the value of an instance s with respect to A _{ i }.
 1.
an object graph $\mathbb{G}$,
 2.
attributes A _{ 1 } ,…, A _{ n } of (the label of) the root node $r{t}_{\mathbb{G}}$ of $\mathbb{G}$, and
 3.
an attribute quantifying function f of A _{ 1 } ,…, A _{ n }.
Moreover, ⋘total attribute number ⋙ outputs the total attribute number of $\left[\left[\mathbb{G}\right]\right]$ with respect to A _{ 1 },…, A _{ n } and f.
Rate
For a finite set S and a subset S* of S, the rate of the total number of S* among the total numbers of S obtained in the same way as that to calculate the total number of S* is called a rate of S* among S. In particular, the rate of the cardinality of S* among that of S is called the cardinality rate of S* among S. Moreover, the rate of the total attribute number of S* with respect to A _{ 1 } ,…, A _{ n } and f among that of S with respect to the same attributes and the same attribute quantifying function is called the total attribute number rate.
 1.
An object graph $\mathbb{G}$, and
 2.
A subgraph $\mathbb{G}*$ of $\mathbb{G}$.
 1.
an object graph $\mathbb{G}$,
 2.
a subgraph $\mathbb{G}*$ of $\mathbb{G}$,
 3.
attributes A _{ 1 } ,…, A _{ n } of $r{t}_{\mathbb{G}}$, and
 4.
an attribute quantifying function f of A _{ 1 } ,…, A _{ n }.
Moreover, ⋘total attribute number rate⋙ outputs the rate of the total attribute number of $\left[\left[\mathbb{G}\right]\right]$ with respect to A _{ 1 } ,…, A _{ n } and f among that of $\left[\left[\mathbb{G}\ast \right]\right]$ with respect to the same attributes and the same attribute quantifying function.
Average
For concept S, attributes A _{ 1 } ,…, A _{ n } of S, and attribute quantifying function f, the ratio of the total attribute number of S with respect to A _{ 1 } ,…, A _{ n } and f and the cardinality of S is called the average of the value of S with respect to A _{ 1 } ,…, A _{ n } of f. The quantifying concept ⋘average⋙ is regarded as a function that has the same input data as that of ⋘total attribute number⋙ and that outputs the average of the value of S with respect to A _{ 1 } ,…, A _{ n } of f.
Ontology of quantifying concepts
Quantifying concepts that are explained in the previous subsections are organized, as follows.
The graphs above show classifications and main attributes of quantifying concepts from the three viewpoints. The first graph classifies quantifying concepts according to the definitions in Sections 6.1, 6.2 and 6.3. The second graph classifies quantifying concepts into those having a single object graph and those having two object graphs. Finally the third graph classifies quality indicators into those having only (an) object graph(s) and those having (an) object graph(s) plus attribute of the root concept and an attribute quantifying function. The latter quantifying concepts are called attributebased quantifying concepts (abqc).
Quality indicators in QIRS
Quality indicator graph
In this section, a graphbased representation of a quality indicator is defined. It is called a quality indicator graph. A quality indicator graph consists of one or two MSOlabeled object graphs and a quantifying concept.
Definition of quality indicator graphs needs to extend attributes of a concept name in an ontology. Roughly speaking, an extended attribute of a concept name C is an attribute of some concept name that has a relation with C. For example, if an event “operation” has a relation “isaneventwithin” with another event “hospital stay”, one can consider an extended attribute “operationexecuteddate” of the “hospital stay” that is actually an attribute of “operation”. By using such an extended attribute, one can define a special quality indicator such as “an average of the lengths of hospital stays after their operations”.
Definition (Extended Attribute) For an object graph $\mathbb{G}=\left(N,E,L,\mathit{src},\mathit{tagt},\mathit{rt}\right)$, if there exists a strict subgraph S of G such that PN S contains the root node rt of $\mathbb{G}$, then, an attribute of a concept node in PN ^{ S } is called an extended attribute of L(rt) over $\mathbb{G}$.
Definition (Quality Indicator Graph) Let Q be a quantifying concept, $\mathbb{G}=\left({N}_{\mathbb{G}},{E}_{\mathbb{G}},{L}_{\mathbb{G}},\mathit{sr}{c}_{\mathbb{G}},\mathit{tag}{t}_{\mathbb{G}},r{t}_{\mathbb{G}}\right)$ an object graph, A _{ 1 },…, A _{ n } (n≧0) extended attributes of ${L}_{\mathbb{G}}\left(r{t}_{\mathbb{G}}\right)$ in $\mathbb{G}$, and φ an attribute quantifying function of A _{ 1 },…, A _{ n }. Then, a labeled graph $\mathbb{Q}=\left({N}_{\mathbb{Q}},{E}_{\mathbb{Q}},{L}_{\mathbb{Q}},\mathit{sr}{c}_{\mathbb{Q}},\mathit{tag}{t}_{\mathbb{Q}},r{t}_{\mathbb{Q}}\right)$ is defined based on Q, $\mathbb{G}$, A _{ 1 },…, A _{ n } and φ, according to the following cases.
 (i).${N}_{\mathbb{Q}}:=\left\{{*}_{0},\dots ,{*}_{n+m}\right\}\cup {N}_{\mathbb{G}}$,^{a} where
 (ii)
m = 0 if n = 0, and
 (iii)
m = 1 otherwise.
 (ii)
 (ii).
$r{t}_{\mathbb{Q}}:={*}_{0}.$
 (iii).${E}_{\mathbb{Q}}:=\left\{{f}_{0},\dots ,{f}_{n+m}\right\}\cup \left\{{g}_{1},\dots ,{g}_{n}\right\}\cup {E}_{\mathbb{G}}$, where
 (iiii)
${f}_{0}:{*}_{0}\to {R}_{\mathbb{G}},$
 (iiiii)
f _{ i }: *_{0} → *_{ i }. (i = 1,…, n) and
 (iiiiii)
f _{ n+m }: *_{0} → *_{ n+m } if m = 1.
 (iiiiii)
${g}_{i}:{R}_{\mathbb{G}}\to {*}_{i}.\left(i=1,\dots ,n\right)$.
 (iiii)
 (iv).The label function ${L}_{\mathbb{Q}}$ is defined, as follows.
 (ivi)
${L}_{\mathbb{Q}}\left({*}_{0}\right)=Q$.
 (ivii)
${L}_{\mathbb{Q}}\left({*}_{i}\right)$ = the range concept of A _{ i } (i = 1,…, n)
 (iviii)
${L}_{\mathbb{Q}}\left({*}_{n+m}\right)=\phi .$
 (iviv)
${L}_{\mathbb{Q}}\left({f}_{0}\right)=\mathrm{the}\phantom{\rule{0.25em}{0ex}}\mathrm{attribute}\u201c\mathrm{objectiveOf}\u201d\mathrm{of}\phantom{\rule{0.5em}{0ex}}Q$ (See the second graph in Figure 12.)
 (ivv)
${L}_{\mathbb{Q}}\left({f}_{i}\right)=\mathrm{the}\phantom{\rule{0.25em}{0ex}}\mathrm{attribute}\u201ci\mathrm{th}\phantom{\rule{0.25em}{0ex}}\mathrm{objective}\phantom{\rule{0.25em}{0ex}}\mathrm{attribute}\u201d\mathrm{of}\phantom{\rule{0.5em}{0ex}}Q\phantom{\rule{0.5em}{0ex}}\left(i=1,\dots ,n\right).$ (See the third graph in Figure 12.)
 (ivvi)
${L}_{\mathbb{Q}}\left({f}_{n+m}\right)=\mathrm{the}\phantom{\rule{0.25em}{0ex}}\mathrm{attribute}\u201c\mathrm{attribute}\phantom{\rule{0.25em}{0ex}}\mathrm{quantifying}\phantom{\rule{0.25em}{0ex}}\mathrm{function}\u201d\mathrm{of}\phantom{\rule{0.5em}{0ex}}Q$. (See the third graph in Figure 12.)
 (ivvii)
${L}_{\mathbb{Q}}\left({g}_{i}\right)={A}_{i}\left(i=1,\dots ,n\right).$
 (ivviii)
${L}_{\mathbb{Q}}\left(x\right)={L}_{\mathbb{G}}\left(x\right)$ if x is a node or an edge of $\mathbb{G}$.
 (ivi)
 (i).${N}_{\mathbb{Q}}:=\left\{{*}_{0},\dots ,{*}_{n+m}\right\}\cup {N}_{\mathbb{G}}\cup {N}_{\mathbb{G}*}$, where
 (ii)
m = 0 if n = 0, and
 (iii)
m = 1 otherwise.
 (ii)
 (ii).
$r{t}_{\mathbb{Q}}:={*}_{0}$.
 (iii).${E}_{\mathbb{Q}}:=\left\{{f}_{0},\dots ,{f}_{n+m+1}\right\}\cup \left\{{g}_{1},\dots ,{g}_{n}\right\}\cup {E}_{\mathbb{G}}\cup {E}_{\mathbb{G}*}$, where
 (iiii)
${f}_{0}:{*}_{0}\to r{t}_{\mathbb{G}}$,
 (iiiii)
${f}_{1}:{*}_{0}\to r{t}_{\mathbb{G}*}$,
 (iiiiii)
f _{ i }: *_{0} → *_{ i }. (i = 2,…, n + 1) and
 (iiiiv)
f _{ n+m+1 }: *_{0} → *_{ n+m+1 } if m = 1.
 (iiiv)
${g}_{i}:r{t}_{\mathbb{G}}\to {*}_{i}$. (i = 1,…, n).
 (iiii)
 (iv).The label function L _{ℚ} is defined, as follows:
 (ivi)
${L}_{\mathbb{Q}}\left({*}_{0}\right)=Q$.
 (ivii)
${L}_{\mathbb{Q}}\left({*}_{i}\right)$ = the range concept of A _{ i } (i = 1,…, n)
 (iviii)
${L}_{\mathbb{Q}}\left({*}_{n+m}\right)=\phi $.
 (iviv)
${L}_{\mathbb{Q}}\left({f}_{0}\right)$ = the attribute “numeratorObjectiveOf” of Q. (See the second graph in Figure 12.)
 (ivv)
${L}_{\mathbb{Q}}\left({f}_{1}\right)$ = the attribute “denominatorObjectiveOf” of Q. (See the second graph in Figure 12.)
 (ivvi)
${L}_{\mathbb{Q}}\left({f}_{i}\right)$ = the attribute “ith objective attribute” of Q (i = 2,…, n + 1). (See the fourth graph in Figure 12.)
 (ivvii)
${L}_{\mathbb{Q}}\left({f}_{n}{}_{+m+1}\right)$ = the attribute “attribute quantifying function” of Q. (See the fourth graph in Figure 12.)
 (ivviii)
${L}_{\mathbb{Q}}\left({g}_{i}\right)={A}_{i}\left(i=1,\dots ,n\right)$.
 (ivix)
${L}_{\mathbb{Q}}\left(x\right)=L\left(\mathbb{G}\right)\left(x\right)$ if x is a node or an edge of $\mathbb{G}$.
 (ivi)
Case C. If Q is the average, $\mathbb{G}$ is defined in the same way as that of Case A.
$\mathbb{Q}$ in Definition 7 is called a quality indicator graph, and $\mathbb{G}$ the main object graph of $\mathbb{Q}$.
Examples of quality indicator graphs
Two examples of quality indicator graphs are shown in this subsection.
Example of Quality Indicator Graph (2) Another quality indicator graph “Average postoperative length of hospital stay for stomach cancer” is developed based on the quantifying concept ⋘average⋙. The calculation formula CF2 is the average length of hospital stays after the operations of gastrectomy, partial gastrectomy or laparoscopic assisted distal gastrectomy (LADG), where the patients admit on the grounds of stomach cancers. CF2 is represented to be a quality indicator graph $\mathbb{Q}$, as follows.
Semantics of quality indicator graphs
Definition (Instance and Extended Value) Recall that an assignment α of MSO and a data base D of MSO have been fixed. Thus, for any concept C in MSO, the set α(C) is assigned. An element of α(C) is called an instance of C. For an object graph $\mathbb{G}$, a concept name C on $\mathbb{G}$, an extended attribute A of C over $\mathbb{G}$, and for an instance c of C, the extended value c.A of c with respect to A over $\mathbb{G}$ is the value of c by the composition α(P _{1})⋯α(P _{n}) of functions α(P _{1}),…, α(P _{ n }), where {P _{1},…, P _{ n }} is a path from C to tagt(A) over $\mathbb{G}$ that includes A.
Definition (Interpretation of Quality Indicator Graphs) For a quality indicator graph $\mathbb{Q}$, an interpretation $\left[\left[\mathbb{Q}\right]\right]$ of $\mathbb{Q}$ is defined, as follows.
Case A1. If the label of $r{t}_{\mathbb{Q}}$ is < cardinality>, then $\left[\mathbb{Q}\right]:=\#\left[\mathbb{G}\right]$, where $\mathbb{G}$ is the object graph indicated by the edge from rt _{ℚ} with label “objectiveOf” and $\#\left[\left[\mathbb{G}\right]\right]$ is the cardinality of $\left[\left[\mathbb{G}\right]\right]$.
 (i).
$S=\left[\left[\mathbb{G}\right]\right]$ and $\mathbb{G}$ is the main object graph,
 (ii).
A _{ i } is the extended attribute of $r{t}_{\mathbb{G}}$ that is indicated by the edge from $r{t}_{\mathbb{Q}}$ with label the “ith objective attribute”,
 (iii).
f is the attribute quantifying function that is indicated by the edge from $r{t}_{\mathbb{Q}}$ with label “attribute quantifying function”, and
 (iv).
s.A _{ i } is the extended value of an element s ∈ S with respect to A _{ i } for i = 1,…,n.
Case B1. If the label of $r{t}_{\mathbb{Q}}$ is a cardinality rate, then $\left[\left[\mathbb{Q}\right]]:\phantom{\rule{0.5em}{0ex}}\#\left[\left[\mathbb{G}\right]\right]/\#[\left[\mathbb{G}*\right]\right]$, where $\mathbb{G}$ and $\mathbb{G}*$ are the object graph and a subgraph of it that are indicated by the edges from $r{t}_{\mathbb{Q}}$ with labels “numeratorObjectiveOf” and “objectiveOf”, respectively.
Case B2. If the label of $r{t}_{\mathbb{Q}}$ is a total attribute number rate, then $\left[\left[\mathbb{Q}\right]\right]:=\left({\Sigma}_{s}{}_{\in S}f\left(s.{A}_{1},\dots ,s.{A}_{n}\right)\right)/\left({\Sigma}_{s}{}_{\in S*}f\left(s.{A}_{1},\dots ,s.{A}_{n}\right)\right)$, where $S=\left[\left[\mathbb{G}\right]\right]\phantom{\rule{0.5em}{0ex}}\mathit{and}\phantom{\rule{0.12em}{0ex}}S*=\left[\left[\mathbb{G}*\right]\right]$, and $\mathbb{G}$ and $\mathbb{G}*$ are the object graphs indicated by the edges with labels “numeratorObjectiveOf” and “objectiveOf”, respectively. Moreover, A _{ 1 },…, A _{ n } , f and s.A _{ 1 },…, s.A _{ n } are obtained from the same way as those of (ii), (iii) and (iv) of Case 2 above, respectively.
Case C. If the label of $r{t}_{\mathbb{Q}}$ is an average, then $\left[\left[\mathbb{Q}\right]\right]:=\left({\Sigma}_{s}{}_{\in S}f\left(s.{A}_{1},\dots ,s.{A}_{n}\right)\right)/\#S$, where S, $\mathbb{G}$, A _{ 1 },…, A _{ n } , f and s.A _{ 1 },…, s.A _{ n } are obtained from the same way as those of (i)(iv) of Case A2.
Evaluation of QIRS
In this section, the authors show expressiveness of QIRS by using existing quality indicators in (Donabedian 1980; Nihon Hospital Organization 2009; OECD 2006) and description patterns of medical services assessment criteria.
Evaluation of QIRS through redefining existing quality indicators
To evaluate expressiveness of QIRS, the authors redeveloped all existing quality indicators in (Nihon Hospital Organization 2009) by using QIRS. (Nihon Hospital Organization 2009) consists of 33 quality indicators. They verified that QIRS could define all quality indicators in (Nihon Hospital Organization 2009) with no artifice. Moreover, they verified that QIRS actually had the ability to define special vocabulary words. To show the points above, the authors redefine the quality indicator CF1 in what follows. Here, CF1 is an existing quality indicator in (Nihon Hospital Organization 2009), which is explained in Section 1.
The first purpose of this subsection is to define a graph that represents “hospital stays of patient aged 75 or over”. According to the definition of CF1 in Section 1, one can develop the graph in a rigorous manner, as follows.
The second small graph ${\mathbb{G}}_{2}$ that describes “treatment for fractures” is defined, as follows.
Note that the phrase “treatment for fractures” appears in CF1 but is not given any definition in CF1. It is not unusual that one can find ambiguities of several phrases only by trying to describe the phrases in a rigorous manner. QIRS helps users find such ambiguities.
where BF, SE and HS are concept occurrences denoted by the nodes with labels ”bone fracture”, ”scheduled event” and ”hospital stay” in ${\mathbb{G}}_{1}$.
Then, Q is ensured to be a quality indicator graph. By using substitution, one can develop a complicated quality indicator graph such as G incrementally. Moreover, the example shows the graphbased representation can address the problem explained in Section 1. And it shows that QIRS realizes a representation of a quality indicator that satisfies both of formality and understandability.
In (Nihon Hospital Organization 2009), there are two quality indicators: “the acceptance rate of super severely retarded children” and “the acceptance rate of shortterm hospitalizations of severely retarded children”. While the former is the ratio of the numbers of some patients, the latter is the ratio of the number of some patients to the number of some beds. Such an approximate calculation is sometimes necessary for convenience of calculation. However, it becomes difficult to fairly compare medical service qualities among hospitals if one often uses such an approximation unconsciously. The method to construct quality indicators based on quantifying concepts prevents one from abusing unnatural ways to construct quality indicators. Moreover, if one can unify the method to construct calculating formulas quality indicators for a given purpose, he/she can assign to suitable names them in a coherent manner.
Evaluation of QIRS based on expression patterns of assessment criteria of medical services
 1.
What types of medical staffs and equipment does the hospital have?
 2.
What types of patients has the hospital treated?
 3.
What treatments has the hospital given to the patients?
 4.
What results has the hospital obtained, after the treatments?
The pattern is called Medical Service Assessment Description Pattern (MSADP).
And they classified existing quality indicators in (Fukui 2009; Nihon Hospital Organization 2009; OECD 2006) according to the description patterns above. Then, the following table was obtained:
Classification of quality indicators according to expression patterns
Pattern 1  Pattern 2  Pattern 3  Pattern 4  Not Pattern  Total  

QIs in [4]  4  2  35  50  20  111 
QIs in [17]  0  3  7  22  1  33 
QIs in [18]  0  1  7  6  3  17 
[4] + [17] + [18]  4  6  49  78  24  161 
Next, the authors checked whether or not one could redefine each quality indicator classified according to MSADP by using QIRS. Then, they obtained the result that one could redefine 134 quality indicators over 137 quality indicators by using QIRS, and hence, QIRS covered about 98% of quality indicators classified according to MSADP. Thus, one can believe that QIRS have high expressiveness from the general viewpoint so that QIRS covers more than 80% of existing quality indicators.
Related works
Research of quality indicators has long history, and one can see a starting point in Nightingale’s work (Nightingale 1859). One can see researches on the ways to define quality indicators in (Collopy 2000; Donabedian 1980; Ito 2003; Mainz 2003; Montalto et al. 1999). Moreover, in recent years, comparison results of quality indicators among multiple hospitals or countries (Mainz et al. 2009; Mainz et al. 2004) and [ORCD]. Though these researches are important for actual definition of quality indicators for comparison of medical service quality, these researches have been done from the viewpoints of epidemiology. On the other hand, this paper focuses on how to describe quality indicators from the viewpoint of knowledge representation, especially, this paper focuses on a representation of quality indicator that satisfies understandability and formality.
Formality and understandability of ontologybased representation for medical services have been researched in (Huser et al. 2010; Mabotuwana & Warren 2009). The authors of (Mabotuwana & Warren 2009) propose a framework to indentify hypertensive patients who satisfy evidencebased criteria for quality improvement potential. They propose three issues for domainmodelling: (i) shareability, (ii) extensibility, and (iii) easy visualization of knowledge base for domainmodelling. On the other hand, the authors of (Huser et al. 2010) establish a query system of electoric health record data based on flowchart that indicates processes to treat patients. The authors propose an tradeoff problem of readability and expressiveness of query representation. The authors of (Huser et al. 2010; Mabotuwana & Warren 2009) focus on how to represent queries correctly and/or easily on the basis of considerably restricting the domain of the querie, and their approaches are not easy to extend for evaluation of general medical service quality. This paper enhances formality and understandability of QIRS by MSO that provides sufficient vocabulary words to define quality indicators and by establishing a general framework of ontologybased graph representation.
For more general medical information, there are a lot of researches for ontologybased information retrieval, or ontologybased information integration (for example, see (Hartel et al. 2005; Kaiser et al. 2007; Serban et al. 2007)). However, to define quality indicators, it is important to provide a sufficient vocabulary not only to represent concepts in medical domain but also to cover description patterns of medical service assessment such as “how a certain medical service was executed?” or “what results were obtained from a medical service?”. This paper provides MSO and object graphs, by which the authors specify description patterns of medical service quality assessment, and quantifying concepts, by which they stipulate how to quantitativelyrepresent medical service quality.
There also have been researches on graphbased knowledge representations (Chein & Mugnier 2009; Sowa 1984; Sowa 2008). The authors mainly have been focusing on the power of expression from the viewpoint of mathematical logic and computations of their representations. On the other hands, this paper focuses on compatibility of formality and understandability of QIRS.
Conclusion
This paper introduces a representation system QIRS of quality indicators, towards development a framework to define quality indicators and calculate their values based on medical databases automatically. QIRS represents a quality indicator as a labeled graph consisting of one or two object graph(s) based on Medical Service Ontology (MSO) and a quantifying concept. An object graph denotes a target of quantification, while a quantifying concept indicates a way to quantify the object graph. By constructing object graphs and quantifying concepts, the target and the way to quantify medical service quality independently. Moreover, MSO and quantifying concepts unify vocabulary words and constructions of quality indicators. By using MSO, object graphs and quantifying concepts, one can obtain graphbased representation of quality indicators that satisfies formality and understandability.
In the last half of this paper, the authors develop a library of all quality indicators in (Nihon Hospital Organization 2009) in QIRS to show that QIRS has sufficient expressiveness to develop actual quality indicators. To show expressiveness of QIRS from the more general viewpoint, they also classified all quality indicators in (Fukui 2009; Nihon Hospital Organization 2009; OECD 2006) according to Medical Service Assessment Description Patterns (MSADP) and checked that most (98%) of quality indicators classified according to MSADP could be redefined in QIRS (Section 8.2).
Endnote
^{a} The symbol “*i“ is used to denote an element of a set in this paper.
Abbreviations
 QIFW:

Framework to develop Quality Indicators and to calculate their values
 QIRS:

Representation System of Quality Indicators
 MSO:

Medical service ontology
 MSADP:

Medical service assessment description patterns
 GDM:

Global data model
 SE:

Semantic editor.
Declarations
Acknowledgment
This work was supported by a JSPS KAKENHI Grant Number 24500167.
Authors’ Affiliations
References
 Chein M, Mugnier ML: Graphbased Knowledge Representation. London, UK: Springer; 2009.Google Scholar
 Collopy BT: Clinical indicators in accreditation: an effective stimulus to improve patient care. Int J Qual Health Care 2000, 12(3):211216. 10.1093/intqhc/12.3.211View ArticleGoogle Scholar
 Donabedian A: Explorations in quality assessment and monitoring, Vol. 1, the definition of quality and approaches to its assessment. Ann Arbor, MI, USA: Health Administration Press, the Foundation of the American College of Healthcare Executives; 1980.Google Scholar
 Fukui T: Quality Indicator 2009 3. Tokyo, Japan: InterMedica; 2009. (in Japanese)Google Scholar
 Hartel W, de Coronado S, Dionne R, Fragoso G, Golbeck J: Modeling a description logic vocabulary for cancer research. J Biomed Inform 2005, 38(2):114129. 10.1016/j.jbi.2004.09.001View ArticleGoogle Scholar
 Hasida K: Introduction to Semantic Editor. 2013. . Accessed 19 April 2013 (in Japanese) http://icontent.org/semauth/intro/index.html Google Scholar
 Hata Y, Tashiro M, Kishida Y, Katoh O, Kimino K, Saito T, Iwata K, Toyama Y, Aki Y: Iryo Service no Hyoka no Tame no Rinshou Shihyou no Ouyou. Tokyo, Japan: Jiho; 2009. (in Japanese)Google Scholar
 Huser V, Narus SP, Rocha RA: Evaluation of a flowchartbased EHR query system: A case study of RetroGuide. J Biomedical Informatics 2010, 43(1):4150. 10.1016/j.jbi.2009.06.001View ArticleGoogle Scholar
 Ito H: IryoHyoka, Shinkou Koueki Medical Book Publishing Section, Tokyo, Japan. 2003. (in Japanese)Google Scholar
 Kaiser K, Akkaya C, Miksch S: How can information extraction ease formalizing treatment processes in clinical practice guidelines? A method and its evaluation. Artif Intell Med 2007, 39(2):151163. 10.1016/j.artmed.2006.07.011View ArticleGoogle Scholar
 Mabotuwana T, Warren J: An ontologybased approach to enhance querying capabilities of general practice medicine for better management of hypertension. Artif Intell Med 2009, 47(2):87103. 10.1016/j.artmed.2009.07.001View ArticleGoogle Scholar
 Mainz J, Hansen AM, Palshof T, Bartels PD: National quality measurement using clinical indicators: The danish national indicator project. J Surg Oncol 2009, 99(8):500504. 10.1002/jso.21192View ArticleGoogle Scholar
 Mainz J, Krog BR, Bjørnshave B, Bartels P: Nationwide continuous quality improvement using clinical indicators: the Danish National Indicator Project. Int J Qual Health Care 2004, 16(1):i45i50.View ArticleGoogle Scholar
 Mainz J: Developing evidencebased clinical indicators: a state of the art methods primer. Int J Qual Health Care 2003, 15(1):i5i11. 10.1093/intqhc/15.1.5View ArticleGoogle Scholar
 Montalto M, Portelli R, Collopy B: Measuring the quality of hospital in the home care: a clinical indicator approach. Int J Qual Health Care 1999, 11(5):413418. 10.1093/intqhc/11.5.413View ArticleGoogle Scholar
 Nightingale F: A contribution to the sanitary history of the British army during the late war with Russia. Illustrated with tables and diagrams. West Strand, London, UK: John W. Parker and Son; 1859.Google Scholar
 Nihon Hospital Organization: Clinical Indicators 2009. 2009. ,7018,61.html. Accessed 19 April 2013 (in Japanese) http://www.hosp.go.jp/7 Google Scholar
 OECD: Health Care Indicators Project Initial Indicators Report, OECD Health Working Papers 22. 2006.Google Scholar
 Serban R, ten Teije A, van Harmelen F, Marcos M, PoloConde C: Extraction and use of linguistic patterns for modelling medical guidelines. Artif Intell Med 2007, 39(2):137149. 10.1016/j.artmed.2006.07.012View ArticleGoogle Scholar
 Sowa JF: Conceptual structures: Information processing in mind and machine. Boston, MA, USA: AddisonWesley; 1984.Google Scholar
 Sowa F: Conceptual Graphs. In Handbook of Knowledge Representation. Edited by: van Harmelen F, Lifschitz V, Porter B. Elsevier: Elsevier; 2008:213237.View ArticleGoogle Scholar
 Takaki O, Takeuti I, Takahashi K, Izumi N, Murata K, Hasida K: Representation System of Quality Indicators towards Accurate Evaluation of Medical Services based on Medical Databases, Proceedings of the 4th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED2012). 2012.Google Scholar
 Takaki O, Takeuti I, Takahashi K, Izumi N, Murata K, Hasida K: Representation System for Quality Indicators by Ontology, Semantics  Advances in Theories and Mathematical Models. Rijeka, Croatia: InTech; 2012.Google Scholar
 WorldWide Web Consortium (W3C): RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation 20040210. 2004. . Accessed 19 April 2013 http://www.w3.org/TR/rdfschema/ Google Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.