{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:48:27Z","timestamp":1742395707499},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_23","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"289-298","source":"Crossref","is-referenced-by-count":34,"title":["Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lukasiewicz","sequence":"first","affiliation":[]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)"},{"key":"23_CR2","unstructured":"Bobillo, F., Delgado, M., G\u00f3mez-Romero, J.: A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: Proc. URSW-2006 (2006)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective integration of declarative rules with external evaluations for Semantic Web reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, Springer, Heidelberg (2006)"},{"key":"23_CR4","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR-2004, pp. 141\u2013151 (2004)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the Semantic Web. In: Proc. RuleML-2004, pp. 81\u201397 (2004)","DOI":"10.1007\/978-3-540-30504-0_7"},{"volume-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","year":"2002","key":"23_CR6","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)"},{"issue":"3\/4","key":"23_CR7","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."},{"key":"23_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"23_CR10","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Position paper: A comparison of two modelling paradigms in the Semantic Web. In: Proc. WWW-2006, pp. 3\u201312 (2006)","DOI":"10.1145\/1135777.1135784"},{"issue":"1","key":"23_CR11","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 SHIQ and RDF to OWL: The making of a web ontology language. J. Web. Sem.\u00a01(1), 7\u201326 (2003)","journal-title":"J. Web Sem"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"23_CR13","unstructured":"Lukasiewicz, T.: Stratified probabilistic description logic programs. In: Proc. URSW-2005, pp. 87\u201397 (2005)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. In: Proc. ECSQARU-2005, pp. 737\u2013749, 2005. Extended version in Int.\u00a0J.\u00a0Approx.\u00a0Reason (in press, 2007)","DOI":"10.1007\/11518655_62"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proc. RuleML-2006, pp. 89\u201396 (2006)","DOI":"10.1109\/RULEML.2006.12"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. In: Proc. ESWC-2007 (to appear 2007)","DOI":"10.1007\/978-3-540-72667-8_28"},{"key":"23_CR17","unstructured":"Lukasiewicz, T., Straccia, U.: Tightly integrated fuzzy description logic programs under the answer set semantics for the Semantic Web. Report 1843-07-03, Institut f\u00fcr Informationssysteme, TU Wien (February 2007)"},{"key":"23_CR18","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. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"23_CR19","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Proc.\u00a0IJCAI-2007, pp. 477\u2013482 (2007)"},{"issue":"1\u20132","key":"23_CR20","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\u20132), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"1","key":"23_CR21","doi-asserted-by":"crossref","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":"23_CR22","unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. KR-2006, pp. 68\u201378 (2006)"},{"key":"23_CR23","unstructured":"Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: Fuzzy OWL: Uncertainty and the Semantic Web. In: Proc. OWLED-2005 (2005)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proc. JELIA-2004, pp. 385\u2013399 (2004)","DOI":"10.1007\/978-3-540-30227-8_33"},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/11431053_12","volume-title":"The Semantic Web: Research and Applications","author":"U. Straccia","year":"2005","unstructured":"Straccia, U.: Towards a fuzzy description logic for the Semantic Web (preliminary report). In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 167\u2013181. Springer, Heidelberg (2005)"},{"key":"23_CR26","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S1574-9576(06)80006-7","volume-title":"Fuzzy Logic and the Semantic Web, Capturing Intelligence","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: A fuzzy description logic for the Semantic Web. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, pp. 73\u201390. Elsevier, Amsterdam (2006)"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Straccia, U.: Uncertainty and description logic programs over lattices. In: Sanchez, E. (ed.) Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter\u00a07, pp. 115\u2013133 (2006)","DOI":"10.1016\/S1574-9576(06)80009-2"},{"key":"23_CR28","unstructured":"Straccia, U.: Fuzzy description logic programs. In: Proc. IPMU-2006, pp. 1818\u20131825 (2006)"},{"key":"23_CR29","unstructured":"W3C: OWL web ontology language overview (2004) W3C Recommendation (February 10, 2004) Available at www.w3.org\/TR\/2004\/REC-owl-features-20040210\/"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:09:03Z","timestamp":1605762543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_23","relation":{},"subject":[]}}