A formal model of semantic computing. (English) Zbl 1418.68095
Summary: In the existing works of semantic computing (SC), the word “computing” in the phrase “semantic computing” means computational implementations of semantics reasoning (e.g., ontology reasoning, rule reasoning, semantic query, and semantic search) but is irrelevant to the formal theory of computation (e.g., computational models such as finite automaton, pushdown automaton, and Turing machine). In this paper, we propose a different understanding of “semantic computing” from a computation theory perspective. Concretely, we present a formal model of SC in terms of automata and discuss SC for the two most important and simplest types of automata, namely finite automata and pushdown automata. For each automaton, we first consider a simple case (equivalent concepts) and then, we further investigate a general situation (semantically related concepts). That is, some new automata for SC are provided: finite (or pushdown) automaton for SC under equivalent concepts, finite (or pushdown) automaton for SC w.r.t. external words, nondeterministic finite automaton for SC under equivalent concepts (or w.r.t. external words), fuzzy finite (or pushdown) automaton for SC under semantically related concepts, and fuzzy finite (or pushdown) automaton for SC w.r.t. external words. Furthermore, we give some properties of these new automata for SC and prove that these new automata are extensions (or enlargements) of traditional (fuzzy) automata.
MSC:
| 68Q10 | Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) |
| 68Q45 | Formal languages and automata |
| 68Q55 | Semantics in the theory of computing |
Keywords:
semantic computing; finite automata; pushdown automata; fuzzy finite automata; fuzzy pushdown automataReferences:
| [1] | Abello A, Romero O, Pedersen TB, Berlanga R, Nebot V, Aramburu MJ, Simitsis A (2015) Using semantic Web technologies for exploratory OLAP: a survey. IEEE Trans Knowl Data Eng 2(2015):571-588 |
| [2] | Ait-Ameur Y, Baron M, Bellatreche L, Jean S, Sardet E (2017) Ontologies in engineering: the OntoDB/OntoQL platform. Soft Comput 21(2):369-389 |
| [3] | Antoniou G, D’Aquin M, Pan JZ (2011) Semantic Web dynamics. J Web Semant 9(3):245-246 |
| [4] | Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2007) The description logic handbook: theory, implementation and applications, 2nd edn. Cambridge University Press, New York · Zbl 1132.68055 |
| [5] | Ben Aouicha M, Hadj Taieb MA, Ben Hamadou A (2018) SISR: system for integrating semantic relatedness and similarity measures. Soft Comput Mar 22(6):1855-1879 |
| [6] | Berardi D, Rosa FD, Santis LD, Mecella M (2004) Finite state automata as conceptual model for e-Services. J Integr Des Process Sci 8(2):105-121 |
| [7] | Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):34-43 |
| [8] | Bizer C, Lehmann J, Kobilarov G, Auer S, Becker C, Cyganiak R, Hellmann S (2009) DBpedia—a crystallization point for the web of data. J Web Semant 7(3):154-165 |
| [9] | Blanco R, Halpin H, Herzig DM, Mika P, Pound J, Thompson HS, Tran T (2013) Repeatable and reliable semantic search evaluation. J Web Semant 21:14-29 |
| [10] | Breslin JG, O’Sullivan D, Passant A, Vasiliu L (2010) Semantic Web computing in industry. Comput Ind 61(8):729-741 |
| [11] | Cao Y, Chen G (2010) A fuzzy petri-nets model for computing with words. IEEE Trans Fuzzy Syst 18(3):486-499 |
| [12] | Cao Y, Xia L, Ying M (2013) Probabilistic automata for computing with words. J Comput Syst Sci 79(1):152-172 · Zbl 1261.68081 |
| [13] | Chang YC, Hsieh YL, Chen CC, Hsu WL (2017) A semantic frame-based intelligent agent for topic detection. Soft Comput 21(2):391-401 |
| [14] | Chiang I, Liu CC, Tsai Y, Kumar A (2015) A discovering latent semantics in web documents using fuzzy clustering. IEEE Trans Fuzzy Syst 23(6):2122-2134 |
| [15] | Couto FM, Silva MJ, Coutinho PM (2007) Measuring semantic similarity between Gene Ontology terms. Data Knowl Eng 61(1):137-152 |
| [16] | Dang Z, Ibarra OH, Su J (2005) On composition and lookahead delegation of e-services modeled by automata. Theoret Comput Sci 341(1-3):344-363 · Zbl 1077.68042 |
| [17] | Dubois D, Prade H (2001) Possibility theory, probability theory and multiple-valued logics: a clarification. Ann Math Artif Intell 32(1):35-66 · Zbl 1314.68309 |
| [18] | Eiter T, Ianni G, Lukasiewicz T, Schindlauer R, Tompits H (2008) Combining answer set programming with description logics for the semantic web. Artif Intell 172(12-13):1495-1539 · Zbl 1183.68595 |
| [19] | El-Qurna J, Yahyaoui H, Almulla M (2017) A new framework for the verification of service trust behaviors. Knowl Based Syst 121:7-22 |
| [20] | Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) HermiT: an OWL 2 reasoner. J Autom Reason 53(3):245-269 · Zbl 1314.68280 |
| [21] | Grau BC, Horrocks I, Motik B, Parsia B, Patel-Schneider P, Sattler U (2008) OWL 2: the next step for OWL. J Web Semant 6(4):309-322 |
| [22] | Gutierrez C, Hurtado CA, Mendelzon AO, Perez J (2011) Foundations of semantic web databases. J Comput Syst Sci 77(3):520-541 · Zbl 1215.68091 |
| [23] | Haarslev V, Hidde K, Moller R, Wessel M (2012) The RacerPro knowledge representation and reasoning system. Semant Web 3(3):267-277 |
| [24] | Hao K, Gong Z, Huo C, Sheu PCY (2011) Semantic computing and computer science. Int J Semant Comput 5(1):95-120 |
| [25] | Hasanzadeh-Mofrad M, Rezvanian A (2018) Learning automata clustering. J Comput Sci 24:379-388 |
| [26] | Heymans S, Nieuwenborgh DV, Vermeir D (2007) Open answer set programming for the semantic web. J Appl Logic 5(1):144-169 · Zbl 1116.68092 |
| [27] | Horrocks I, Patel-Schneider PF, Bechhofer S, Tsarkov D (2005) OWL rules: a proposal and prototype implementation. J Web Semant 3(1):23-40 |
| [28] | Hossein Zadeh PD, Hossein Zadeh MD, Reformat MZ (2017) Feature-driven linguistic-based entity matching in linked data with application in pharmacy. Soft Comput 21(2):353-368 |
| [29] | Jiang Y (2018) A general type-2 fuzzy model for computing with words. Int J Intell Syst 33(4):713-758 |
| [30] | Jiang Y, Tang Y (2014) An interval type-2 fuzzy model of computing with words. Inf Sci 281:418-442 · Zbl 1355.68161 |
| [31] | Jiang Y, Tang Y, Deng P (2006) A service composition model based on finite state automata. CAAI Trans Intell Syst 1(2):48-57 |
| [32] | Jiang Y, Zhang X, Tang Y, Nie R (2015) Feature-based approaches to semantic similarity assessment of concepts using Wikipedia. Inf Process Manag 51(3):215-234 |
| [33] | Jiang Y, Bai W, Zhang X, Hu J (2017) Wikipedia-based information content and semantic similarity computation. Inf Process Manag 53(1):248-265 |
| [34] | Jin J, Kim M, Rivett P (2015) Semantic computing for education. Int J Semant Comput 9(3):395-413 |
| [35] | Kim J, Ostrowski DA, Yamaguch H, Sheu PCY (2013) Semantic computing and business intelligence. Int J Semant Comput 7(1):87-117 |
| [36] | Kim J, Wang G, Bae ST (2014) A survey of big data technologies and how semantic computing can help. Int J Semant Comput 8(1):99-117 |
| [37] | Laura L, Me G (2017) Searching the Web for illegal content: the anatomy of a semantic search engine. Soft Comput 21(5):1245-1252 |
| [38] | Letelier A, Perez J, Pichler R, Skritek S (2013) Static analysis and optimization of semantic web queries. ACM Trans Database Syst 38(4):Article 25 · Zbl 1321.68129 |
| [39] | Li Y, Bandar ZA, McLean D (2003) An approach for measuring semantic similarity between words using multiple information sources. IEEE Trans Knowl Data Eng 15(4):871-882 |
| [40] | Liu H, Bao H, Xu D (2012) Concept vector for semantic similarity and relatedness based on WordNet structure. J Syst Softw 85(2):370-381 |
| [41] | Medelyan O, Milne D, Legg C, Witten IH (2009) Mining meaning from Wikipedia. Int J Hum Comput Stud 67(9):716-754 |
| [42] | Moradabadi B, Meybodi MR (2018) Link prediction in weighted social networks using learning automata. Eng Appl Artif Intell 70:16-24 · Zbl 1390.68450 |
| [43] | Pirro G (2009) A semantic similarity metric combining features and intrinsic information content. Data Knowl Eng 68(11):1289-1308 |
| [44] | Ponzetto SP, Strube M (2007) Knowledge derived from Wikipedia for computing semantic relatedness. J Artif Intell Res 30:181-212 · Zbl 1182.68291 |
| [45] | Pulido JRG, Ruiz MAG, Herrera R, Cabello E, Legrand S, Elliman D (2006) Ontology languages for the semantic web: a never completely updated review. Knowl Based Syst 19(7):489-497 |
| [46] | Punnoose R, Crainiceanu A, Rapp D (2015) SPARQL in the cloud using Rya. Inf Syst 48:181-195 |
| [47] | Puttonen J, Lobov A, Soto MAC, Lastra JLM (2015) Planning-based semantic web service composition in factory automation. Adv Eng Inform 29(4):1041-1054 |
| [48] | Qiu D, Wang H (2005) A probabilistic model of computing with words. J Comput Syst Sci 70(2):176-200 · Zbl 1075.68047 |
| [49] | Ramos L (2015) Semantic Web for manufacturing, trends and open issues: toward a state of the art. Comput Ind Eng 90:444-460 |
| [50] | Ross S (2012) A first course in probability, 9th edn. Pearson, London |
| [51] | Shamsizadeh M, Zahedi MM (2016) Intuitionistic general fuzzy automata. Soft Comput 20(9):3505-3519 · Zbl 1370.68191 |
| [52] | Sheu PCY, Yu H, Ramamoorthy CV, Joshi AK, Zadeh LA (2010) Semantic computing. IEEE Press, Wiley, New York · Zbl 1192.68282 |
| [53] | Sipser M (2013) Introduction of the theory of computation, 3rd edn. Cengage Learning, Boston · Zbl 1169.68300 |
| [54] | Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical OWL-DL reasoner. J Web Semant 5(2):51-53 |
| [55] | Sohn M, Jeong S, Kim J, Lee HJ (2017) Crowdsourced healthcare knowledge creation using patients’ health experience-ontologies. Soft Comput 21(18):5207-5221 |
| [56] | Staab S, Studer R (2009) Handbook on ontologies, international handbooks on information systems, 2nd edn. Springer, Berlin · Zbl 1429.68001 |
| [57] | Storey VC, Burton-Jones A, Sugumaran V, Purao S (2008) CONQUER: a methodology for context-aware query processing on the World Wide Web. Inf Syst Res 19(1):3-25 |
| [58] | Tappolet J, Kiefer C, Bernstein A (2010) Semantic web enabled software analysis. J Web Semant 8(2-3):225-240 |
| [59] | Wang H, Qiu D (2003) Computing with words via turing machines: a formal approach. IEEE Trans Fuzzy Syst 11(6):742-753 |
| [60] | Wang HH, Gibbins N, Payne TR, Redavid D (2012) A formal model of the Semantic Web Service Ontology (WSMO). Inf Syst 37(1):33-60 |
| [61] | Wang F, Hu L, Zhou J, Hu J, Zhao K (2017) A semantics-based approach to multi-source heterogeneous information fusion in the internet of things. Soft Comput 21(8):2005-2013 |
| [62] | Ying M (2002) A formal model of computing with words. IEEE Trans Fuzzy Syst 10(5):640-652 |
| [63] | Zadeh L (1965) Fuzzy sets. Inf Control 8(3):338-353 · Zbl 0139.24606 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
