{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:54Z","timestamp":1725891354556},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_4","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"43-57","source":"Crossref","is-referenced-by-count":14,"title":["Expressive Reasoning with Horn Rules and Fuzzy Description Logics"],"prefix":"10.1007","author":[{"given":"Theofilos","family":"Mailis","sequence":"first","affiliation":[]},{"given":"Giorgos","family":"Stoilos","sequence":"additional","affiliation":[]},{"given":"Giorgos","family":"Stamou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"4_CR1","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":"4_CR2","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1145\/502102.502103","volume":"48","author":"C. Meghini","year":"2001","unstructured":"Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. J. ACM\u00a048, 909\u2013970 (2001)","journal-title":"J. ACM"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Goble, C.A., Haul, C., Bechhofer, S.: Describing and classifying multimedia using the description logic grail. In: Storage and Retrieval for Image and Video Databases (SPIE). pp. 132\u2013143 (1996)","DOI":"10.1117\/12.234790"},{"key":"4_CR4","unstructured":"Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: A fuzzy description logic for multimedia knowledge representation. In: Proc. of the International Workshop on Multimedia and the Semantic Web (2005)"},{"key":"4_CR5","unstructured":"Golbreich, C., Bierlaire, O., Dameron, O., Gibaud, B.: Use case: Ontology with rules for identifying brain anatomical structures. In: Rule Languages for Interoperability, W3C (2005)"},{"key":"4_CR6","unstructured":"Herman, J.H.I.: Web ontology language (OWL). technical report (2004), http:\/\/www.w3.org\/2004\/OWL\/"},{"key":"4_CR7","unstructured":"Herman, I.: Semantic web. technical report (2007), http:\/\/www.w3.org\/2001\/sw\/"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Kaelbling, L.P., Saffiotti, A.,(eds.) IJCAI, Professional Book Center, pp. 364\u2013369 (2005)","DOI":"10.25368\/2022.144"},{"key":"4_CR9","first-page":"57","volume-title":"KR","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 57\u201367. AAAI Press, California (2006)"},{"key":"4_CR10","unstructured":"Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining rules and ontologies. A survey (2006)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"WWW","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 723\u2013731. ACM, New York (2004)"},{"key":"4_CR13","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. Intell. Inf. Syst.\u00a010, 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"4_CR14","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, 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"4_CR15","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, 165\u2013209 (1998)","journal-title":"Artif. Intell."},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. (JAIR)\u00a014, 137\u2013166 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"4_CR17","unstructured":"Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: The fuzzy description logic f-SHIN. In: da\u00a0Costa, P.C.G., Laskey, K.B., Laskey, K.J., Pool, M. (eds.) ISWC-URSW, pp. 67\u201376 (2005)"},{"key":"4_CR18","first-page":"89","volume-title":"RuleML","author":"T. Lukasiewicz","year":"2006","unstructured":"Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web. In: Eiter, T., Franconi, E., Hodgson, R., Stephens, S. (eds.) RuleML, pp. 89\u201396. IEEE Computer Society, Washington (2006)"},{"key":"4_CR19","unstructured":"Straccia, U.: Fuzzy description logic programs. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), pp. 1818\u20131825 (2006)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"key":"4_CR21","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications, vol. 567 of [26]"},{"key":"4_CR22","unstructured":"Straccia, U.: Description logics with fuzzy concrete domains. In: Bachus, F., Jaakkola, T. (eds.) 21st Conference on Uncertainty in Artificial Intelligence (UAI-05), (Edinburgh, Scotland), pp. 559\u2013567"},{"key":"4_CR23","first-page":"457","volume-title":"ECAI","author":"G. Stoilos","year":"2006","unstructured":"Stoilos, G., Straccia, U., Stamou, G.B., Pan, J.Z.: General concept inclusions influzzy description logics. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, pp. 457\u2013461. IOS Press, Amsterdam (2006)"},{"key":"4_CR24","volume-title":"AAAI","author":"M. Ortiz","year":"2006","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: AAAI, AAAI Press, California (2006)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithms. [26], pp. 67\u201386","DOI":"10.1007\/BFb0013522"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0013516","volume-title":"Processing Declarative Knowledge","author":"H. Boley","year":"1991","unstructured":"Boley, H., Richter, M.M.: Processing Declarative Knowledge, International Workshop PDK\u201991. In: Boley, H., Richter, M.M. (eds.) PDK 1991. LNCS, vol.\u00a0567, pp. 1\u20133. Springer, Heidelberg (1991)"}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:55:35Z","timestamp":1683914135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_4","relation":{},"subject":[]}}