{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:54:55Z","timestamp":1725566095974},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_10","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"118-132","source":"Crossref","is-referenced-by-count":2,"title":["Extending Paraconsistent $\\mathcal{SROIQ}$"],"prefix":"10.1007","author":[{"given":"Frederick","family":"Maier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Arieli, O.: Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ACM Trans. on Comput. Logic, Article 18 (2007)","DOI":"10.1145\/1243996.1244001"},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. Journal of Logic, Language and Information\u00a05(1), 25\u201363 (1996)","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence\u00a0102(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"key":"10_CR4","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201356. Oriel Press (1977)"},{"key":"10_CR5","first-page":"8","volume-title":"Modern Uses of Multiple Valued Logics","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J. (eds.) Modern Uses of Multiple Valued Logics, pp. 8\u201337. D. Reidel, Dordrecht (1977)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-60112-0_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"P. Besnard","year":"1995","unstructured":"Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from incosistent information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.\u00a0946, pp. 44\u201351. Springer, Heidelberg (1995)"},{"key":"10_CR7","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for Working with OWL 2 Ontologies. In: Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2009), CEUR Workshop Proceedings, Chantilly, VA, United States, October 23-24, vol.\u00a0529. CEUR-WS.org (2009)"},{"key":"10_CR8","first-page":"57","volume-title":"Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006)","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-05082-4_14","volume-title":"Proceedings of the 3rd Int. Conf. on Web Reasoning and Rule Systems (RR 2009)","author":"Y. Ma","year":"2009","unstructured":"Ma, Y., Hitzler, P.: Paraconsistent reasoning for OWL 2. In: Polleres, A. (ed.) RR 2009. LNCS, vol.\u00a05837, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"10_CR10","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning with OWL \u2013 Algorithms and the ParOWL reasoner. Technical Report, no. 1390. AIFB, University of Karlsruhe (2006)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-72667-8_29","volume-title":"The Semantic Web: Research and Applications","author":"Y. Ma","year":"2007","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 399\u2013413. Springer, Heidelberg (2007)"},{"key":"10_CR12","unstructured":"Ma, Y., Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proc. of the 21st Int. Workshop on Description Logics (DL2008), CEUR Workshop Proceedings, vol.\u00a0353. CEUR-WS.org. (2008)"},{"key":"10_CR13","first-page":"151","volume-title":"Information Retrieval: Uncertainty and Logics. Advanced Models for the Representation and Retrieval of Information","author":"C. Meghini","year":"1998","unstructured":"Meghini, C., Sebastiani, F., Straccia, U., Nazionale, C.: MIRLOG: A logic for multimedia information retrieval. In: Crestani, F., Lalmas, M., van Rijsbergen, C.J. (eds.) Information Retrieval: Uncertainty and Logics. Advanced Models for the Representation and Retrieval of Information, pp. 151\u2013185. Kluwer Academic Publishing, Dordrecht (1998)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/243199.243267","volume-title":"Proc. of the 19th Annual Int. ACM SIGIR Conf. on Research and Development in Information Retrieval (SIGIR \u201996)","author":"C. Meghini","year":"1996","unstructured":"Meghini, C., Straccia, U.: A relevance terminological logic for information retrieval. In: Proc. of the 19th Annual Int. ACM SIGIR Conf. on Research and Development in Information Retrieval (SIGIR \u201996), pp. 197\u2013205. ACM, New York (1996)"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1111\/j.1467-8640.1987.tb00175.x","volume":"3","author":"P.F. Patel-Schneider","year":"1987","unstructured":"Patel-Schneider, P.F.: A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence\u00a03(1), 64\u201377 (1987)","journal-title":"Computational Intelligence"},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(89)90036-2","volume":"38","author":"P. Patel-Schneider","year":"1989","unstructured":"Patel-Schneider, P.: A four-valued semantics for terminological logics. Artificial Intelligence\u00a038(3), 319\u2013351 (1989)","journal-title":"Artificial Intelligence"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"The Semantic Web: Research and Applications","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: RaDON \u2013 Repair and Diagnosis in Ontology Networks. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 863\u2013867. Springer, Heidelberg (2009)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BFb0027425","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"U. Straccia","year":"1997","unstructured":"Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 343\u2013357. Springer, Heidelberg (1997)"},{"key":"10_CR19","unstructured":"Ma, Y., Zhang, X., Qi, G., Lin, Z.: Quasi-classical semantics for expressive description logics. In: Proc. of the 22nd Int. Workshop on Description Logics (DL2009), CEUR Workshop Proceedings, vol.\u00a0477, CEUR-WS.org. (2009)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:19:59Z","timestamp":1619785199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}