{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:07:27Z","timestamp":1725721647689},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642379956"},{"type":"electronic","value":"9783642379963"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37996-3_1","type":"book-chapter","created":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T04:36:22Z","timestamp":1365395782000},"page":"1-16","source":"Crossref","is-referenced-by-count":2,"title":["A Resolution Procedure for Description Logics with Nominal Schemas"],"prefix":"10.1007","author":[{"given":"Cong","family":"Wang","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364\u2013369. Professional Book Center (2005)","DOI":"10.25368\/2022.144"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-58156-1_32","volume-title":"Automated Deduction - CADE-12","author":"L. Bachmair","year":"1994","unstructured":"Bachmair, L., Ganzinger, H.: Ordered chaining for total orderings. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 435\u2013450. Springer, Heidelberg (1994)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 19\u201399. Elsevier, MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"1_CR4","unstructured":"Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http:\/\/www.w3.org\/TR\/rif-core\/"},{"key":"1_CR5","unstructured":"Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission (May 21, 2004), http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"1_CR6","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around SHIQ in a Resolution Framework. Tech. Rep. 3-8-04\/04, FZI, Germany (2004)"},{"key":"1_CR7","unstructured":"Kazakov, Y.: Saturation-based decision procedures for extensions of the guarded fragment. Ph.D. thesis, Saarl\u00e4ndische Universit\u00e4ts- und Landesbibliothek, Postfach 151141, 66041 Saarbr\u00fccken (2005), http:\/\/scidok.sulb.uni-saarland.de\/volltexte\/2007\/1137"},{"key":"1_CR8","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Practical reasoning with nominals in the $\\mathcal{EL}$ family of description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 264\u2013274. AAAI Press (2012)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of el ontologies (2011) (to appear)","DOI":"10.1007\/978-3-642-25073-6_20"},{"key":"1_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/11814771_53","volume-title":"Automated Reasoning","author":"Y. Kazakov","year":"2006","unstructured":"Kazakov, Y., Motik, B.: A resolution-based decision procedure for $\\mathcal{SHOIQ}$ . In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 662\u2013677. Springer, Heidelberg (2006)"},{"issue":"9-10","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M. Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell.\u00a0175(9-10), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Knorr, M., Mart\u00ednez, D.C., Hitzler, P., Krisnadhi, A.A., Maier, F., Wang, C.: Recent advances in integrating owl and rules (technical communication). In: Kr\u00f6tzsch, Straccia (eds.) [18], pp. 225\u2013228","DOI":"10.1007\/978-3-642-33203-6_20"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Krisnadhi, A., Hitzler, P.: A tableau algorithm for description logics with nominal schema. In: Kr\u00f6tzsch, Straccia (eds.) [18], pp. 234\u2013237","DOI":"10.1007\/978-3-642-33203-6_22"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-23032-5_7","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data","author":"A. Krisnadhi","year":"2011","unstructured":"Krisnadhi, A., Maier, F., Hitzler, P.: Owl and rules. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol.\u00a06848, pp. 382\u2013415. Springer, Heidelberg (2011)"},{"key":"1_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-15675-5_21","volume-title":"Logics in Artificial Intelligence","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol.\u00a06341, pp. 234\u2013246. Springer, Heidelberg (2010)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for owl: nominal schemas for integrating rules and ontologies. In: Srinivasan, S., Ramamritham, K., Kumar, A., Ravindra, M.P., Bertino, E., Kumar, R. (eds.) WWW, pp. 645\u2013654. ACM (2011)","DOI":"10.1145\/1963405.1963496"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Web Reasoning and Rule Systems","year":"2012","unstructured":"Kr\u00f6tzsch, M., Straccia, U. (eds.): RR 2012. LNCS, vol.\u00a07497. Springer, Heidelberg (2012)"},{"key":"1_CR19","unstructured":"Martinezi, D.C., Krisnadhi, A., Maier, F., Sengupta, K., Hitzler, P.: Reconciling owl and rules. Tech. rep. Kno.e.sis Center, Wright State University, Dayton, OH, U.S.A. (2011), http:\/\/www.pascal-hitzler.de\/"},{"key":"1_CR20","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, Universit\u00e4t Karlsruhe (TH), Karlsruhe, Germany (January 2006)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-30475-3_38","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"B. Motik","year":"2004","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 549\u2013563. Springer, Heidelberg (2004)"},{"key":"1_CR22","doi-asserted-by":"crossref","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. J. Artif. Intell. Res. (JAIR)\u00a036, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-02846-5_14","volume-title":"Logic Programming","author":"A. Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Answer set programming with constraints using lazy grounding. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 115\u2013129. Springer, Heidelberg (2009)"},{"key":"1_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-87803-2_30","volume-title":"Logics in Artificial Intelligence","author":"S. Rudolph","year":"2008","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 362\u2013374. Springer, Heidelberg (2008)"},{"key":"1_CR25","unstructured":"Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Walsh, T. (ed.) IJCAI, pp. 1093\u20131098. IJCAI\/AAAI (2011)"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37996-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T21:38:34Z","timestamp":1688161114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37996-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642379956","9783642379963"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37996-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}