{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T15:01:47Z","timestamp":1761663707188},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,2,15]],"date-time":"2018-02-15T00:00:00Z","timestamp":1518652800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11704-016-6397-2","type":"journal-article","created":{"date-parts":[[2018,2,15]],"date-time":"2018-02-15T09:56:07Z","timestamp":1518688567000},"page":"139-156","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["ComR: a combined OWL reasoner for ontology classification"],"prefix":"10.1007","volume":"13","author":[{"given":"Changlong","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaowang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guozheng","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daoxun","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,15]]},"reference":[{"issue":"1","key":"6397_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider P F, van Harmelen F. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics, 2003, 1(1): 7\u201326","journal-title":"Journal of Web Semantics"},{"key":"6397_CR2","volume-title":"Web ontology language OWL abstract ayntax and aemantics","author":"P Patel-Schneider","year":"2004","unstructured":"Patel-Schneider P, Hayes P, Horrocks I. Web ontology language OWL abstract ayntax and aemantics. W3C Recommendation, 2004"},{"issue":"4","key":"6397_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau B, Horrocks I, Motik B, Parsia B, Patel-Schneider P F, Sattler U. OWL 2: the next step for OWL. Journal of Web Semantics, 2008, 6(4): 309\u2013322","journal-title":"Journal of Web Semantics"},{"key":"6397_CR4","volume-title":"OWL 2 Web ontology language direct semantics","author":"B Motik","year":"2009","unstructured":"Motik B, Patel-Schneider P F, Cuenca Grau B. OWL 2 Web ontology language direct semantics. W3C Recommendation, 2009"},{"issue":"5","key":"6397_CR5","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T Berners-Lee","year":"2001","unstructured":"Berners-Lee T, Hendler J, Lassila O. The semantic Web. Scientific American, 2001, 284(5): 28\u201337","journal-title":"Scientific American"},{"key":"6397_CR6","volume-title":"Proceedings of the 1st Workshops on OWL: Experiences and Directions","author":"A Sidhu","year":"2005","unstructured":"Sidhu A, Dillon T, Chang E, Sidhu B S. Protein ontology development using OWL. In: Proceedings of the 1st Workshops on OWL: Experiences and Directions. 2005"},{"issue":"3","key":"6397_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C Golbreich","year":"2006","unstructured":"Golbreich C, Zhang S, Bodenreider O. The foundational model of anatomy in OWL: experience and perspectives. Journal of Web Semantics, 2006, 4(3): 181\u2013195","journal-title":"Journal of Web Semantics"},{"key":"6397_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11837787_9","volume-title":"Proceedings of the 2nd International Summer School on Reasoning Web","author":"A Rector","year":"2006","unstructured":"Rector A, Rogers J. Ontological and practical issues in using a description logic to represent medical concept systems: experience from GALEN. In: Proceedings of the 2nd International Summer School on Reasoning Web. 2006, 197\u2013231"},{"issue":"4","key":"6397_CR9","first-page":"1","volume":"4","author":"D Soergel","year":"2006","unstructured":"Soergel D, Lauser B, Liang A, Fisseha F, Keizer J, Katz S. Reengineering thesauri for new applications: the AGROVOC example. Journal of Digital Information, 2006, 4(4): 1\u201323","journal-title":"Journal of Digital Information"},{"key":"6397_CR10","volume-title":"Proceedings of the 26th meeting of the IAU on Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities","author":"S Derriere","year":"2006","unstructured":"Derriere S, Richard A, Preite-Martinez A. An ontology of astronomical object types for the virtual observatory. In: Proceedings of the 26th meeting of the IAU on Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities. 2006"},{"key":"6397_CR11","volume-title":"Experiences using OWL in military applications. In: Proceedings of the 1st Workshop on OWL: Experiences and Directions","author":"L Lacy","year":"2005","unstructured":"Lacy L, Aviles G, Fraser K, Gerber W, Mulvehill A, Gaskill R. Experiences using OWL in military applications. In: Proceedings of the 1st Workshop on OWL: Experiences and Directions. 2005"},{"key":"6397_CR12","volume-title":"Proceedings of the 1st Workshop on OWL: Experiences and Directions","author":"J Goodwin","year":"2005","unstructured":"Goodwin J. Experiences of using OWL at the ordnance survey. In: Proceedings of the 1st Workshop on OWL: Experiences and Directions. 2005"},{"key":"6397_CR13","first-page":"114","volume-title":"Proceedings of the 11th International Semantic Web Conference","author":"F L\u00e9cu\u00e9","year":"2012","unstructured":"L\u00e9cu\u00e9 F, Schumann A, Sbodio M L. Applying semantic web technologies for diagnosing road traffic congestions. In: Proceedings of the 11th International Semantic Web Conference. 2012, 114\u2013130"},{"key":"6397_CR14","first-page":"611","volume-title":"Proceedings of the 11th Extended Semantic Web Conference","author":"F L\u00e9cu\u00e9","year":"2014","unstructured":"L\u00e9cu\u00e9 F, Tucker R, Bicer V, Tommasi P, Tallevi-Diotallevi S, Sbodio M. Predicting severity of road traffic congestion using semantic Web technologies. In: Proceedings of the 11th Extended Semantic Web Conference. 2014, 611\u2013627"},{"key":"6397_CR15","first-page":"305","volume-title":"Proceedings of the 10th International Semantic Web Conference","author":"Y Kazakov","year":"2011","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simanc\u00edk F. Concurrent classification of EL ontologies. In: Proceedings of the 10th International Semantic Web Conference. 2011, 305\u2013320"},{"issue":"1","key":"6397_CR16","first-page":"84","volume":"14","author":"B Glimm","year":"2011","unstructured":"Glimm B, Horrocks I, Motik B, Shearer R, Stoilos G. A novel approach to ontology classification. Journal of Web Semantics, 2011, 14(1): 84\u2013101","journal-title":"Journal of Web Semantics"},{"key":"6397_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"The description logic handbook: theory, implementation, and applications","author":"F Baader","year":"2007","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The description logic handbook: theory, implementation, and applications. Cambridge: Cambridge University Press, 2007"},{"key":"6397_CR18","first-page":"274","volume-title":"Proceedings of the 11th International Conference on Knowledge Representation and Reasoning","author":"Y Kazakov","year":"2008","unstructured":"Kazakov Y. RIQ and SROIQ are harder than SHOIQ. In: Proceedings of the 11th International Conference on Knowledge Representation and Reasoning. 2008, 274\u2013284"},{"issue":"3","key":"6397_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I Horrocks","year":"2007","unstructured":"Horrocks I, Sattler U. A tableau decision procedure for SHOIQ. Journal of Automated Reasoning, 2007, 39(3): 249\u2013276","journal-title":"Journal of Automated Reasoning"},{"key":"6397_CR20","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik B, Shearer R, Horrocks I. Hypertableau reasoning for description logics. Journal of Artificial Intelligence Research, 2009, 36: 165\u2013228","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"6397_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z. HermiT: an OWL 2 reasoner. Journal of Automated Reasoning, 2014, 53(3): 245\u2013269","journal-title":"Journal of Automated Reasoning"},{"key":"6397_CR22","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Proceedings of the 3rd International Joint Conference on Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov D, Horrocks I. FaCT++ description logic reasoner: system description. In: Proceedings of the 3rd International Joint Conference on Automated Reasoning. 2006, 292\u2013297"},{"key":"6397_CR23","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Proceedings of the 1st International Joint Conference on Automated Reasoning","author":"V Haarslev","year":"2001","unstructured":"Haarslev V, M\u00f6ller R. Racer System description. In: Proceedings of the 1st International Joint Conference on Automated Reasoning. 2001, 701\u2013705"},{"issue":"2","key":"6397_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Cuenca Grau B, Kalyanpur A, Katz Y. Pellet: a practical OWL DL reasoner. Journal of Web Semantics, 2007, 5(2): 51\u201353","journal-title":"Journal of Web Semantics"},{"key":"6397_CR25","first-page":"82","volume-title":"Proceedings of the 11th International Semantic Web Conference","author":"R S Goncalves","year":"2012","unstructured":"Goncalves R S, Parsia B, Sattler U. Performance heterogeneity and approximate reasoning in description logic ontologies. In: Proceedings of the 11th International Semantic Web Conference. 2012, 82\u201398"},{"key":"6397_CR26","first-page":"112","volume-title":"Proceedings of the 8th Reasoning Web Summer School","author":"M Kr\u00f6zsch","year":"2012","unstructured":"Kr\u00f6zsch M. OWL 2 profiles: an introduction to lightweight ontology languages. In: Proceedings of the 8th Reasoning Web Summer School. 2012, 112\u2013183"},{"key":"6397_CR27","first-page":"364","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence","author":"F Baader","year":"2005","unstructured":"Baader F, Brandt S, Lutz C. Pushing the EL envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence. 2005, 364\u2013369"},{"key":"6397_CR28","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1093\/nar\/gkh066","volume":"32","author":"M A Harris","year":"2004","unstructured":"Harris M A, Clark J, Ireland A. Gene ontology consortium: the gene ontology (GO) database and informatics resource. Nucleic Acids Research, 2004, 32: 258\u2013261","journal-title":"Nucleic Acids Research"},{"key":"6397_CR29","first-page":"714","volume-title":"Proceedings of the AMIA Annual Symposium","author":"K A Spackman","year":"2005","unstructured":"Spackman K A. Rates of change in a large clinical terminology: three years experience with snomed clinical terms. In: Proceedings of the AMIA Annual Symposium. 2005, 714\u2013718"},{"key":"6397_CR30","volume-title":"Reintroducing CEL as an OWL 2 EL reasoner. In: Proceedings of the 22nd International Workshop on Description Logics","author":"J Mendez","year":"2009","unstructured":"Mendez J, Suntisrivaraporn B. Reintroducing CEL as an OWL 2 EL reasoner. In: Proceedings of the 22nd International Workshop on Description Logics. 2009"},{"key":"6397_CR31","first-page":"858","volume-title":"Proceedings of the 1st International Workshop on OWL Reasoner Evaluation","author":"J Mendez","year":"2012","unstructured":"Mendez J. JCel: a modular rule-based reasoner. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation. 2012, 858"},{"issue":"1","key":"6397_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov Y, Kr\u00f6zsch M, Simancik F. The incredible ELK. Journal of Automated Reasoning, 2014, 53(1): 1\u201361","journal-title":"Journal of Automated Reasoning"},{"issue":"11","key":"6397_CR33","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","volume":"25","author":"B Smith","year":"2007","unstructured":"Smith B, Ashburner M, Rosse C, Bard J, Bug W, Ceusters W, Goldberg L J, Eilbeck K, Ireland A, Mungall C J, OBI Consortium, Leontis N, Rocca-Serra P, Ruttenberg A, Sansone S A, Scheuermann R H, Shah N, Whetzel L, Lewis S. The OBO foundry: coordinated evolution of ontologies to support biomedical data integration. Nature Biotechnology, 2007, 25(11): 1251\u20131255","journal-title":"Nature Biotechnology"},{"key":"6397_CR34","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","volume":"40","author":"N Sioutos","year":"2007","unstructured":"Sioutos N, De Coronado S, Haber MW, Hartel FW, Shaiu WL, Wright L W. NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. Journal of Biomedical Informatics, 2007, 40: 30\u201343","journal-title":"Journal of Biomedical Informatics"},{"key":"6397_CR35","first-page":"1","volume-title":"Proceedings of the 11th International Semantic Web Conference","author":"A Armas Romero","year":"2012","unstructured":"Armas Romero A, Cuenca Grau B, Horrocks I. MORe: modular combination of OWL Reasoners for ontology classification. In: Proceedings of the 11th International Semantic Web Conference. 2012, 1\u201316"},{"key":"6397_CR36","volume-title":"Proceedings of the 9th Internation Workshop on OWL: Experiences and Directions","author":"D Tsarkov","year":"2012","unstructured":"Tsarkov D, Palmisano I. Divide Et Impera: metareasoning for large ontologies. In: Proceedings of the 9th Internation Workshop on OWL: Experiences and Directions. 2012"},{"key":"6397_CR37","first-page":"942","volume-title":"Proceedings of the 26th International Workshop on Description Logics","author":"W Song","year":"2013","unstructured":"Song W, Spencer B, Du W. Complete classification of complex ALCHO ontologies using a hybrid reasoning approach. In: Proceedings of the 26th International Workshop on Description Logics. 2013, 942\u2013961"},{"key":"6397_CR38","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-319-08587-6_35","volume-title":"Proceedings of the 7th International Joint Conference on Automated Reasoning","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller A, Glimm B, Liebig T. Coupling tableau algorithms for expressive description logics with completion-based saturation procedures. In: Proceedings of the 7th International Joint Conference on Automated Reasoning. 2014, 449\u2013463"},{"key":"6397_CR39","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1042","volume-title":"Combining natural logic and shallow reasoning for question answering","author":"G Angeli","year":"2016","unstructured":"Angeli G, Nayak N, Manning G D. Combining natural logic and shallow reasoning for question answering. Technical Report in The Stanford Natural Language Processing Group, 2016"},{"key":"6397_CR40","first-page":"2232","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","author":"C Vescovo Del","year":"2011","unstructured":"Del Vescovo C, Parsia B, Sattler U, Schneider T. The modular structure of an ontology: atomic decomposition. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 2011, 2232\u20132237"},{"key":"6397_CR41","first-page":"25","volume-title":"Proceedings of the 19th International Conference on Conceptual Structures","author":"C Vescovo Del","year":"2011","unstructured":"Del Vescovo C, Parsia B, Sattler U. Topicality in logic-based ontologies. In: Proceedings of the 19th International Conference on Conceptual Structures. 2011, 25\u201329"},{"key":"6397_CR42","volume-title":"Proceedings of the International Workshop on Description Logics","author":"C Vescovo Del","year":"2012","unstructured":"Del Vescovo C, Parsia B, Sattler U. Logical relevance in ontologies. In: Proceedings of the International Workshop on Description Logics. 2012"},{"key":"6397_CR43","volume-title":"Proceedings of the 9th International Workshop on OWL: Experiences and Directions","author":"P Klinov","year":"2012","unstructured":"Klinov P, Del Vescovo C, Schneider T. Incrementally updateable and persistent decomposition of OWL ontologies. In: Proceedings of the 9th International Workshop on OWL: Experiences and Directions. 2012"},{"key":"6397_CR44","first-page":"65","volume-title":"Proceedings of the 13th International Semantic Web Conference","author":"M Horridge","year":"2014","unstructured":"Horridge M, Mortensen J M, Parsia B, Sattler U, Musen M A. A study on the atomic decomposition of ontologies. In: Proceedings of the 13th International Semantic Web Conference. 2014, 65\u201380"},{"key":"6397_CR45","first-page":"463","volume-title":"Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence","author":"C L Wang","year":"2013","unstructured":"Wang C L, Feng Z Y. A novel combination of reasoners for ontology classification. In: Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence. 2013, 463\u2013468"},{"issue":"1","key":"6397_CR46","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau B, Horrocks I, Kazakov Y, Sattler U. Modular reuse of ontologies: theory and practice. Journal of Artificial Intelligence Researchvol, 2008, 31(1): 273\u2013318","journal-title":"Journal of Artificial Intelligence Researchvol"},{"issue":"4","key":"6397_CR47","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9159-0","volume":"44","author":"B Cuenca Grau","year":"2010","unstructured":"Cuenca Grau B, Halaschek-Wiener C, Kazakov Y, Suntisrivaraporn B. Incremental classification of description logics ontologies. Journal of Automated Reasoning, 2010, 44(4): 337\u2013369","journal-title":"Journal of Automated Reasoning"},{"key":"6397_CR48","first-page":"130","volume-title":"Proceedings of the 10th International Semantic Web Conference","author":"C Vescovo Del","year":"2011","unstructured":"Del Vescovo C, Gessler D D, Klinov P, Parsia B, Sattler U, Schneider T, Winget A. Decomposition and modular structure of bioportal ontologies. In: Proceedings of the 10th International Semantic Web Conference. 2011, 130\u2013145"},{"key":"6397_CR49","volume-title":"The Modular structure of an ontology: atomic decomposition and its applications","author":"C Vescovo Del","year":"2013","unstructured":"Del Vescovo C. The Modular structure of an ontology: atomic decomposition and its applications. Dissertation for the Doctoral Degree. Manchester: The University of Manchester, 2013"},{"key":"6397_CR50","first-page":"1093","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","author":"F Simancik","year":"2011","unstructured":"Simancik F, Kazakov Y, Horrocks I. Consequence-based reasoning beyond horn ontologies. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence. 2011, 1093\u20131098"},{"key":"6397_CR51","first-page":"49","volume-title":"Proceedings of the 13th International Semantic Web Conference","author":"F Mart\u00edn-Recuerda","year":"2014","unstructured":"Mart\u00edn-Recuerda F, Walther D. Fast modularisation and atomic decomposition of ontologies using axiom dependency hypergraphs. In: Proceedings of the 13th International Semantic Web Conference. 2014, 49\u201364"},{"key":"6397_CR52","first-page":"318","volume-title":"Proceedings of the 2nd European Semantic Web Conference","author":"P Groot","year":"2005","unstructured":"Groot P, Stuckenschmidt H, Wache H. Approximating description logic classification for semantic Web reasoning. In: Proceedings of the 2nd European Semantic Web Conference. 2005, 318\u2013332"},{"key":"6397_CR53","first-page":"2040","volume-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence","author":"Y Kazakov","year":"2009","unstructured":"Kazakov Y. Consequence-driven reasoning for horn SHIQ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence. 2009, 2040\u20132045"},{"key":"6397_CR54","first-page":"747","volume-title":"Proceedings of the 26th International Workshop on Description Logics","author":"D Lembo","year":"2013","unstructured":"Lembo D, Santarelli V O, Fabio Savo D. A graph-based approach for classifying OWL 2QL ontologies. In: Proceedings of the 26th International Workshop on Description Logics. 2013, 747\u2013759"},{"key":"6397_CR55","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-319-45817-5_43","volume-title":"Proceedings of the 18th Asia-Pacific Web Conference on Web Technologies and Applications","author":"Z H Liu","year":"2016","unstructured":"Liu Z H, Feng Z Y, Zhang X W, Wang X, Rao G Z. RORS: enhanced rule-based OWL reasoning on Spark. In: Proceedings of the 18th Asia-Pacific Web Conference on Web Technologies and Applications. 2016, 444\u2013448"},{"key":"6397_CR56","volume-title":"Proceedings of the 15th International Semantic Web Conference (Posters & Demonstrations Track)","author":"Z H Liu","year":"2016","unstructured":"Liu Z H, Ge W, Zhang X W, Feng Z Y. Enhancing rule-based OWL reasoning on spark. In: Proceedings of the 15th International Semantic Web Conference (Posters & Demonstrations Track). 2016"},{"key":"6397_CR57","volume-title":"Proceedings of the 14th International Semantic Web Conference (Posters & Demonstrations Track)","author":"C L Wang","year":"2015","unstructured":"Wang C L, Feng Z Y, Rao G Z, Wang X, Zhang X W. From datalog reasoning to modular structure of an ontology. In: Proceedings of the 14th International Semantic Web Conference (Posters & Demonstrations Track). 2015"},{"key":"6397_CR58","first-page":"1410","volume-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence","author":"A Armas Romero","year":"2015","unstructured":"Armas Romero A, Kaminski M, Cuenca Grau B, Horrocks I. Ontology module extraction via datalog reasoning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence. 2015, 1410\u20131416"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-6397-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6397-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6397-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:36:57Z","timestamp":1693528617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-6397-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,15]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["6397"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-6397-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2018,2,15]]},"assertion":[{"value":"2 August 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}