Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Next Article in Journal
Effect of Ion and Binding Site on the Conformation of Chosen Glycosaminoglycans at the Albumin Surface
Next Article in Special Issue
Path Planning Research of a UAV Base Station Searching for Disaster Victims’ Location Information Based on Deep Reinforcement Learning
Previous Article in Journal
A Generalized Information-Theoretic Framework for the Emergence of Hierarchical Abstractions in Resource-Limited Systems
Previous Article in Special Issue
Traceable Scheme of Public Key Encryption with Equality Test
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Retrieval and Ranking of Combining Ontology and Content Attributes for Scientific Document

1
School of Cyber Security and Computer, Hebei University, Baoding 071002, China
2
Hebei Machine Vision Engineering Research Center, Hebei University, Baoding 071002, China
3
Institute of Intelligent Image and Document Information Processing, Hebei University, Baoding 071002, China
4
International Education College, Hebei Finance University, Baoding 071051, China
*
Author to whom correspondence should be addressed.
Entropy 2022, 24(6), 810; https://doi.org/10.3390/e24060810
Submission received: 2 May 2022 / Revised: 4 June 2022 / Accepted: 6 June 2022 / Published: 10 June 2022
(This article belongs to the Special Issue Advances in Information Sciences and Applications)

Abstract

:
Traditional mathematical search models retrieve scientific documents only by mathematical expressions and their contexts and do not consider the ontological attributes of scientific documents, which result in gaps between the queries and the retrieval results. To solve this problem, a retrieval and ranking model is constructed that synthesizes the information of mathematical expressions with related texts, and the ontology attributes of scientific documents are extracted to further sort the retrieval results. First, the hesitant fuzzy set of mathematical expressions is constructed by using the characteristics of the hesitant fuzzy set to address the multi-attribute problem of mathematical expression matching; then, the similarity of the mathematical expression context sentence is calculated by using the BiLSTM two-way coding feature, and the retrieval result is obtained by synthesizing the similarity between the mathematical expression and the sentence; finally, considering the ontological attributes of scientific documents, the retrieval results are ranked to obtain the final search results. The MAP_10 value of the mathematical expression retrieval results on the Ntcir-Mathir-Wikipedia-Corpus dataset is 0.815, and the average value of the NDCG@10 of the scientific document ranking results is 0.9; these results prove the effectiveness of the scientific document retrieval and ranking method.

1. Introduction

With the development of the internet, information has exploded rapidly, and more and more scientific documents containing many mathematical expressions have rapidly been provided. The influx of various scientific documents has made it increasingly difficult to find useful information from them. Mathematical expressions are an important component of scientific documents for describing scientific content. Therefore, retrieving scientific documents by employing mathematical expressions such as query expression have become a necessary way for researchers to find the scientific information they need [1]. However, the traditional search engines designed for full text retrieval cannot work well on the math queries, because of the special characteristics of mathematical expressions. Therefore, it is necessary to use mathematical expressions as the main subject for scientific document retrieval.

1.1. Related Work

At present, text-based scientific document retrieval technology is largely mature [2,3,4]. However, mathematical expression-based retrieval is still under development. In recent years, many researchers have made progress in retrieving mathematical expressions. Three main approaches have been applied for mathematical expressions retrieval in previous models: (a) Operator trees (OPTs): which captures mathematical expression appearance [5]. For instance, Zhong et al. [6] proposed a dynamic pruning algorithm to solve the substructure retrieval of mathematical expressions. This retrieval algorithm expresses the mathematical expression as OPTs, which improves the efficiency of the mathematical expression retrieval. (b) Symbol layout trees (SLTs): which captures mathematical expression syntax [7,8]. (c) Embedding models: which converts two-dimensional mathematical expressions into one-dimensional vectors by using word embedding models [9,10,11,12].
Mathematical expressions have a complex two-dimensional structure, so it is very reasonable to introduce multi-criteria decision-making (MCDM) theory in the retrieval of mathematical expressions. MCDM theory has made many advances in recent years [13,14,15], and has been applied and has achieved good results in location of a fleet [16], the selection of warships [17], and information security risk assessment in critical infrastructure [18]. Hesitant fuzzy sets (HFSs) are one of the MCDM theories, and as an extension of fuzzy sets, they have made achievements in theory as well as in numerous other fields [19,20]. HFSs have been proven as a potential structure to express the uncertainty and vagueness [21,22], which can measure the impact of each attribute on decision making in an integrated way and are more flexible in expressing hesitant information in terms of processing. Driven by their unique advantages and the richness of their applications, we find them applicable to the retrieval of mathematical expressions with multiple attributes.
In terms of text similarity, Bromley et al. [23] first proposed the Siamese network in 1993, and its model has the parameter-sharing property, which is very suitable for calculating sentences’ similarity. Therefore, Wang et al. [24] proposed a bilateral multi-perspective matching model. They used the bidirectional LSTM combined with the Siamese network. The sentences are bilaterally encoded and matched in multiple ways to obtain the final sentence similarity, and the introduction of bilateral and multi-perspective matching makes the model more able to capture the semantic information of sentences. Liu et al. [25] proposed a sentence similarity model with multi-feature fusion, introduced syntactic structure and word order features, and improved the accuracy of sentence similarity.
In the comprehensive retrieval of mathematical expressions and text, Zhong et al. [26] used an improved OPT algorithm for retrieval of mathematical expressions and mined contextual potential keywords as query extensions, which explored the semantics of mathematical expressions and enabled a more accurate retrieval of relevant mathematical content. Kristianto et al. [27] proposed a dependency graph method to enrich the semantic information of mathematical expressions because of the difficulty of capturing the semantics of mathematical expression context, and the experimental results showed that the accuracy of the mathematical search system can be improved by 13%. Tian et al. [28] proposed a scientific document retrieval method based on the hesitant fuzzy set and BERT. They first used the hesitant fuzzy set to retrieve the mathematical expression, then used BERT to encode the keywords into word vectors, and finally used the cosine similarity to calculate the similarity between two keywords. On this basis, Tian et al. [29] extracted full-text keywords, and then the GBDT model was used to discrete and reorganize mathematical expressions and text attributes; finally, the LR model was used to train the attributes to obtain the final retrieval results. The results showed that the comprehensive mathematical expression and the context of the scientific document retrieval were more reasonable. Pathak et al. [30,31] designed a knowledge base (KB) containing contextual formula pairs, and a total of 12,573 pairs of formulas and their contexts were extracted, considering the similarity between mathematical expressions, contexts, and documents. This method considered the relationship between the mathematical expression itself and its context, and then made the retrieval more credible. In 2019, Yuan et al. [32] proposed a new abstract model based on the mathematical content “MathSum”, which uses the pointer mechanism and the multi-head attention mechanism to extract the mathematical content of the text and enrich the semantics of mathematical expressions, respectively, which provide new ideas for retrieving scientific documents. In 2019, Dhar et al. [33] proposed a signature-based hashing scheme, which constructed the search engine “SigMa”, based on mathematical expressions, to retrieve documents by perceiving the high structure in mathematical expressions, which solves the problem that scientific texts based on mathematical expressions are not adapted to the traditional text retrieval system. Scharpf et al. [34] applied mathematical expressions to the document recommendation system, which annotated the variables and constants of mathematical expressions; the method disambiguates mathematical identifiers and achieves good results.
In conclusion, scientific document retrieval mainly has three methods based on text, based on mathematical expressions, and based on the fusion of mathematical expressions and text. It is difficult to describe scientific documents completely, whether it is a single mathematical expression or text, so the current scientific document retrieval mostly uses the fusion of mathematical expressions and text and uses keywords in the text, but keywords contain less information and are easy to extract inaccurately, so obtaining more text information related to mathematical expressions is also a big problem that needs to be solved. At the same time, the ontology properties of the scientific document are ignored in either way, making it difficult for the search model to meet the needs of users.

1.2. Contributions

In this paper, we propose a retrieval and ranking method that integrates the content and ontology attributes of the scientific document. The ontological attributes of scientific documents are also taken into account for ranking based on mathematical expressions and text retrieval. The scientific document search model is divided into three parts, namely, the user interface, the scientific document retrieval and ranking process, and the data processing, as shown in Figure 1.
In the user interface, query expressions and text are entered and the ranked scientific documents are output. The role of data processing is to index scientific documents in a dataset and store them in a database. The scientific document retrieval and ranking process includes three parts: first, the mathematical expression similarity calculation module is used to calculate the similarity between the query expression entered by the user in LaTeX or MathML format and the candidate expression in the database; the text similarity calculation module is used to calculate the similarity between the query text and the candidate expression context, and then to synthesize the similarity of the two to obtain the scientific document retrieval results; finally, the retrieval results are ranked according to the ontology attributes of scientific documents to obtain the final ranking results.

2. Materials and Methods

2.1. Establish Scientific Document Indices

Mathematical expressions in scientific documents have rich semantic information, and their semantics can be further interpreted by their contexts. For example, document Laplace_formula, from the Ntcir-Mathir-Wikipedia-Corpus dataset [35], its mathematical expressions and context are shown in Figure 2.
Context is closely related to mathematical expressions, so the retrieval for fused mathematical expressions and their contexts is more in line with the retrieval requirements for scientific documents. Additionally, a higher search speed is necessary for databases containing many scientific documents. The scientific document index is shown in Figure 3.
In Figure 3, the key value of the scientific document index is a sub-equation. When the user enters a query expression, the system first decomposes it into sub-equations, and by retrieving the database for sub-equations, the mathematical expression can be located directly, thus locating the expression context and the scientific document. Indexing avoids the problem of traversing the database when retrieving expressions and improves the retrieval speed of the system.

2.2. Mathematical Expression Similarity Calculation

In the mathematical expression similarity calculation, the user first enters a mathematical expression in LaTeX or MathML format, and then extracts the features of the mathematical expression and establishes a hesitant fuzzy set. Finally, the generalized hesitant fuzzy distance is used to calculate the similarity between the query expression and the candidate expression in the database.

2.2.1. Related theories

  • Hesitant fuzzy sets
Torra [36] first proposed the concept of hesitant fuzzy sets in 2010. Hesitant fuzzy sets are extensions of fuzzy sets. The use of hesitant fuzzy sets allows experts to consider multiple evaluation attributes when making decisions, so this concept is suitable for solving the multi-attribute problem of mathematical expression matching.
Let X = { x 1 , x 2 , x n } be a fixed attribute set; then, E = { x , h E ( x ) | x X } denotes the hesitant fuzzy set on the fixed attribute set X, where h E ( x ) denotes the hesitant fuzzy element (HFE). Each hesitant fuzzy element can contain one or more evaluation values, and its value range is [0, 1].
2.
Hesitant fuzzy measure
If R and Q denote hesitant fuzzy sets corresponding to two samples on the same fixed attribute set X = { x 1 , x 2 , , x n } , the degree of similarity between two samples on attribute set X can be measured by calculating the generalized hesitant fuzzy distance between two hesitant fuzzy sets. The smaller the distance is, the greater the similarity between the two samples [37]. The generalized hesitant fuzzy distance between hesitant fuzzy sets is calculated as Equation (1):
d g h n ( R , Q ) = [ 1 n i = 1 n ( 1 l x i j = 1 l x i | h R σ ( j ) ( x i ) h Q σ ( j ) ( x i ) | λ ) ] 1 λ
In Equation (1), n denotes the number of evaluation attributes of the hesitant fuzzy set, l x i denotes the number of evaluation values, h R σ ( j ) ( x i ) denotes the jth hesitant fuzzy element for the attributes x i , and λ denotes the control parameter. When λ = 1, the upper distance is the hesitant standard Hamming distance; when λ = 2, the upper distance is the hesitant standard Euclidean distance.

2.2.2. Construct Hesitant Fuzzy Sets of Mathematical Expressions

Definition 1.
Q E  denotes a query expression,  R E K ( k = 1 , 2 , , n R ) denotes the kth result of the mathematical expression retrieval, and n R  denotes the number of result expressions.
Definition 2.
The attribute information of a mathematical expression is the four-tuple, which describes the length attribute of the original form of the mathematical expression, the length attribute of the parsing structure of the mathematical expression, the sub-attribute of the relationship between the mathematical expression and its sub, and the attribute of the number of sub-expressions; a set of hesitant fuzzy evaluation attributes of mathematical expressions are established based on the above attributes  E A = [ A l e n e i , A l e n e c , A s u b , A n u m s u b ] .
Definition 3.
H F S Q E denotes the query expression hesitant fuzzy set, and H F S R E K  denotes the result expression hesitant fuzzy set.  h H F S Q ( E A i )   i ( l e n e i , l e n e c , s u b , n u m s u b )  denotes the membership set of attributes  A i  for the query expression, and  h H F S R K ( E A i )  denotes the membership set for the kth result expression for attribute  A i .
Definition 4.
The membership function of the mathematical expression primitive length attribute is shown in Equation (2):
μ l e n e i = exp ( | l e n e i ( Q E ) l e n e i ( R E K ) | l e n e i ( Q E ) )
where  l e n e i ( Q E )  denotes the query expression primitive length and  l e n e i ( R E K )  denotes the result expression primitive length.
Definition 5.
The skeleton extraction of mathematical expressions can eliminate the influence of variables on the mathematical expressions retrieval, so the introduction of the improved FDS [7] algorithm for skeleton extraction of mathematical expressions is to extract the operator information of mathematical expressions; discarding the operand information and emphasizing operator information can express mathematical expressions fully.
The membership function of the mathematical expression parsing structure length attribute is shown in Equation (3).
μ l e n e c = exp ( | l e n e c ( Q E ) l e n e c ( R E K ) | l e n e c ( Q E ) )
where l e n e c ( Q E ) denotes the length of the query expression parsing skeleton and l e n e c ( R E K ) denotes the length of the result expression parsing skeleton.
Definition 6.
When sub-expression membership is being calculated, the mathematical expression is first split into multiple sub-equations, and then the sub-expression weights are calculated according to Equation (4); the method solves the problem of retrieving not only the mathematical expression itself, but also the sub-equations.
μ s u b = n e s u b n e × l e s u b l e l e v e l 3
where  n e  denotes the number of mathematical expression operators,  l e  denotes the length of the mathematical expression, and  l e v e l  denotes the lowest level of operators in the sub-equation. The mathematical expression can be expressed as  { ( E s u b 1 , μ s u b 1 ) , ( E s u b 2 , μ s u b 2 ) ( E s u b n , μ s u b n ) }  by splitting the mathematical expression and calculating the weights of the sub-equation.
Definition 7.
The membership function of the number of sub-equations attribute is shown in Equation (5):
μ n u m s u b = exp ( | n u m s u b ( Q E ) n u m s u b ( R E K ) | n u m s u b ( Q E ) )
where  n u m s u b ( Q E )  denotes the number of sub-equations of the query expression and  n u m s u b ( R E K )  denotes the number of sub-equations of the resulting expression.

2.2.3. Mathematical Expression Matching

According to the membership calculation method of the related attribute, the hesitant fuzzy set of query expression can be expressed as H F S Q E = [ 1 , 1 , ( μ s u b 1 Q E , μ s u b 2 Q E μ s u b i Q E μ s u b n Q E ) , 1 ] . The resulting mathematical expressions hesitant fuzzy sets is shown in Table 1.
The mathematical expression matching algorithm is shown in Algorithm 1.
Algorithm 1 Mathematical expression-matching algorithm
Input: Query expression Q E and Result expression R E K
Output: Mathematical expression similarity s i m ( Q E , R E K )
1 μ l e n e i = calculatelenei( Q E , R E K );   //Evaluates the original expression length membership;
2 μ l e n e c = calculatelenec( Q E , R E K );
3 μ n u m s u b = calculatenumsub( Q E , R E K );
4for E s u b Q E in l i s t E s u b Q E     //Evaluates the membership of the subexpression of query expression;
5 μ s u b Q E = calulatesub( E s u b Q E , Q E );
6 Q E = [ ( E s u b 1 Q E , μ s u b 1 Q E ) , ( E s u b 2 Q E , μ s u b 2 Q E ) , , ( E s u b i Q E , μ s u b i Q E ) , , ( E s u b n Q E , μ s u b n Q E ) ] ;
7for E s u b R E K in l i s t E s u b R E K ;
8 μ s u b R E K = calculatesub( E s u b R E K , R E K );
9 R E K = [ ( E s u b 1 R E K , μ s u b 1 R E K ) , ( E s u b 2 R E K , μ s u b 2 R E K ) , , ( E s u b i R E K , μ s u b i R E K ) , , ( E s u b n R E K , μ s u b n R E K ) ] ;
10for s u b in Q E         //Resets sub-equation membership according to matching relationships;
11if ( s u b Q E and s u b R E K );
12 μ s u b Q E = μ s u b Q E ; μ s u b R E K = μ s u b R E K ;
13else if ( s u b Q E and s u b R E K );
14 μ s u b Q E = 0 ; μ s u b R E K = 0 ;
15else if ( s u b Q E and s u b R E K );
16 μ s u b Q E = μ s u b Q E ; μ s u b R E K = 0 ;
17else{break;};
18 H F S Q E = { 1 , 1 , ( μ s u b 1 Q E , μ s u b 2 Q E , , μ s u b i Q E , , μ s u b n Q E ) , 1 } ;       //Build hesitant fuzzy set;
19 H F S R E K = { μ l e n e i R E K , μ l e n e c R E K , ( μ s u b 1 R E K , μ s u b 2 R E K , , μ s u b i R E K , , μ s u b n R E K ) , μ n u m s u b R E K } ;
20 d ( H F S Q E , H F S R E K ) = 1 4 i = 1 4 [ 1 l A i j = 1 l A I | h H F S Q E σ ( j ) ( Q E A i ) h H F S R E K i σ ( j ) ( R E K A i ) | λ ] 1 λ ;
21return s i m ( Q E , R E K ) = 1 d ( H F S Q E , H F S R E K ) ;   //Return mathematical expression similarity.

2.3. Text Similarity Calculation

2.3.1. Related Theories

At present, in the retrieval method based on the fusion of mathematical expressions and text, most of the keyword-based methods are used to process text, but methods based on global keyword extraction make keyword extraction inaccurate, and context-based keyword extraction is limited by fewer statements. Therefore, the use of contextual statements not only enriches the semantics of mathematical expressions and avoids the problem of unclear semantics, but also preserves the meaning of the mathematical expression context itself. In 2015, Huang et al. [38] proposed the bidirectional LSTM-CRF model to deal with sequence labeling tasks. As the bidirectional encoding feature of bidirectional LSTM is also applicable to calculating sentence similarity and solves the problem of a single LSTM encoding direction, we adopt the BiLSTM model when using sentence similarity and introduce an attention mechanism to give weight to words to distinguish between important and irrelevant parts of sentences. The sentence similarity calculation is divided into four layers, namely, the input layer, word embedding layer, Siamese and BiLSTM feature extraction layer, and attention layer and similarity calculation layer, as shown in Figure 4.

2.3.2. Sentence Similarity Calculation

  • Input layer
In the input layer, the Chinese dataset first uses jieba to segment the sentence S, the English dataset does not need to be segmented, and then the sentence is processed, including by removing stop words and unifying the sentence length. The experiment stipulates that the maximum length of the Chinese sentence l c = 20 , the maximum length of the English sentence l e = 30 , parts that exceed the length of the sentence are removed, and the short parts is completed. After the input layer, the sentence S can be represented as S = [ w 1 , w 2 , , w i , , w l ] .
2.
Word embedding layer
In the word embedding layer, the 8-million-word vector provided by Tencent AI is used by the Chinese dataset for word embedding, the 3 million common words trained based on GoogleNews’ corpus is used by the English dataset, and each word vector has 300 dimensions. After word embedding, a word vector’s sentences can be represented as a matrix of S = [ l × 300 ] , where l denotes the maximum sentence length.
3.
Siamese and BiLSTM feature extraction layer
In the feature extraction layer, the bi-layer stacked BiLSTM is used to extract features from the sentence to achieve bidirectional encoding of the sentence. The output of the first layer of BiLSTM acts as the input of the second layer of BiLSTM. At time t, the word w is given h t by forward LSTM and h t by reverse LSTM, the word vector of the word wt is expressed as h t = [ h t : h t ] by stitching the forward and backward vectors, and the sentence vector can be expressed as S = { [ h 1 : h 1 ] , [ h 2 : h 2 ] , , [ h n : h n ] } . The word vector is spliced together to obtain the sentence vector after the BiLSTM layer feature extraction is S = { h 1 , h 2 , , h n } .
4.
Attention layer
Each word contributes differently to the sentence, and the weight of the words that are important to the sentence should also be higher, so introducing attention mechanisms and assigning a higher weight to important words make the feature extraction of the sentence more effective. When the sentence is featured by BiLSTM, the word vector h i is obtained by performing a nonlinear transformation by using the tanh activation function to obtain u i , and then the softmax function is used to obtain the weight of each word vector. The calculation formula is shown in Equation (6), and finally, the sentence vector is obtained by cumulative multiplication of Equation (7).
α i = exp ( u i ) j = 1 n exp ( u j )
S = i = 1 n α i h i
5.
Similarity calculation layer
In the experiment, the Manhattan distance is chosen as the calculation of sentence vector similarity with the value of [0, 1], which is calculated as shown in Equation (8).
s i m ( S ( Q ) , S ( R ) ) = exp ( | S ( Q ) S ( R ) | )

2.4. Rank the Retrieval Results

In the traditional scientific document retrieval mainly based on mathematical expressions, usually only the internal information of documents is considered, and ontological information is often missing. However, the user’s demand for scientific document retrieval not only remains on the content, such as expressions and text, but also pays attention to the category of scientific documents, and other document ontology information, based on the user’s ranking needs for scientific documents, rank the retrieval results on the basis of expression and text retrieval so that the recalled scientific documents can better meet user needs.
Definition 8.
Scientific document matching results l i s t M D = { d o c 1 1 , , d o c i j , , d o c n d c } , where  d o c i j  denotes the ith scientific document, j denotes the document’s category number, and nd denotes the number of matching results. c denotes the number of categories, l i s t C D  denotes the list of scientific documents classified according to the category,  l i s t P D  denotes the list of scientific documents ranked according to the popularity of the category, and  l i s t S D  denotes the final ranking list of the scientific documents.
First, the scientific document matching results l i s t M D are divided by categories, and the list of scientific documents can be expressed as l i s t C D = { U D 1 , , U D j , , U D c } , where U D j denotes the collection of scientific documents with category number j.
For users, the purpose of the document is likely to belong to the same category; for example, after the user enters the relevant physical formulas and statements, the purpose of the document most likely belongs to the physical class, rather than other categories, so the popularity of the category as the ranking basis of scientific documents is very reasonable. The proportion of scientific documents in each category is calculated; the larger the proportion of documents in a category is, the more popular the category is in the scientific document matching results and the greater the probability that the users demand for scientific documents belongs to this category. The popularity P c a t e j of category j is calculated as shown in Equation (9).
P c a t e j = c o u n t ( U D j ) i = 1 c c o u n t ( U D i )
where c o u n t ( U D j ) is the number of scientific documents in category j. The scientific document is ranked in descending order by category popularity, and the results can be expressed as l i s t P D = { U D j , , U D c , , U D 1 } . U D j is the most popular and U D 1 is the least popular.
Additionally, users always want to recall the latest documents for more cutting-edge content, so it is also important to introduce the year of publication into the ranking of documents. The scientific documents in each category in l i s t P D are ranked by the year of publication, and the final ranking result of the scientific documents is l i s t S D = { d o c i j , d o c k j , , d o c i c , , d o c n d c , , d o c 2 1 , d o c 1 1 } , where d o c i j is the most popular scientific document with the most recent publication year.
The ranking algorithm is shown in Algorithm 2.
Algorithm 2 Scientific document ranking algorithm
Input: Scientific document retrieval results l i s t M D
Output: Scientific document ranking results l i s t S D
1//Define a category dictionary (the key is a category, and the content is a scientific document)
2Dictionary < string, List < string >> D i c d o c = new Dictionary < string, List < string >> ();
3for M D in l i s t M D         //Traverse the retrieval results of scientific document
4{
5if (! D i c d o c s .ContainsKey( M D .category))//Add it if the category does not exist in the dictionary
6 D i c d o c s . Add( M D .category, M D );
7else        //Otherwise, add the scientific document to an existing category
8{
9List < string > Tvalue = D i c d o c s [category];  //Stores dictionary values temporarily
10Tvalue. Add(doc);
11 D i c d o c s [category] = Tvalue;
12}
13}
14//Rank scientific documents in descending order by category popularity
15 D i c d o c s = D i c d o c s Sorting by D i c d o c s .Values. Count DESE;
16//Sort the scientific documents in each category in descending order and return the results
17for (var D i c d o c in D i c d o c s )
18{
19return l i s t S D Sorting by doc.postdate DESE;
20}

3. Results and Discussion

Ntcir-Mathir-Wikipedia-Corpus is considered for this research work, which contains 31,740 documents and 529,621 expressions; this dataset includes only English documents. Thus, we introduce 10,371 Chinese documents [28], including 139,586 mathematical expressions, to expand the dataset.

3.1. Mathematical Expression Matching Results

The experiment selects 10 mathematical expressions and their related statements, as shown in Table 2, as queries. These 10 expressions and their query statements contain common operation symbols and meanings when using mathematical expressions.
MAP_k (mean average precision_k) is the average of AP_k, which is calculated as shown in Equation (10).
MAP _ k = 1 Q q = 1 Q AP _ k ( q )
where Q denotes the number of queries and AP_k(q) denotes the AP_k value of the qth query, which is calculated as shown in Equation (11).
AP _ k = 1 K k = 1 K k position ( k )
The MAP_k values of mathematical expressions in the English dataset and the Chinese dataset are shown in Table 3. As the data in the table show, the MAP_5 of mathematical expressions is close to MAP_10, because the mathematical expression retrieval method used in this paper focuses on the sub-equation and the operator so that the recalled expression distribution is more uniform. The MAP_15 value is lower because many expressions are the same but the representation differs, so the similarity differs, and the low number of similar expressions contained in the database is one of the reasons for the low MAP_15 value.

3.2. Ranking Results of Scientific Documents

The NDCG (normalized discounted cumulative gain) is a measure and evaluation of search results; the NDCG is calculated as shown in Equation (12).
NDCG @ k = DCG @ k IDCG @ k
where the IDCG (ideal discounted cumulative gain) is the DCG (discounted cumulative gain) value in the ideal situation, k is the first k term of the query results, and the DCG and IDCG calculation formulas are shown in Equations (13) and (14), respectively.
DCG @ k = r e l i + i = 2 k r e l i log 2 ( i + 1 )
IDCG @ k = i = 1 | R E L | r e l i log 2 ( i + 1 )
where r e l i denotes the relevance score. According to the expert score, the retrieval results are divided into three cases (namely, similar, partially similar, and not similar) and given a score of 3, 2, and 1, respectively, as the relevance score of the search results; log 2 ( i + 1 ) is a discount factor.
Figure 5 lists the NDCG@5 and NDCG@10 values of the ranking of scientific documents for the Chinese dataset and the English dataset, respectively. As the figures show, the NDCG@5 values of the Chinese and English scientific documents are higher than the NDCG@10 values, and the NDCG values of the scientific documents are almost above 0.8, thus proving that the scientific document retrieval method adopted in this paper is more reasonable.
Table 4 shows the NDCG@k and MAP_k values of the scientific document retrieval and ranking results of the Chinese and English datasets in different methods, where NDCG@5, NDCG@10, and MAP_5, MAP_10 are taken as the average of the 10 query results in Table 2. It can be found that the retrieval of scientific documents can be achieved when using mathematical expressions or text alone, and the retrieval effect based on mathematical expressions is better because the retrieval of mathematical expressions is more regular and accurate compared with the text. It can be found that the retrieval effect is further improved after fusing expressions with text for scientific document content retrieval, and the retrieval results can further satisfy users after introducing the ontology attributes of scientific documents; therefore, the results are optimal.
SearchOnMath [39] is a system proposed by Oliveira et al. for retrieving scientific documents and Wikipedia English content by using mathematical expressions or keywords, including 1905358 mathematical expressions, and users can retrieve relevant content by entering mathematical expressions or keywords. Tangent-CFT [10] is an open-source mathematical expression embedding model proposed by Mansouri et al.; this model integrates OPTs and SLTs to capture expression content and expression structure, respectively, and finally uses fastText to generate formula embedding. The mathematical expressions and statements in Table 2 are entered into our system, SearchOnMath and Tangent-CFT, and Figure 6 compares the NDCG@10 values of the SearchOnMath method, the Chinese scientific document retrieval method, the English scientific document retrieval method, and the Tangent-CFT method.
As Figure 6 shows, the NDCG@10 values of the Chinese and English scientific document methods are basically higher than those of the comparison method because the method proposed in this paper introduces the ontological attributes of scientific documents while considering the content of scientific documents, and then making the ranking results better meet the needs of users. In contrast to the SearchOnMath method, this method effectively avoids unreasonable sorting problems caused by using mathematical expressions or text alone. In terms of text processing, introducing contextual sentences avoids inaccurate retrieval results caused by inaccurate keyword extraction. Additionally, the Tangent-CFT method starts only from the mathematical expression itself and does not pay attention to the global information of scientific documents, so the NDCG@10 value of this method is lower than that of our system.

4. Conclusions

Based on the scientific document retrieval model incorporating mathematical expressions with related texts, a retrieval and ranking model combining scientific document content and ontology attributes is proposed; the model first decomposes the mathematical expression into sub-equations; then, the hesitant fuzzy set is built according to the mathematical expression with sub-equation membership, and finally calculates the generalized hesitant fuzzy distance to obtain the similarity of mathematical expressions. In terms of text matching, the mathematical expression context statement is extracted, and then the sentence similarity is calculated by combining BiLSTM with the attention mechanism. Finally, the mathematical expression similarity and sentence similarity are synthesized to obtain the retrieval results of the scientific document. This method solves the problem of single retrieval modes relying only on mathematical expression or text, and the use of sentences can better retain the original information of the context and avoid inaccurate keyword extraction. Additionally, document categories are extracted from scientific document ontology features and sorted according to their popularity, and then the documents in the category are ranked by year of publication to obtain the final ranking results. The experimental results show that the scientific document retrieval and ranking method combining content and ontology features better meets user needs.
Future work:
  • While searching scientific documents by using mathematical expressions, we will continue to explore the method of extracting related text information to improve the connection between expressions and related texts.
  • We will consider the ontological characteristics of scientific documents from multiple angles and extract more ontological information from documents to make the ranking of scientific documents more reasonable.

Author Contributions

Methodology, X.T.; software, X.J.; validation, X.J. and X.T.; formal analysis, X.J., B.T. and. X.T.; investigation, X.J. and B.T.; writing—original draft preparation, X.J.; writing—review and editing, X.T. and X.J.; visualization, X.J. and X.T.; supervision, X.T.; funding acquisition, X.T. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the Natural Science Foundation of Hebei Province of China (Grant No. F2019201329).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The data that support the findings of this study are available upon request.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Behrooz, M.; Richard, Z.; Douglas, W.O. Characterizing Searches for Mathematical Concepts. In Proceedings of the 2019 ACM/IEEE Joint Conference on Digital Libraries (JCDL), Champaign, IL, USA, 2–6 June 2019; pp. 57–66. [Google Scholar]
  2. Dang, E.K.F.; Luk, R.W.P.; Allan, J. A Principled Approach Using Fuzzy Set Theory for Passage-Based Document Retrieval. IEEE Trans. Fuzzy Syst. 2020, 29, 1967–1977. [Google Scholar] [CrossRef]
  3. van Dinter, R.; Catal, C.; Tekinerdogan, B. A decision support system for automating document retrieval and citation screening. Expert Syst. Appl. 2021, 182, 115261. [Google Scholar] [CrossRef]
  4. Wu, S.; Zhao, Y.; Parvinzamir, F.; Ersotelos, N.T.; Wei, H.; Dong, F. Literature Explorer: Effective retrieval of scientific documents through nonparametric thematic topic detection. Vis. Comput. 2019, 36, 1337–1354. [Google Scholar] [CrossRef] [Green Version]
  5. Mansouri, B.; Richard, Z.; Oard, D.W. Learning to Rank for Mathematical Formula Retrieval. In Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, 11–15 July 2021; pp. 952–961. [Google Scholar] [CrossRef]
  6. Zhong, W.; Rohatgi, S.; Wu, J.; Giles, C.L.; Zanibbi, R. Accelerating Substructure Similarity Search for Formula Retrieval. Adv. Inf. Retr. 2020, 12035, 714–727. [Google Scholar]
  7. Tian, X.D.; Zhou, N. Complex Mathematical Expression Retrieval Based on Hierarchical Index. Acta Tech. 2017, 62, 459–470. [Google Scholar]
  8. Kamali, S.; Tompa, F.W. Retrieving Documents with Mathe-Matical Content. In Proceedings of the 36th International ACM SIGIR Conference on Research and Development in Information Retrieval, Dublin, Ireland, 28 July–1 August 2013; pp. 353–362. [Google Scholar]
  9. Pfahler, L.; Morik, K. Semantic Search in Millions of Equations. In Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Washington, DC, USA, 6–10 July 2020; pp. 135–143. [Google Scholar]
  10. Mansouri, B.; Rohatgi, S.; Oard, D.W.; Wu, J.; Giles, C.L.; Zanibbi, R. Tangent-CFT: An Embedding Model for Mathematical Formulas. In Proceedings of the 2019 ACM SIGIR International Conference on Theory of Information Retrieval, New York, NY, USA, 2–5 October 2019. [Google Scholar] [CrossRef]
  11. Dadure, P.; Pakray, P.; Bandyopadhyay, S. BERT-Based Embedding Model for Formula Retrieval. In Proceedings of the CLEF 2021–Conference and Labs of the Evaluation Forum, Bucharest, Romania, 21–24 September 2021. [Google Scholar]
  12. Reusch, A.; Thiele, M.; Lehner, W. TU_DBS in the ARQMath Lab 2021, CLEF. In Proceedings of the CLEF 2021–Conference and Labs of the Evaluation Forum, Bucharest, Romania, 21–24 September 2021. [Google Scholar]
  13. Liu, Z.Y.; Xiao, F.Y. An interval-valued Exceedance Method in MCDM with Uncertain Satisfactions. Int. J. Intell. Syst. 2019, 34, 2676–2691. [Google Scholar] [CrossRef]
  14. Cheng, C.; Ding, W.; Xiao, F.; Pedrycz, W. A Majority Rule-Based Measure for Atanassov-Type Intuitionistic Membership Grades in MCDM. IEEE Trans. Fuzzy Syst. 2022, 30, 121–132. [Google Scholar] [CrossRef]
  15. Azadfallah, M. A new MCDM approach for ranking of candidates in voting systems. Int. J. Soc. Syst. Sci. 2019, 11, 119. [Google Scholar] [CrossRef]
  16. Almeida, I.D.P.D.; Corriça, J.V.D.P.; Costa, A.P.D.A.; Costa, I.P.D.A.; Maêda, S.M.D.N.; Gomes, C.F.S.; Santos, M.D. Study of The Location of A Second Fleet for The Brazilian Navy: Structuring and Mathematical Modeling Using SAPEVO-M and VIKOR Methods. In Proceedings of the International Conference of Production Research–Americas, Bahía Blanca, Argentina, 9–11 December 2020; pp. 113–124. [Google Scholar] [CrossRef]
  17. dos Santos, M.; de Araujo Costa, I.P.; Gomes, C.F.S. Multicrtteria Deciosion-Making in The Selection if Warships: A New Approach to The AHP Method. Int. J. Anal. Hierarchy Process 2021, 13, 147–169. [Google Scholar] [CrossRef]
  18. Turskis, Z.; Goranin, N.; Nurusheva, A.; Boranbayev, S. Information Security Risk Assessment in Critical Infrastructure: A Hybrid MCDM Approach. Informatica 2019, 30, 187–211. [Google Scholar] [CrossRef]
  19. Rouhbakhsh, F.F.; Ranjbar, M.; Effati, S.; Hassanpour, H. Multi objective programming problem in the hesitant fuzzy environment. Appl. Intell. 2020, 50, 2991–3006. [Google Scholar] [CrossRef]
  20. Alcantud, J.C.R.; Santos-García, G.; Peng, X.; Zhan, J. Dual Extended Hesitant Fuzzy Sets. Symmetry 2019, 11, 714. [Google Scholar] [CrossRef] [Green Version]
  21. Liu, P.; Zhang, X. A new hesitant fuzzy linguistic approach for multiple attribute decision making based on Dempster–Shafer evidence theory. Appl. Soft Comput. 2019, 86, 105897. [Google Scholar] [CrossRef]
  22. Guo, J.; Yin, J.; Zhang, L.; Lin, Z.; Li, X. Extended TODIM method for CCUS storage site selection under probabilistic hesitant fuzzy environment. Appl. Soft Comput. 2020, 93, 106381. [Google Scholar] [CrossRef]
  23. Bromley, J.; Guyon, I.; LeCun, Y.; Säckinger, E.; Shah, R. Signature Verification Using a “siamese” Time Delay Neural Network. Int. J. Pattern Recognit. Artif. Intell. 1993, 7, 669–688. [Google Scholar] [CrossRef] [Green Version]
  24. Wang, Z.; Hamza, W.; Florian, R. Bilateral Multi-Perspective Matching for Natural Language Sentences. arXiv 2017, arXiv:1702.03814. [Google Scholar]
  25. Liu, L.; Wang, Q.; Li, Y. Improved Chinese Sentence Semantic Similarity Calculation Method Based on Multi-Feature Fusion. J. Adv. Comput. Intell. Intell. Inform. 2021, 25, 442–449. [Google Scholar] [CrossRef]
  26. Zhong, W.; Zhang, X.; Xin, J.; Lin, J.; Zanibbi, R. Approach Zero and Anserini at the CLEF-2021 ARQMath Track: Applying Substructure Search and BM25 on Operator Tree Path Tokens. In Proceedings of the CLEF 2021—Conference and Labs of the Evaluation Forum, Bucharest, Romania, 21–24 September 2021. [Google Scholar]
  27. Kristianto, G.Y.; Topic, G.; Aizawa, A. Utilizing dependency relationships between math expressions in math IR. Inf. Retr. J. 2017, 20, 132–167. [Google Scholar] [CrossRef]
  28. Tian, X.; Wang, J. Retrieval of Scientific Documents Based on HFS and BERT. IEEE Access 2021, 9, 8708–8717. [Google Scholar] [CrossRef]
  29. Tian, X.; Wang, J.; Wen, Y.; Ma, H. Multi-attribute scientific documents retrieval and ranking model based on GBDT and LR. Math. Biosci. Eng. 2022, 19, 3748–3766. [Google Scholar] [CrossRef]
  30. Pathak, A.; Pakray, P.; Gelbukh, A. Binary vector transformation of math formula for mathematical information retrieval. J. Intell. Fuzzy Syst. 2019, 36, 4685–4695. [Google Scholar] [CrossRef]
  31. Pathak, A.; Pakray, P.; Das, R. Context guided retrieval of math formulae from scientific documents. J. Inf. Optim. Sci. 2019, 40, 1559–1574. [Google Scholar] [CrossRef]
  32. Yuan, K.; He, D.; Jiang, Z.; Gao, L.; Tang, Z.; Giles, C.L. Automatic Generation of Headlines for Online Math Questions. Proc. Conf. AAAI Artif. Intell. 2020, 34, 9490–9497. [Google Scholar] [CrossRef]
  33. Dhar, S.; Roy, S. Mathematical Document Retrieval System based on Signature Hashing. Aptikom J. Comput. Sci. Inf. Technol. 2019, 4, 45–56. [Google Scholar] [CrossRef]
  34. Scharpf, P.; Mackerracher, I.; Schubotz, M.; Beel, J.; Breitinger, C.; Gipp, B. AnnoMathTeX: A Formula Identifier Annotation Recommender System for STEM Documents. In Proceedings of the 13th ACM Conference, Copenhagen, Denmark, 16–20 September 2019. [Google Scholar]
  35. Zanibbi, R.; Aizawa, A.; Kohlhase, M.; Ounis, I.; Topi´c, G.; Davila, K. NTCIR-12 Mathir Task Overview. In Proceedings of the NTCIR National Institute of Informatics(NII), Tokyo, Japan, 7–10 June 2016. [Google Scholar]
  36. Torra, V. Hesitant fuzzy sets. Int. J. Intell. Syst. 2010, 25, 529–539. [Google Scholar] [CrossRef]
  37. Xu, Z.; Xia, M. Distance and similarity measures for hesitant fuzzy sets. Inf. Sci. 2011, 181, 2128–2138. [Google Scholar] [CrossRef]
  38. Huang, Z.; Wei, X.; Kai, Y. Bidirectional LSTM-CRF Models for Sequence Tagging. arXiv 2015, arXiv:1508.01991. [Google Scholar]
  39. Oliveira, R.M.; Gonzaga, F.B.; Barbosa, V.C.; Xexéo, G.B. A distributed System for SearchOnMath Based on The Microsoft BizSpark Program. arXiv 2017, arXiv:1711.04189. [Google Scholar]
Figure 1. Scientific document retrieval and ranking model.
Figure 1. Scientific document retrieval and ranking model.
Entropy 24 00810 g001
Figure 2. Example of a mathematical expression and its context. This document is from the open source dataset Ntcir-Mathir-Wikipedia-Corpus (http://research.nii.ac.jp/ntcir/permission/ntcir-12/perm-en-MathIR.html (accessed on 1 May 2022)).
Figure 2. Example of a mathematical expression and its context. This document is from the open source dataset Ntcir-Mathir-Wikipedia-Corpus (http://research.nii.ac.jp/ntcir/permission/ntcir-12/perm-en-MathIR.html (accessed on 1 May 2022)).
Entropy 24 00810 g002
Figure 3. Scientific document index.
Figure 3. Scientific document index.
Entropy 24 00810 g003
Figure 4. Sentence similarity calculation model.
Figure 4. Sentence similarity calculation model.
Entropy 24 00810 g004
Figure 5. NDCG@5 and NDCG@10 values. (a) Chinese dataset. (b) English dataset.
Figure 5. NDCG@5 and NDCG@10 values. (a) Chinese dataset. (b) English dataset.
Entropy 24 00810 g005
Figure 6. Comparison of NDCG@10 values of other methods with those of our method.
Figure 6. Comparison of NDCG@10 values of other methods with those of our method.
Entropy 24 00810 g006
Table 1. Result expressions hesitant fuzzy sets.
Table 1. Result expressions hesitant fuzzy sets.
MembershipOriginal Expression LengthParsing Expression LengthSub-ExpressionThe Number of Sub-Expressions
ID
1 μ l e n e i R E 1 μ l e n e c R E 1 μ s u b 1 R E 1 , μ s u b 2 R E 1 μ s u b i R E 1 μ s u b n R E 1 μ n u m s u b R E 1
2 μ l e n e i R E 2 μ l e n e c R E 2 μ s u b 1 R E 2 , μ s u b 2 R E 2 μ s u b i R E 2 μ s u b n R E 2 μ n u m s u b R E 2
k μ l e n e i R E K μ l e n e c R E K μ s u b 1 R E K , μ s u b 2 R E K μ s u b i R E K μ s u b n R E K μ n u m s u b R E K
nR μ l e n e i R E n R μ l e n e c R E n R μ s u b 1 R E n R , μ s u b 2 R E n R μ s u b i R E n R μ s u b n R E n R μ n u m s u b R E n R
Table 2. Query expressions and related statements.
Table 2. Query expressions and related statements.
IDQuery ExpressionsQuery Statements
1 x ¯ = 1 n i = 1 n x i Given n samples data, the sample mean is
2 x = b ± b 2 4 a c 2 a Two solutions of any quadratic polynomial can be expressed as follows
3 sin 2 θ + cos 2 θ = 1 The basic relationship between sines and cosines is called the Pythagorean theorem
4 lim x a f ( x ) = L means that ƒ(x) can be made as close as desired to L by making x close enough but not equal to a
5 a b f ( x ) d x The definite integral ƒ(x) over an interval [a, b] can be written as
6 f ( x ) = a x 2 + b x + c The quadratic polynomial of ƒ(x) can be expressed as follows
7 E = m c 2 The relationship between mass and energy in special relativity is as follows
8O(n2)The time complexity of the algorithm is
9 r s = 2 G M c 2 G denotes Newton’s gravitational constant, m denotes the mass of the electron, and c denotes the speed of light
10 E = 1 2 m v 2 The kinetic energy formula is expressed as follows
Table 3. MAP_k values of mathematical expressions.
Table 3. MAP_k values of mathematical expressions.
Dataset NameMAP_5MAP_10MAP_15
English dataset0.8310.8150.765
Chinese dataset0.8230.8020.712
Table 4. MAP_k and NDCG@k at Top-k Results.
Table 4. MAP_k and NDCG@k at Top-k Results.
MethodNDCG@5NDCG@10MAP_5MAP_10
English Chinese English Chinese English Chinese English Chinese
Math expressions0.8300.8510.7070.7540.8230.7960.7030.685
Text0.7500.7990.6850.7270.8030.7630.6900.703
Content0.8920.8870.8160.7990.8500.8300.8000.754
Content and ontology0.9130.9230.9000.9060.8920.8740.8750.854
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Jiang, X.; Tian, B.; Tian, X. Retrieval and Ranking of Combining Ontology and Content Attributes for Scientific Document. Entropy 2022, 24, 810. https://doi.org/10.3390/e24060810

AMA Style

Jiang X, Tian B, Tian X. Retrieval and Ranking of Combining Ontology and Content Attributes for Scientific Document. Entropy. 2022; 24(6):810. https://doi.org/10.3390/e24060810

Chicago/Turabian Style

Jiang, Xinyu, Bingjie Tian, and Xuedong Tian. 2022. "Retrieval and Ranking of Combining Ontology and Content Attributes for Scientific Document" Entropy 24, no. 6: 810. https://doi.org/10.3390/e24060810

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop