{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:50:18Z","timestamp":1760597418261},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T00:00:00Z","timestamp":1263254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s10817-009-9159-0","type":"journal-article","created":{"date-parts":[[2010,1,11]],"date-time":"2010-01-11T02:40:47Z","timestamp":1263177647000},"page":"337-369","source":"Crossref","is-referenced-by-count":19,"title":["Incremental Classification of Description Logics Ontologies"],"prefix":"10.1007","volume":"44","author":[{"given":"Bernardo","family":"Cuenca Grau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Halaschek-Wiener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,12]]},"reference":[{"key":"9159_CR1","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05","author":"F Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05. Morgan-Kaufmann, Edinburgh (2005)"},{"key":"9159_CR2","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic el useful in practice? In: Proceedings of the 2005 International Workshop on Methods for Modalities (M4M-05) (2005)"},{"key":"9159_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"IJCAR 2006, Proceedings of the Third International Joint Conference on Automated Reasoning","author":"F Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: IJCAR 2006, Proceedings of the Third International Joint Conference on Automated Reasoning. Lecture Notes in Computer Science, vol. 4130, pp. 287\u2013291. Springer, New York (2006)"},{"key":"9159_CR4","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in $\\mathcal{EL}+$ . In: Proceedings of the 19th International Workshop on Description Logics (DL-06). CEUR Workshop Proceedings, vol. 189 (2006)"},{"key":"9159_CR5","first-page":"43","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43\u201395. Cambridge University Press, Cambridge (2003)"},{"key":"9159_CR6","doi-asserted-by":"crossref","unstructured":"Blakeley, J.A., Larson, P.-A., Tompa, F.W.: Efficiently updating materialized views. In: Proc. of SIGMOD \u201986: ACM SIGMOD International Conference on Management of Data, pp. 61\u201371 (1986)","DOI":"10.1145\/16894.16861"},{"key":"9159_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-540-76298-0_14","volume-title":"6th International Semantic Web Conference (ISWC)","author":"B Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y.: History matters: incremental ontology reasoning using modules. In: 6th International Semantic Web Conference (ISWC). Lecture Notes in Computer Science, vol. 4825, pp. 183\u2013196. Springer, New York (2007)"},{"key":"9159_CR8","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proc. of the 16th International World Wide Web Conference (WWW2007) (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"9159_CR9","first-page":"298","volume-title":"Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)","author":"B Cuenca Grau","year":"2007","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pp. 298\u2013303. AAAI, Menlo Park (2007)"},{"key":"9159_CR10","doi-asserted-by":"crossref","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. J. Artif. Intell. Res. (JAIR) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"4","key":"9159_CR11","doi-asserted-by":"crossref","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., Sattler, U.: OWL 2: the next step for OWL. Journal of Web Semantics 6(4), 309\u2013322 (2008)","journal-title":"Journal of Web Semantics"},{"issue":"2","key":"9159_CR12","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer de","year":"1986","unstructured":"de\u00a0Kleer, J.: An assumption-based TMS. Artif. Intell. 28(2), 127\u2013162, ISSN 0004-3702 (1986). doi: 10.1016\/0004-3702(86)90080-9","journal-title":"Artif. Intell."},{"key":"9159_CR13","doi-asserted-by":"crossref","unstructured":"Dong, G., Su, J., Topor, R.W.: Nonrecursive incremental evaluation of datalog queries. Ann. Math. Artif. Intell. 14(2\u20134) (1995)","DOI":"10.1007\/BF01530820"},{"key":"9159_CR14","doi-asserted-by":"crossref","unstructured":"Dong, G., Topor, R.W.: Incremental evaluation of datalog queries. In: Proc. of the 4th Int. Conference on Database Theory (1992)","DOI":"10.1007\/3-540-56039-4_48"},{"issue":"1","key":"9159_CR15","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W Dowling","year":"1984","unstructured":"Dowling, W., Gallier, J.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Log. Program. 3(1), 267\u2013284 (1984)","journal-title":"J. Log. Program."},{"key":"9159_CR16","unstructured":"Doyle, J.: A truth maintenance system. In: Readings in Nonmonotonic Reasoning, pp. 259\u2013279 (1987)"},{"key":"9159_CR17","doi-asserted-by":"crossref","unstructured":"Haarslev, V., Moeller, R.: Racer system description. In: Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001). Lecture Notes in Artificial Intelligence, vol. 2083, pp. 701\u2013705 (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"9159_CR18","unstructured":"Haarslev, V., M\u00f6ller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL-2003, pp. 85\u201394 (2003)"},{"key":"9159_CR19","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Hendler, J.: Toward expressive syndication on the web. In: Proc. of the 16th International World Wide Web Conference (WWW\u00a02007) (2007)","DOI":"10.1145\/1242572.1242671"},{"key":"9159_CR20","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Proc. of ODBase2006 (2006)","DOI":"10.21236\/ADA455672"},{"issue":"1","key":"9159_CR21","doi-asserted-by":"crossref","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 $\\mathcal{SHIQ}$ and rdf to owl: the making of a web ontology language. Journal of Web Semantics 1(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"5","key":"9159_CR22","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1016\/j.ic.2007.11.006","volume":"206","author":"U Hustadt","year":"2008","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5), 579\u2013601 (2008)","journal-title":"Inf. Comput."},{"key":"9159_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"6th International Semantic Web Conference","author":"A Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of owl dl entailments. In: 6th International Semantic Web Conference. Lecture Notes in Computer Science, vol. 4825, pp. 267\u2013280. Springer, New York (2007)"},{"key":"9159_CR24","unstructured":"Kazakov, Y.: $\\mathcal{RIQ}$ and $\\mathcal{SROIQ}$ are harder than $\\mathcal{SHOIQ}$ . In: Proc. of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR-2008), pp. 274\u2013284 (2008)"},{"key":"9159_CR25","first-page":"68","volume-title":"Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006)","author":"O Kutz","year":"2006","unstructured":"Kutz, O., Horrocks, I., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68\u201378. AAAI, Lake District (2006)"},{"key":"9159_CR26","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (2007)"},{"key":"9159_CR27","series-title":"Lecture Notes in Artificial Intelligence","first-page":"84","volume-title":"Proceedings of the 21th Conference on Automated Deduction (CADE-21)","author":"C Lutz","year":"2007","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic $\\mathcal{EL}$ . In: Pfenning, F. (ed.) Proceedings of the 21th Conference on Automated Deduction (CADE-21). Lecture Notes in Artificial Intelligence, vol. 4603, pp. 84\u201399. Springer, New York (2007)"},{"key":"9159_CR28","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 web ontology language profiles. W3C Recommendation (2009)"},{"key":"9159_CR29","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 web ontology language structural specification and functional-style syntax. W3C Recommendation (2009)"},{"key":"9159_CR30","first-page":"67","volume-title":"Proc. of the 21st Conference on Automated Deduction (CADE-21). LNAI, vol. 4603","author":"B Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Proc. of the 21st Conference on Automated Deduction (CADE-21). LNAI, vol. 4603, pp. 67\u201383. Springer, Bremen (2007)","edition":"4603"},{"key":"9159_CR31","unstructured":"Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in OWL-DL. In: Reasoning on the Web Workshop (2006)"},{"key":"9159_CR32","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005), pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"9159_CR33","unstructured":"Patel-Schneider, P., Hayes, P., Horrocks, I.: Web ontology language OWL abstract syntax and semantics. W3C Recommendation (2004)"},{"key":"9159_CR34","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should i extract? In: Proc. of the 22nd International Workshop on Description Logics (DL\u00a02009). CEUR Workshop Proceedings, vol. 477 (2009)"},{"key":"9159_CR35","first-page":"355","volume-title":"Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI, 2003)","author":"S Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI, 2003). Morgan Kaufmann, San Francisco, pp. 355\u2013362 (2003)"},{"issue":"3","key":"9159_CR36","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reason. 39(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reason."},{"issue":"2","key":"9159_CR37","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51\u201353 (2007)","journal-title":"Journal of Web Semantics"},{"key":"9159_CR38","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/500080.500091","volume-title":"SIGMOD \u201975: Proc. of the 1975 ACM SIGMOD International Conference on Management of Data","author":"M Stonebraker","year":"1975","unstructured":"Stonebraker, M.: Implementation of integrity constraints and views by query modification. In: SIGMOD \u201975: Proc. of the 1975 ACM SIGMOD International Conference on Management of Data, pp. 65\u201378. ACM, New York (1975)"},{"key":"9159_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/978-3-540-68234-9_19","volume-title":"5th European Semantic Web Conference (ESWC)","author":"B Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: a pragmatic approach for ontologies. In: 5th European Semantic Web Conference (ESWC). Lecture Notes in Computer Science, vol. 5021, pp. 230\u2013244. Springer, New York (2008)"},{"key":"9159_CR40","doi-asserted-by":"crossref","unstructured":"Terry, D.B., Goldberg, D., Nichols, D., Oki, B.M.: Continuous queries over append-only databases. In: Proceedings of the International Conference on Management of Data (1992)","DOI":"10.1145\/130283.130333"},{"key":"9159_CR41","series-title":"Lecture Notes in Artificial Intelligence","first-page":"292","volume-title":"Proc. of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT+\u2009+ description logic reasoner: system description. In: Proc. of the Third International Joint Conference on Automated Reasoning (IJCAR 2006). Lecture Notes in Artificial Intelligence, vol. 4130, pp. 292\u2013297. Springer, New York (2006)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-009-9159-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-009-9159-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-009-9159-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:21:49Z","timestamp":1559251309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-009-9159-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,12]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9159"],"URL":"https:\/\/doi.org\/10.1007\/s10817-009-9159-0","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,12]]}}}