{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:53:27Z","timestamp":1725569607925},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171543"},{"type":"electronic","value":"9783642171550"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17155-0_1","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T07:35:17Z","timestamp":1289201717000},"page":"1-23","source":"Crossref","is-referenced-by-count":2,"title":["Integration Proposal for Description Logic and Attributive Logic\u00a0\u2013 Towards Semantic Web Rules"],"prefix":"10.1007","author":[{"given":"Grzegorz J.","family":"Nalepa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weronika T.","family":"Furma\u0144ska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-03958-4_2","volume-title":"New Challenges in Computational Collective Intelligence","author":"G.J. Nalepa","year":"2009","unstructured":"Nalepa, G.J., Furma\u0144ska, W.T.: Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications. In: New Challenges in Computational Collective Intelligence. Studies in Computational Intelligence, pp. 15\u201326. Springer, Heidelberg (2009)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web: Scientific american. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"1_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR4","unstructured":"Kifer, M., Boley, H.: RIF overview. W3C working draft, W3C (October 2009), http:\/\/www.w3.org\/TR\/rif-overview"},{"key":"1_CR5","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, w3c member submission 21 may 2004. Technical report, W3C (2004)"},{"volume-title":"Handbook of Knowledge Representation","year":"2007","key":"1_CR6","unstructured":"van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)"},{"key":"1_CR7","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"},{"volume-title":"The Handbook of Applied Expert Systems","year":"1998","key":"1_CR8","unstructured":"Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)"},{"key":"1_CR9","volume-title":"Expert Systems. Principles and Programming","author":"J. Giarratano","year":"2005","unstructured":"Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005) ISBN 0-534-38447-1","edition":"4"},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32446-1","volume-title":"Logical Foundations for Rule-Based Systems","author":"A. Lig\u0119za","year":"2006","unstructured":"Lig\u0119za, A.: Logical Foundations for Rule-Based Systems. Springer, Heidelberg (2006)"},{"key":"1_CR11","volume-title":"Prolog Programming for Artificial Intelligence","author":"I. Bratko","year":"2000","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"1_CR12","first-page":"11","volume-title":"18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications RuleApps 2008 Patras, ECAI 2008","author":"G.J. Nalepa","year":"2008","unstructured":"Nalepa, G.J., Lig\u0119za, A.: XTT+ rule design using the ALSV(FD). In: Giurca, A., Analyti, A., Wagner, G. (eds.) 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based applications RuleApps 2008 Patras, ECAI 2008, pp. 11\u201315. University of Patras, Patras (2008)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Nalepa, G.J., Lig\u0119za, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science (2010) (accepted for publication)","DOI":"10.2478\/v10006-010-0003-9"},{"key":"1_CR14","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 web ontology language \u2014 primer. W3C recommendation, W3C (October 2009)"},{"key":"1_CR15","first-page":"396","volume-title":"Proceedings of the twenty-second International Florida Artificial Intelligence Research Society Conference, FLAIRS-22","author":"G.J. Nalepa","year":"2009","unstructured":"Nalepa, G.J., Lig\u0119za, A.: On ALSV rules formulation and inference. In: Lane, H.C., Guesgen, H.W. (eds.) Proceedings of the twenty-second International Florida Artificial Intelligence Research Society Conference, FLAIRS-22, May 19\u201321, pp. 396\u2013401. AAAI Press, Menlo Park (2009)"},{"volume-title":"Handbook of Data Mining and Knowledge Discovery","year":"2002","key":"1_CR16","unstructured":"Kl\u00f6sgen, W., \u017bytkow, J.M. (eds.): Handbook of Data Mining and Knowledge Discovery. Oxford University Press, New York (2002)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.4018\/978-1-60566-402-6.ch012","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","author":"A. Lig\u0119za","year":"2009","unstructured":"Lig\u0119za, A., Nalepa, G.J.: Rules verification and validation. In: Giurca, A., Dragan Gasevic, K.T. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273\u2013301. IGI Global, Hershey (2009)"},{"key":"1_CR18","volume-title":"Logical Foundations for Rule-Based Systems","author":"A. Lig\u0119za","year":"2005","unstructured":"Lig\u0119za, A.: Logical Foundations for Rule-Based Systems. Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH w Krakowie, Krak\u00f3w (2005)"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"B. Motik","year":"2009","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Semantics: Science, Services and Agents on the World Wide Web\u00a07(2), 74\u201389 (2009)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"1_CR20","volume-title":"Artificial Intelligence. A Guide to Intelligent Systems","author":"M. Negnevitsky","year":"2002","unstructured":"Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002) ISBN 0-201-71159-1"},{"key":"1_CR21","volume-title":"A Semantic Web Primer","author":"G. Antoniou","year":"2008","unstructured":"Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge (2008)"},{"key":"1_CR22","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a0I. Computer Science Press, Rockville (1988)"},{"issue":"4","key":"1_CR23","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: integrating datalog and description logics. J. of Intelligent and Cooperative Information Systems\u00a010, 227\u2013252 (1998)","journal-title":"J. of Intelligent and Cooperative Information Systems"},{"issue":"1-2","key":"1_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining horn rules and description logics in CARIN. Artif. Intell.\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11837787_4","volume-title":"Reasoning Web","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 93\u2013127. Springer, Heidelberg (2006)"},{"key":"1_CR27","first-page":"12","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence\u00a0172, 12\u201313 (2008)","journal-title":"Artificial Intelligence"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11552222_4","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 37\u201341. Springer, Heidelberg (2005)"},{"key":"1_CR31","unstructured":"McGuinness, D.L., Welty, C., Smith, M.K.: OWL web ontology language guide. W3C recommendation, W3C (February 2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-guide-20040210"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. Journal of Web Semantics, 549\u2013563 (2004)","DOI":"10.1007\/978-3-540-30475-3_38"},{"key":"1_CR33","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_CR34","unstructured":"Szostek-Janik, J.: Translations of knowledge representations for rule-based systems. AGH University of Science and Technology, MSc Thesis (2008)"},{"key":"1_CR35","first-page":"572","volume-title":"Proceedings of the 20th National Conference on Artificial intelligence, AAAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Lutz, C., Mili\u010dic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proceedings of the 20th National Conference on Artificial intelligence, AAAI 2005, pp. 572\u2013577. AAAI Press, Menlo Park (2005)"},{"key":"1_CR36","unstructured":"Bong, Y.: Description logic ABox updates revisited. Master thesis, TU Dresden, Germany (2007)"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","first-page":"149","volume-title":"The Seventh International Symposium on Frontiers of Combining Systems, FroCoS 2009","author":"C. Drescher","year":"2009","unstructured":"Drescher, C., Liu, H., Baader, F., Guhlemann, S., Petersohn, U., Steinke, P., Thielscher, M.: Putting abox updates into action. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 149\u2013164. Springer, Heidelberg (2009)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-02716-1_7","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2009","unstructured":"Baader, F., Bauer, A., Baumgartner, P., Cregan, A., Gabaldon, A., Ji, K., Lee, K., Rajaratnam, D., Schwitter, R.: A novel architecture for situation awareness systems. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol.\u00a05607, pp. 77\u201392. Springer, Heidelberg (2009)"},{"key":"1_CR39","doi-asserted-by":"crossref","DOI":"10.1201\/9781420090512","volume-title":"Foundations of Semantic Web Technologies","author":"P. Hitzler","year":"2009","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman and Hall, Boca Raton (2009)"},{"key":"1_CR40","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-74565-5_9","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"T. Matzner","year":"2007","unstructured":"Matzner, T., Hitzler, P.: Any-world access to OWL from Prolog. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 84\u201398. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17155-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T03:50:34Z","timestamp":1559793034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17155-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171543","9783642171550"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17155-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}