{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T07:46:00Z","timestamp":1772264760985,"version":"3.50.1"},"reference-count":86,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,29]],"date-time":"2010-12-29T00:00:00Z","timestamp":1293580800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s10462-010-9197-3","type":"journal-article","created":{"date-parts":[[2010,12,28]],"date-time":"2010-12-28T08:46:10Z","timestamp":1293525970000},"page":"339-368","source":"Crossref","is-referenced-by-count":36,"title":["Semantic web reasoners and languages"],"prefix":"10.1007","volume":"35","author":[{"given":"R. B.","family":"Mishra","sequence":"first","affiliation":[]},{"given":"Sandeep","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,12,29]]},"reference":[{"key":"9197_CR1","unstructured":"Acciarri A, Calvanese D, Giacomo GD, Lembo D, Lenzerini M, Palmieri M, Rosati R (2005) QuOnto: Querying ontologies. In: Proceedings of the 20th national conference on artificial intelligence (AAAI 2005)"},{"key":"9197_CR2","unstructured":"Areces C, Bouma W, Rijke MD (1999) Description logics and feature interaction. In: Lambrix et\u00a0al (eds) Proceedings of the international workshops on description logics (DL\u201999), Linkoping, Sweden"},{"key":"9197_CR3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/122296.122298","volume":"2\/3","author":"F Baader","year":"1991","unstructured":"Baader F, Hollunder B (1991) KRIS: knowledge representation and inference system. SIGART Bull 2\/3: 8\u201314","journal-title":"SIGART Bull"},{"key":"9197_CR4","unstructured":"Baader F, Calvanese D, Giacomo GD, Fillottrani P, Franconi E, Grau BC, Horrocks I, Kaplunova A, Lembo D, Lenzerini M, Lutz C, Moller R, Parsia B, Patel-Schneider P, Rosati R, Suntisrivaraporn B, Tessaris S (2006) Formalisms for representing ontologies: state of the art survey. TONES"},{"key":"9197_CR5","volume-title":"The description logic handbook","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2003) The description logic handbook. Cambridge University Press, Cambridge"},{"key":"9197_CR6","unstructured":"Baader F, Horrocks I, Sattler U (2001) Description logics for the semantic web"},{"key":"9197_CR7","unstructured":"Baader F, Lutz C, Suntisrivaraporn B (2006a) Efficient reasoning in EL^+. In: Proceedings of the 2006 international workshop on description logics (DL2006), CEUR-WS"},{"key":"9197_CR8","doi-asserted-by":"crossref","unstructured":"Baader F, Lutz C, Suntisrivaraporn B (2006b) CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach U, Shankar N (eds) Proceedings of the 3rd international joint conference on automated reasoning (IJCAR\u201906). Lect Notes Artif Intell 4130:287\u2013291","DOI":"10.1007\/11814771_25"},{"key":"9197_CR9","doi-asserted-by":"crossref","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am May, 2001","DOI":"10.1038\/scientificamerican0501-34"},{"key":"9197_CR10","unstructured":"Bertino E, Provetti A, Salvetti F (2005) Reasoning about RDF statements with default rules. In: W3C workshop on rule languages for interoperability"},{"key":"9197_CR11","unstructured":"Bhoopalam K, Haarslev V (2005) Fire \u2013 Extending Racer by an Engine for SWRL Rules. http:\/\/users.encs.concordia.ca\/~haarslev\/publications\/DL2005-Fire-a.pdf"},{"key":"9197_CR12","doi-asserted-by":"crossref","unstructured":"Blackburn P, van Benthem J, Wolter F (eds) (2006) Handbook of modal logic. North Holland","DOI":"10.1002\/9780470996751.ch27"},{"key":"9197_CR13","doi-asserted-by":"crossref","unstructured":"Borgida A, Brachman RJ, McGuinness DL, Resnick LA (1989) CLASSIC: a structural data model for objects. In: Proceedings of the ACM SIGMOD international conference on management of data, pp 59\u201367","DOI":"10.1145\/67544.66932"},{"key":"9197_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0020-7373(77)80017-5","volume":"9\/2","author":"RJ Brachman","year":"1977","unstructured":"Brachman RJ (1977) What\u2019s in a concept: structural foundations for semantic networks. Int J Man-Machine Stud 9\/2: 127\u2013152","journal-title":"Int J Man-Machine Stud"},{"key":"9197_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-256380-5.50007-4","volume-title":"Associative networks","author":"RJ Brachman","year":"1979","unstructured":"Brachman RJ (1979) On the epistemological status of semantic networks. In: Findler NV (eds) Associative networks. Academic Press, San Diego, pp 3\u201350"},{"key":"9197_CR16","unstructured":"Brachman RJ, Fikes RE, Levesque HJ (1983) KRYPTON: integrating terminology and assertion. In: Proceedings of the 3th national conference on artificial intelligence (AAAI\u201983), pp 31\u201335"},{"key":"9197_CR17","unstructured":"Brachman RJ, Gilbert VP, Hector J (1985) Levesque. An essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON. In: Proceedings of the 9th international joint conference on artificial intelligence (IJCAI\u201985), pp 532\u2013539"},{"key":"9197_CR18","unstructured":"Bresciani P, Franconi E, Tessaris S (1995) Implementing and testing expressive description logics: preliminary report. In: Proceedings of the 1995 description logic workshop (DL\u201995), pp 131\u2013139"},{"key":"9197_CR19","unstructured":"De Bruijn J, Feier C, Keller U, Lara R, Polleres A, Predoiu L (2005) WSML reasoner survey. WSML working draft, http:\/\/www.wsmo.org\/TR\/d16\/d16.2\/v0.2\/20050902\/"},{"key":"9197_CR20","doi-asserted-by":"crossref","unstructured":"De Bruijn J, Lausen H, Polleres A, Fensel D (2006) The web service modeling language: an overview. In: Proceedings of the 3rd European semantic web conference (ESWC2006). Lect Notes Comput Sci 4011:590\u2013604","DOI":"10.1007\/11762256_43"},{"key":"9197_CR21","unstructured":"Dimitrov M, Simov A, Ognyanov D (2005) WSMO Studio\u2014an integrated service environment for WSMO. In: Proceedings of the workshop on WSMO implementations (WIW 2005), Innsbruck, Austria, CEUR workshop proceedings. ISSN:1613-0073"},{"key":"9197_CR22","unstructured":"Dresden TU (2006) A polynomial-time classifier for the description logic EL+, http:\/\/lat.inf.tu-dresden.de\/systems\/cel\/"},{"key":"9197_CR23","doi-asserted-by":"crossref","unstructured":"Fensel D, Harmelen FV (2001) OIL: an ontology infrastructure for the semantic web. IEEE Intell Syst 38\u201344","DOI":"10.1109\/5254.920598"},{"key":"9197_CR24","unstructured":"Filles C, GmbH S, Falkensee Ng G, Thunell A (2003) CerebraConstruct: inferences for end users. The twelfth international world wide web conference, Budapest, Hungary. http:\/\/www2003.org\/cdrom\/papers\/poster\/p087\/Poster87.html"},{"key":"9197_CR25","first-page":"599","volume":"42\/5","author":"C Fillies","year":"2003","unstructured":"Fillies C, Wood-Albrecht G, Weichhardt F (2003) Pragmatic applications of the semantic web using SemTalk. Computer networks, the semantic web: an evolution for a revolution. Sci Direct 42\/5: 599\u2013615","journal-title":"Sci Direct"},{"key":"9197_CR26","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G (2009) HermiT: reasoning with large ontologies, http:\/\/www.comlab.ox.ac.uk\/projects\/HermiT\/index.html , Computing Laboratory, Oxford University"},{"key":"9197_CR27","volume-title":"Description logics for matchmaking of services","author":"J Gonzalez-Castillo","year":"2001","unstructured":"Gonzalez-Castillo J, Trastour D, Bartolini C (2001) Description logics for matchmaking of services. Hewlett-Packard, New York"},{"key":"9197_CR28","doi-asserted-by":"crossref","unstructured":"Groot P, Stuckenschmidt H, Wache H (2005) Approximating description logic classification for semantic web reasoning. www.cs.vu.nl\/~holger\/Papers\/groot_etal-05.pdf","DOI":"10.1007\/11431053_22"},{"key":"9197_CR29","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo Y, Pan Z, Heflin J (2005) LUBM: a benchmark for OWL knowledge base systems. J Web Semantics 3: 158\u2013192","journal-title":"J Web Semantics"},{"key":"9197_CR30","doi-asserted-by":"crossref","unstructured":"Haarslev V, Moller R (2000) Consistence testing: the RACE experience. In: Dyckhoff R (ed) Proceedings, automated reasoning with analytic tableaux and related methods. Lect Notes Artif Intell 1847:57\u201361","DOI":"10.1007\/10722086_5"},{"key":"9197_CR31","unstructured":"Hollunder B, Laux A, Profitlich HJ, Trenz T (1991) KRIS-manual. Technical report. Deutsches Forschungszentrum fur Kunstliche Intelligenz (DFKI)"},{"key":"9197_CR32","unstructured":"Horrocks I (2003) The FaCT System. http:\/\/www.cs.man.ac.uk\/~horrocks\/FaCT\/ , website last updated on April, 2003"},{"key":"9197_CR33","unstructured":"Horrocks I (1997) Optimisation techniques for expressive description logics. Technical report UMCS-97-2-1, University of Manchester, Department of Computer Science"},{"key":"9197_CR34","unstructured":"Horrocks I (2001) DAML+OIL: a description logic for the semantic Web. Bull IEEE Comput Soc Techn Committee Data Eng 1\u20137"},{"key":"9197_CR35","doi-asserted-by":"crossref","unstructured":"Horrocks I (2005) Description logics in ontology applications. In: Beckert B (ed) Proceedings of the 9th international conference on automated reasoning with analytic tableaux and related methods (TABLEAUX 2005). Lect Notes Artif Intell 3702:2\u201313","DOI":"10.1007\/11554554_2"},{"key":"9197_CR36","unstructured":"Horrocks I, Tobies S (2000) Reasoning with axioms: theory and practice. In: Cohn et\u00a0al. (ed) Internatinal conference on principles of knowledge representation and reasoning (KR\u20192000), pp 283\u2013296"},{"key":"9197_CR37","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3\/1","author":"I Horrocks","year":"2005","unstructured":"Horrocks I, Patel-Schneider PF, Bechhofer S, Tsarkov D (2005) OWL rules: a proposal and prototype implementation. Web Semantics 3\/1: 23\u201340","journal-title":"Web Semantics"},{"key":"9197_CR38","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M (2004) SWRL: a semantic web rule language combining OWL and RuleML, http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"9197_CR39","doi-asserted-by":"crossref","unstructured":"Hustadt U, Schmidt RA (2000) MSPASS: modal reasoning by translation and first-order resolution. In: Dyckhoff R (ed) Automated reasoning with analytic tableaux and related methods (TABLEAUX 2000). Lect Notes Artif Intell 1847:67\u201371","DOI":"10.1007\/10722086_7"},{"key":"9197_CR40","unstructured":"Kaczmarek TS, Bates R, Robins G (1986) Recent developments in NIKL. In: AAAI-86 Proceedings, www.aaai.org"},{"key":"9197_CR41","unstructured":"Kerrigan M (2005) The WSML editor plug-in to the web services modeling toolkit. In: Proceedings of the 2nd WSMO implementation workshop (WIW2005). Innsbruck, Austria"},{"key":"9197_CR42","doi-asserted-by":"crossref","unstructured":"Kifer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J Assoc Comput Machinery 1\u2013104","DOI":"10.1145\/210332.210335"},{"key":"9197_CR43","doi-asserted-by":"crossref","unstructured":"Kopena J, Regil WC (2003) DAMLJessKB: a tool for reasoning with the semantic web. IEEE Intelligent Systems, IEEE Computer Society, IEEE, pp 74\u201377","DOI":"10.1109\/MIS.2003.1200733"},{"key":"9197_CR44","unstructured":"Lara R, Polleres A, Lausen H, Roman D, de Bruijn J, Fensel D (2005) A conceptual comparison between WSMO and OWL-S. Final draft D4.1v0.1, WSMO. http:\/\/www.wsmo.org\/TR\/d4\/d4.1\/v0.1\/"},{"key":"9197_CR45","unstructured":"Lenzerini M, Schaerf A (1991) Concept languages as query languages. In: Proceedings of the 9th national conference on artificial intelligence (AAAI\u201991), pp 471\u2013476"},{"key":"9197_CR46","unstructured":"MacGregor R, Brill D (1992) Recognition algorithms for the LOOM classifier. In: Proceedings of the 10th national conference on artificial intelligence (AAAI\u201992). AAAI Press\/The MIT Press, pp 774\u2013779"},{"key":"9197_CR47","unstructured":"MacGregor R (1988) A deductive pattern matcher. In: Proceedings of the 7th national conference on artificial intelligence (AAAI\u201988), pp 403-408"},{"key":"9197_CR48","first-page":"385","volume-title":"Principles of SemanticNetworks","author":"R MacGregor","year":"1991","unstructured":"MacGregor R (1991) The evolving technology of classification-based knowledge representation systems. In: Sowa JF (eds) Principles of SemanticNetworks. Morgan Kaufmann, Los Altos, pp 385\u2013400"},{"key":"9197_CR49","unstructured":"MacGregor R, Bates R (1987) The loom knowledge representation language. Technical report ISI\/RS-87-188, University of Southern California, Information Science Institute, Marina del Rey (CA, USA)"},{"key":"9197_CR50","unstructured":"Manola F, Miller E (2004) RDF primer. http:\/\/www.w3.org\/TR\/rdf-prime\/"},{"key":"9197_CR51","unstructured":"Marchiori M (2004) Towards a people\u2019s web: metalog. http:\/\/www.w3.org\/People\/Massimo\/papers\/2004\/wi2004.pdf"},{"key":"9197_CR52","unstructured":"Martin D (2002) DAML-S: Semantic markup for web services. http:\/\/www.daml.org\/services\/daml-s\/0.7\/daml-s.html#foot27 , web site last updated Oct, 2002"},{"key":"9197_CR53","unstructured":"Martin D (2003) OWL-S: semantic markup for web services. The OWL Services Coalition"},{"key":"9197_CR54","unstructured":"McAllester DA (1982) Reasoning utility package user\u2019s manual. Massachusetts Institute of Technology, Technical report"},{"key":"9197_CR55","doi-asserted-by":"crossref","unstructured":"McGuinness DL, Fikes R, Hendler J, Stein LA (2002) DAML+OIL: an ontology language for the semantic web. IEEE Intelligent Systems, IEEE, pp 72\u201380","DOI":"10.1109\/MIS.2002.1039835"},{"key":"9197_CR56","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/TKDE.2007.190699","volume":"20\/3","author":"G Meditskos","year":"2008","unstructured":"Meditskos G, Bassiliades N (2008) A rule-based object-oriented OWL reasoner. IEEE Trans Knowl Data Eng 20\/3: 397\u2013410","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"9197_CR57","doi-asserted-by":"crossref","unstructured":"Motik B, Sattler U (2006) A comparison of reasoning techniques for querying large description logic ABoxes. In: Proceedings of the 13th international conference on logic for programming artificial intelligence and reasoning (LPAR 2006), Phnom Penh, Cambodia","DOI":"10.1007\/11916277_16"},{"key":"9197_CR58","unstructured":"Motik B (2007) KAON2. http:\/\/kaon2.semanticweb.org\/ , website accessed on Feb 15, 07"},{"key":"9197_CR59","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34\/3","author":"B Nebel","year":"1988","unstructured":"Nebel B (1988) Computational complexity of terminological reasoning in BACK. Artif Intell 34\/3: 371\u2013383","journal-title":"Artif Intell"},{"key":"9197_CR60","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B Nebel","year":"1990","unstructured":"Nebel B (1990) Terminological reasoning is inherently intractable. Artif Intell 43: 235\u2013249","journal-title":"Artif Intell"},{"key":"9197_CR61","unstructured":"Neuwirth A (1993) Inferences for temporal object descriptions in a terminological representation system. KIT-report 107, Fachbereich Informatik, Technische Universit\u00e4t Berlin, Berlin (Germany)"},{"key":"9197_CR62","unstructured":"O\u2019Connor M, Tu S, Nyulas C, Das A, Musen M (2007) Querying the semantic web with SWRL. http:\/\/bmir.stanford.edu\/file_asset\/index.php\/1125\/RuleML2007DemoFinalSubmit.pdf"},{"key":"9197_CR63","unstructured":"Parsia B, Sirin E (2003) Pellet: an OWL DL reasoner. MINDSWAP Research Group, Supporting Reasoners and Softwares"},{"key":"9197_CR64","unstructured":"Patel-Schneider PF (1984) Small can be beautiful in knowledge representation. In: Proceedings of the IEEE workshop on knowledge-based systems, 1984. An extended version appeared as Fairchild technical report 660 and FLAIR technical report 37"},{"key":"9197_CR65","unstructured":"Patel-Schneider PF (1987) Decidable, logic-based knowledge representation. PhD thesis, Department of Computer Science, University of Toronto, Ontario, Canada, Available as Technical report 201\/87"},{"key":"9197_CR66","unstructured":"Patel-Schneider PF (1998) The classic family of knowledge representation systems. http:\/\/www.bell-labs.com\/project\/classic\/ , website last updated Nov, 1998"},{"key":"9197_CR67","unstructured":"Patel-Schneider PF (1999) DLP. In Proc. of the 1999 Description Logic Workshop (DL\u201999), CEUR Electronic Workshop Proceedings, , pp 9\u201313. http:\/\/ceur-ws.org\/Vol-22\/"},{"key":"9197_CR68","unstructured":"Patel-Schneider PF (2000) NeoClassic: the C++ version of classic. http:\/\/www.bell-labs.com\/project\/classic\/neo.html , website last updated Oct, 2000"},{"key":"9197_CR69","unstructured":"Patel-Schneider PF (2000a) The DLP experimental description logic system and propositional modal logic satisfiability checker. http:\/\/www-db-out.bell-labs.com\/user\/pfps\/dlp\/ , website last updated Jan, 2000"},{"key":"9197_CR70","doi-asserted-by":"crossref","unstructured":"Payne T, Tamma V (2005) Towards semantic web agents: Knowledge Web and AgentLink. Cambridge University Press, UK. Knowl Eng Rev 20(2):191\u2013196","DOI":"10.1017\/S0269888905000500"},{"issue":"3","key":"9197_CR71","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C Peltason","year":"1991","unstructured":"Peltason C (1991) The BACK system\u2013an overview. SIGART Bull 2(3): 114\u2013119","journal-title":"SIGART Bull"},{"key":"9197_CR72","unstructured":"Predoiu L, Grimm S (2005) Reasoner technology scan and recommendation. Data, information and process integration with semantic web services, FP6-507483, http:\/\/dip.semanticweb.org\/"},{"key":"9197_CR73","unstructured":"Quantz J, Kindermann C (1990) Implementation of the BACK system version 4, KIT-Report 78, Fachbereich Informatik, Technische Universit\u00e4t Berlin, Berlin"},{"key":"9197_CR74","unstructured":"Quantz J, Dunker G, Bergmann F, Kellner I (1995) The FLEX system, KIT-Report 124, Fachbereich Informatik, Technische Universit\u00e4t Berlin, Berlin"},{"key":"9197_CR75","unstructured":"Quantz J, Royer V (1992) A preference semantics for defaults in terminological logics. In Proceedings of the 3rd international conference on the principles of knowledge representation and reasoning (KR\u201992), Morgan Kaufmann, Los Altos, pp 294\u2013305"},{"key":"9197_CR76","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1\/1","author":"D Roman","year":"2005","unstructured":"Roman D, Keller U, Lausen H, Josde Bruijn RL, Stollberg M, Polleres A, Feier C, Bussler C, Fensel D (2005) Web service modeling ontology. Appl Ontol 1\/1: 77\u2013106","journal-title":"Appl Ontol"},{"key":"9197_CR77","unstructured":"Sattler U (2007) Description logic reasoners. http:\/\/www.cs.man.ac.uk\/~sattler\/reasoners.html , website accessed on Feb 19, 2007"},{"key":"9197_CR78","doi-asserted-by":"crossref","unstructured":"Schild K (1993) Combining terminological logics with tense logic. In: Proceedings of the 6th Portuguese conference on artificial intelligence (EPIA\u201993). Lect Notes Comput Sci 727:105\u2013120","DOI":"10.1007\/3-540-57287-2_41"},{"key":"9197_CR79","unstructured":"Schmidt R (1991) Algebraic terminological representation. Technical report, Max Planck Institute for Computer Science, MPI-Report MPI-I-91-216"},{"key":"9197_CR80","unstructured":"Schmidt RA (2007) MSPASS: documentation. http:\/\/www.cs.man.ac.uk\/~schmidt\/mspass\/documentation.html , website last modified Feb, 2007"},{"key":"9197_CR81","unstructured":"SeanBechhofer, Harmelen FV, Hendler J, Horrocks I, McGuinness DL, Patel-Schneider PF, Stein LA (2004) OWL web ontology language reference. http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/"},{"key":"9197_CR82","unstructured":"Steele G (1990) Common Lisp, the language, 2nd edn. Digital Press"},{"key":"9197_CR83","doi-asserted-by":"crossref","unstructured":"Tsarkov D, Horrocks I (2006) FaCT++ description logic reasoner: system description. www.cs.man.ac.uk\/~horrocks\/Publications\/download\/2006\/TsHo06a.pdf , 2006","DOI":"10.1007\/11814771_26"},{"key":"9197_CR84","unstructured":"Vilain M (1985) The restricted language architecture of a hybrid representation system. In: Proceedings of the 9th international joint conference on artificial intelligence (IJCAI\u201985), Morgan Kaufmann, Los Altos, pp 547\u2013551"},{"key":"9197_CR85","unstructured":"Vilas W, Chutiporn A, Ekawit N (1998) Reasoning about RDF elements. In: Proceedings of international joint workshop on digital libraries"},{"key":"9197_CR86","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/69.75885","volume":"3\/1","author":"J Yen","year":"1991","unstructured":"Yen J, Neches R, MacGregor R (1991) CLASP: integrating term subsumption systems and production systems. IEEE Trans Knowl Data Eng 3\/1: 25\u201331","journal-title":"IEEE Trans Knowl Data Eng"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-010-9197-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-010-9197-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-010-9197-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T04:36:47Z","timestamp":1740803807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-010-9197-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,29]]},"references-count":86,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9197"],"URL":"https:\/\/doi.org\/10.1007\/s10462-010-9197-3","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,29]]}}}