{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T13:06:23Z","timestamp":1749042383853},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006845"},{"type":"electronic","value":"9783642006852"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00685-2_4","type":"book-chapter","created":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T14:17:56Z","timestamp":1244470676000},"page":"95-130","source":"Crossref","is-referenced-by-count":15,"title":["Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cal\u00ec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Livia","family":"Predoiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-74610-2_30","volume-title":"Logic Programming","author":"A. Cal\u00ec","year":"2007","unstructured":"Cal\u00ec, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 428\u2013429. Springer, Heidelberg (2007)"},{"unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: A framework for representing ontology mappings under probabilities and inconsistency. In: Proceedings URSW 2007. CEUR Workshop Proceedings, vol.\u00a0327 (2008) CEUR-WS.org","key":"4_CR2"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-77684-0_14","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Cal\u00ec","year":"2008","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 178\u2013198. Springer, Heidelberg (2008)"},{"key":"4_CR4","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)"},{"volume-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","year":"2002","unstructured":"Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)","key":"4_CR5"},{"unstructured":"W3C: OWL Web Ontology Language Overview (2004) W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/","key":"4_CR6"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"key":"4_CR8","first-page":"141","volume-title":"Proceedings KR 2004","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proceedings KR 2004, pp. 141\u2013151. AAAI Press, Menlo Park (2004)"},{"issue":"12\/13","key":"4_CR9","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","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. Artif. Intell.\u00a0172(12\/13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-72667-8_28","volume-title":"The Semantic Web: Research and Applications","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 384\u2013398. Springer, Heidelberg (2007)"},{"key":"4_CR11","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)"},{"doi-asserted-by":"crossref","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Van Nieuwenborgh, D.: Guarded hybrid knowledge bases (2007)","key":"4_CR12","DOI":"10.1017\/S1471068407003201"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45757-7_8","volume-title":"Logics in Artificial Intelligence","author":"R. Giugno","year":"2002","unstructured":"Giugno, R., Lukasiewicz, T.: P- $\\mathcal{SHOQ}({\\bf D})$ : A probabilistic extension of $\\mathcal{SHOQ}({\\bf D})$ for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol.\u00a02424, pp. 86\u201397. Springer, Heidelberg (2002)"},{"issue":"6\/7","key":"4_CR14","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell.\u00a0172(6\/7), 852\u2013883 (2008)","journal-title":"Artif. Intell."},{"unstructured":"da Costa, P.C.G.: Bayesian Semantics for the Semantic Web. PhD thesis, George Mason University, Fairfax, VA, USA (2005)","key":"4_CR15"},{"key":"4_CR16","first-page":"237","volume-title":"Proceedings FOIS 2006","author":"P.C.G. Costa da","year":"2006","unstructured":"da Costa, P.C.G., Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proceedings FOIS 2006, pp. 237\u2013249. IOS Press, Amsterdam (2006)"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reasoning\u00a045(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reasoning"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-75410-7_11","volume-title":"Scalable Uncertainty Management","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Tractable probabilistic description logic programs. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS, vol.\u00a04772, pp. 143\u2013156. Springer, Heidelberg (2007)"},{"issue":"1\/2","key":"4_CR19","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell.\u00a094(1\/2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"4_CR20","first-page":"225","volume-title":"Proceedings UAI 2003","author":"A. Finzi","year":"2003","unstructured":"Finzi, A., Lukasiewicz, T.: Structure-based causes and explanations in the independent choice logic. In: Proceedings UAI 2003, pp. 225\u2013232. Morgan Kaufmann, San Francisco (2003)"},{"unstructured":"Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: Proceedings IJCAI 2005, Professional Book Center, pp. 576\u2013581 (2005)","key":"4_CR21"},{"doi-asserted-by":"crossref","unstructured":"Predoiu, L., Stuckenschmidt, H.: A probabilistic framework for information integration and retrieval on the Semantic Web. In: Proceedings\u00a0InterDB 2007 Workshop on Database Interoperability (2007)","key":"4_CR22","DOI":"10.1007\/978-3-540-76298-0_73"},{"key":"4_CR23","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11861461","volume-title":"The Semantic Web - ISWC 2006","author":"J. Euzenat","year":"2006","unstructured":"Euzenat, J., Mochol, M., Shvaiko, P., Stuckenschmidt, H., Svab, O., Svatek, V., van Hage, W.R., Yatskevich, M.: First results of the ontology alignment evaluation initiative 2006. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273. Springer, Heidelberg (2006)"},{"unstructured":"Euzenat, J., Stuckenschmidt, H., Yatskevich, M.: Introduction to the ontology alignment evaluation, In: Proceedings\u00a0K-CAP 2005 Workshop on Integrating Ontologies (2005)","key":"4_CR25"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"issue":"3\/4","key":"4_CR28","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput.\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Comput."},{"issue":"1","key":"4_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artif. Intell.\u00a064(1), 81\u2013129 (1993)","journal-title":"Artif. Intell."},{"key":"4_CR30","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"issue":"1\/2","key":"4_CR31","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A.M. Frisch","year":"1994","unstructured":"Frisch, A.M., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell.\u00a069(1\/2), 93\u2013122 (1994)","journal-title":"Artif. Intell."},{"key":"4_CR32","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2002","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, San Francisco (2002)","edition":"2"},{"key":"4_CR33","first-page":"1408","volume-title":"Proceedings AAAI 2007","author":"C. Meilicke","year":"2007","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proceedings AAAI 2007, pp. 1408\u20131413. AAAI Press, Menlo Park (2007)"},{"issue":"1","key":"4_CR34","first-page":"21","volume":"27","author":"P. Wang","year":"2008","unstructured":"Wang, P., Xu, B.: Debugging ontology mapping: A static method. Computing and Informatics\u00a027(1), 21\u201336 (2008)","journal-title":"Computing and Informatics"},{"issue":"2","key":"4_CR35","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. McIlraith","year":"2001","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"4_CR36","first-page":"482","volume-title":"Proceedings KR 2002","author":"S.A. McIlraith","year":"2002","unstructured":"McIlraith, S.A., Son, T.C.: Adapting Golog for composition of Semantic Web Services. In: Proceedings KR 2002, pp. 482\u2013496. Morgan Kaufmann, San Francisco (2002)"},{"key":"4_CR37","first-page":"77","volume-title":"Proceedings WWW 2002","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of Web Services. In: Proceedings WWW 2002, pp. 77\u201388. ACM Press, New York (2002)"},{"issue":"1","key":"4_CR38","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MIS.2003.1179199","volume":"18","author":"S.A. McIlraith","year":"2003","unstructured":"McIlraith, S.A., Martin, D.L.: Bringing semantics to Web Services. IEEE Intelligent Systems\u00a018(1), 90\u201393 (2003)","journal-title":"IEEE Intelligent Systems"},{"unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of Artificial Intelligence. In: Machine Intelligence, vol. 4, pp. 463\u2013502. Edinburgh University Press (1969)","key":"4_CR39"},{"key":"4_CR40","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"issue":"1\u20133","key":"4_CR41","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. J. Logic Program.\u00a031(1\u20133), 59\u201384 (1997)","journal-title":"J. Logic Program."},{"unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings AAAI 2005, pp. 602\u2013607. AAAI Press MIT Press (2005)","key":"4_CR42"},{"issue":"3","key":"4_CR43","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.: ${\\cal AL}$ -log: Integrating Datalog and description logics. J. Intell. Inf. Syst.\u00a010(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"issue":"1\/2","key":"4_CR44","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":"4_CR45","first-page":"48","volume-title":"Proceedings WWW 2003","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logics. In: Proceedings WWW 2003, pp. 48\u201357. ACM Press, New York (2003)"},{"issue":"1","key":"4_CR46","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Sem.\u00a03(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11431053_27","volume-title":"The Semantic Web: Research and Applications","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 392\u2013407. Springer, Heidelberg (2005)"},{"issue":"1","key":"4_CR48","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem.\u00a03(1), 61\u201373 (2005)","journal-title":"J. Web Sem."},{"key":"4_CR49","first-page":"68","volume-title":"Proceedings KR 2006","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive Datalog. In: Proceedings KR 2006, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"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 (May 2004), http:\/\/www.w3.org\/Submission\/SWRL\/","key":"4_CR50"},{"unstructured":"Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL), W3C Member Submission (September 2005), http:\/\/www.w3.org\/Submission\/WRL\/","key":"4_CR51"},{"key":"4_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/11546207_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Guarded open answer set programming. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol.\u00a03662, pp. 92\u2013104. Springer, Heidelberg (2005)"},{"key":"4_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11916277_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Motik","year":"2006","unstructured":"Motik, B., Sattler, U.: A comparison of reasoning techniques for querying large description logic aBoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS, vol.\u00a04246, pp. 227\u2013241. Springer, Heidelberg (2006)"},{"unstructured":"Predoiu, L., Stuckenschmidt, H.: Probabilistic extensions of Semantic Web languages \u2014 a survey. In: The Semantic Web for Knowledge and Data Management: Technologies and Practices. Idea Group (to appear)","key":"4_CR54"},{"key":"4_CR55","first-page":"390","volume-title":"Proceedings AAAI 2007","author":"D. Koller","year":"1997","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-CLASSIC: A tractable probabilistic description logic. In: Proceedings AAAI 2007, pp. 390\u2013397. AAAI Press, Menlo Park (1997)"},{"key":"4_CR56","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-33473-6_1","volume-title":"Soft Computing in Ontologies and Semantic Web","author":"Z. Ding","year":"2006","unstructured":"Ding, Z., Peng, Y., Pan, R.: BayesOWL: Uncertainty modeling in Semantic Web ontologies. In: Soft Computing in Ontologies and Semantic Web, pp. 3\u201328. Springer, Heidelberg (2006)"},{"issue":"1","key":"4_CR57","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1142\/S0218488506003819","volume":"14","author":"H. Nottelmann","year":"2006","unstructured":"Nottelmann, H., Fuhr, N.: Adding probabilities and rules to OWL Lite subsets based on probabilistic Datalog. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a014(1), 17\u201342 (2006)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"4_CR58","first-page":"198","volume-title":"Proceedings KR 1996","author":"G. Giacomo De","year":"1996","unstructured":"De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: Moving a robot: The KR&R approach at work. In: Proceedings KR 1996, pp. 198\u2013209. Morgan Kaufmann, San Francisco (1996)"},{"doi-asserted-by":"crossref","unstructured":"Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R.: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Computat. Logic (in press)","key":"4_CR59","DOI":"10.1145\/1459010.1459015"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings AAAI 2005, pp. 572\u2013577. AAAI Press\/ MIT Press (2005)","key":"4_CR60","DOI":"10.25368\/2010.145"},{"unstructured":"Milicic, M.: Planning in action formalisms based on DLs: First results. In: Proceedings DL 2007. CEUR Workshop Proceedings, vol.\u00a0250 (2007) CEUR-WS.org","key":"4_CR61"},{"key":"4_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-74565-5_8","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"C. Drescher","year":"2007","unstructured":"Drescher, C., Thielscher, M.: Integrating action calculi and description logics. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS, vol.\u00a04667, pp. 68\u201383. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00685-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T16:11:22Z","timestamp":1685031082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00685-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006845","9783642006852"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00685-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}