{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:17:39Z","timestamp":1725567459459},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162886"},{"type":"electronic","value":"9783642162893"}],"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-16289-3_5","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T10:04:06Z","timestamp":1286186646000},"page":"35-49","source":"Crossref","is-referenced-by-count":5,"title":["A Rule-Based Implementation of Fuzzy Tableau Reasoning"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bragaglia","sequence":"first","affiliation":[]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Sottara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.: A principled framework for modular web rule bases and its semantics. In: Proc. KR 2008, pp. 390\u2013400 (2008)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-48005-6_30","volume-title":"The Semantic Web - ISWC 2002","author":"G. Antoniou","year":"2002","unstructured":"Antoniou, G.: Nonmonotonic rule systems on top of ontology layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 394\u2013398. Springer, Heidelberg (2002)"},{"key":"5_CR3","unstructured":"Antoniou, G., Damasio, C., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.: Combining Rules and Ontologies. A Survey. Tech. Rep., Rewerse Project (2005)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: Tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"5_CR5","volume-title":"Fril-fuzzy and evidential reasoning in artificial intelligence","author":"J. Baldwin","year":"1995","unstructured":"Baldwin, J., Martin, T., Pilsworth, B.: Fril-fuzzy and evidential reasoning in artificial intelligence. John Wiley & Sons, Inc., New York (1995)"},{"key":"5_CR6","unstructured":"Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. CoRR abs\/1003.1588 (2010)"},{"issue":"23","key":"5_CR7","doi-asserted-by":"publisher","first-page":"3382","DOI":"10.1016\/j.fss.2009.03.006","volume":"160","author":"F. Bobillo","year":"2009","unstructured":"Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets Syst.\u00a0160(23), 3382\u20133402 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bragaglia, S., Chesani, F., Ciampolini, A., Mello, P., Montali, M., Sottara, D.: An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. Architecture (2010)","DOI":"10.1007\/978-3-642-13769-3_53"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. Principles and Practice of Semantic Web Reasoning pp. 149\u2013163 (2006)","DOI":"10.1007\/11853107_11"},{"key":"5_CR10","unstructured":"De\u00a0Bruijn, J., Bonnard, P., Citeau, H., Dehors, S., Heymans, S., Korf, R., P\u00fchrer, J., Eiter, T.: State-of-the-art survey of issues. Tech. rep., ONTORULE (2009), http:\/\/ontorule-project.eu\/project\/workpackages\/wp-3-execution-and-inference\/d31"},{"key":"5_CR11","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic (1992)"},{"issue":"12-13","key":"5_CR12","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. Artificial Intelligence\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"key":"5_CR13","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":"5_CR14","first-page":"57","volume-title":"Proceedings of the 12th International Conference on World Wide Web","author":"B. Grosof","year":"2003","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, p. 57. ACM, New York (2003)"},{"key":"5_CR15","volume-title":"Metamathematics of Fuzzy Logic (Trends in Logic)","author":"P. H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer, Heidelberg (2001)"},{"key":"5_CR16","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.: The manchester owl syntax. In: OWLED 2006 Second Workshop on OWL Experiences and Directions, Athens, GA, USA (2006)"},{"key":"5_CR17","first-page":"731","volume-title":"Proc. 13th International Conference on World Wide Web","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.: A proposal for an OWL rules language. In: Proc. 13th International Conference on World Wide Web, p. 731. ACM, New York (2004)"},{"key":"5_CR18","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- description logic to disjunctive datalog programs. In: Proc. KR, vol.\u00a04, pp. 152\u2013162 (2004)"},{"issue":"1-2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Levy","year":"1998","unstructured":"Levy, A., Rousset, M.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-540-89982-2_40","volume-title":"Logic Programming","author":"G. Luk\u00e1csy","year":"2008","unstructured":"Luk\u00e1csy, G., Szeredi, P., K\u00e1d\u00e1r, B.: Prolog based description logic reasoning. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 455\u2013469. Springer, Heidelberg (2008)"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TKDE.2007.190699","volume":"20","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: A rule-based object-oriented owl reasoner. IEEE Trans. on Knowl. and Data Eng.\u00a020(3), 397\u2013410 (2008)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"key":"5_CR22","unstructured":"Mello, P., Proctor, M., Sottara, D.: A configurable RETE-OO engine for reasoning with different types of imperfect information. IEEE Transactions on Knowledge and Data Engineering (TKDE) - Special Issue on Rule Representation, Interchange and Reasoning in Distributed, Heterogeneous Environments (2010) (article in Press)"},{"key":"5_CR23","unstructured":"Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006)"},{"key":"5_CR24","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":"5_CR25","unstructured":"Motik, B., Vrande\u010di\u0107, D., Hitzler, P., Studer, R.: dlpconvert\u2013converting OWL DLP statements to logic programs. In: European Semantic Web Conference 2005 Demos and Posters, Citeseer (2005)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A. Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 332\u2013347. Springer, Heidelberg (2006)"},{"key":"5_CR27","volume-title":"On closed world data bases","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: On closed world data bases. Morgan Kaufmann Publishers Inc., San Francisco (1987)"},{"issue":"1","key":"5_CR28","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. Web Semantics: Science, Services and Agents on the World Wide Web\u00a03(1), 61\u201373 (2005)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11837787_5","volume-title":"Reasoning Web","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: Integrating ontologies and rules: Semantic and computational issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 128\u2013151. Springer, Heidelberg (2006)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Smets, P.: Imperfect Information: Imprecision and Uncertainty (1996)","DOI":"10.1007\/978-3-642-80199-0_6"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Straccia, U.: Managing uncertainty and vagueness in description logics, Logic Programs and Description logic Programs, 54\u2013103 (2008)","DOI":"10.1007\/978-3-540-85658-0_2"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-04020-7_13","volume-title":"Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence","author":"J. Zhao","year":"2009","unstructured":"Zhao, J., Boley, H., Du, W.: Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. In: Huang, D.-S., Jo, K.-H., Lee, H.-H., Kang, H.-J., Bevilacqua, V. (eds.) ICIC 2009. LNCS, vol.\u00a05755, pp. 111\u2013123. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Semantic Web Rules"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16289-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T05:56:15Z","timestamp":1559714175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16289-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162886","9783642162893"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16289-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}