{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:16:16Z","timestamp":1773148576555,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T00:00:00Z","timestamp":1185926400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1007\/s00354-007-0028-2","type":"journal-article","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T01:37:25Z","timestamp":1204940245000},"page":"443-468","source":"Crossref","is-referenced-by-count":15,"title":["Description Logics with Contraries, Contradictories, and Subcontraries"],"prefix":"10.1007","volume":"25","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,9]]},"reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1305\/ndjfl\/1093637767","volume":"29","author":"S. Akama","year":"1988","unstructured":"Akama, S., \u201cConstructive predicate logic with strong negation and model theory,\u201d Notre Dame Journal of Formal Logic, 29(1), pp. 18-27, 1988.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"28_CR2","unstructured":"Donini, F.M., \u201cComplexity of reasoning,\u201d in Description Logic Handbook, pp. 96-136, 2003."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. and Moses, Y., \u201cA guide to completeness and complexity for model logics of knowledge and belief,\u201d Artificial Intelligence, 54(3), pp. 319-379, April 1992.","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Herre, H., Jaspars, J. and Wagner, G., \u201cPartial logics with two kinds of negation as a foundation for knowledge-based reasoning,\u201d in What is Negation (Gabbay, D.M. and Wansing, H. eds.), pp. 121-159, Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-015-9309-0_7"},{"key":"28_CR5","unstructured":"Hollunder, B., Nutt, W. and Schmidt-Scha, \u201cSubsumption algorithms for concept description languages,\u201d in Proc. of ECAI-90, 9th European Conf. on Artificial Intelligence, pp. 348-353, 1990."},{"key":"28_CR6","unstructured":"Horn, L. R., A Natural History of Negation, University of Chicago Press, 1989."},{"key":"28_CR7","unstructured":"Horrocks, I. and Sattler, U., \u201cOntology reasoning in the SHOQ(D) description logic,\u201d in Proc. of the Seventeenth Int. Joint Conf. on Artificial Intelligence, 2001."},{"key":"28_CR8","unstructured":"Kaneiwa, K, \u201cNegations in description logic - contraries, contradictories, and subcontradictories,\u201d in Proc. of the 13th Int. Conf. on Conceptual Structures (ICCS \u201905), Kassel University Press, 2005."},{"key":"28_CR9","unstructured":"Kaneiwa, K., \u201cOn the semantics of classical first-order logic with constructive double negation,\u201d in Proc. of the 2nd Indian Int. Conf. on Artificial Intelligence, 2005."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Kaneiwa, K. and Tojo, S., \u201cAn order-sorted resolution with implicitly negative sorts,\u201d in Proc. of the 2001 Int. Conf. on Logic Programming, LNCS 2237, pp. 300-314, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45635-X_28"},{"issue":"1","key":"28_CR11","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D., \u201cConstructible falsity,\u201d The Journal of Symbolic Logic, 14(1), pp. 16-26, 1949.","journal-title":"The Journal of Symbolic Logic"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Odintsove, S. P. and H. Wansing, \u201cInconsistency-tolerant description logic. motivation and basic systems,\u201d in, Trends in Logic. 50 Years of Studia Logica, (Hendricks, V and Malinowski, J. eds), pp. 301-335. Kluwer Academic Publishers, 2003.","DOI":"10.1007\/978-94-017-3598-8_11"},{"key":"28_CR13","unstructured":"Ota, A., Hitei No Imi (in Japanese). Taishukan, 1980."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Pearce, D. and Wagner, G., \u201cLogic programming with strong negation,\u201d in Proc. of Int. Workshop on Extensions of Logic Programming, T\u00fcbingen, FRG, December 8-10 1989, LNAI, 475 (Schroeder-Heister, P. ed.), pp. 311-326,. Springer-Verlag.","DOI":"10.1007\/BFb0038700"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"La Palme Reyes, M., Macnamara, J., Reyes, G. E. and Zolfaghari, H., \u201cModels for non-boolean negations in natural languages based on aspect,\u201d in What is Negation? (Gabbay, D. M. and Wansing, H. eds.), pp. 241-260. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-015-9309-0_12"},{"key":"28_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"Schmidt-Schauss, M. and Smolka, G., \u201cAttributive concept descriptions with complements,\u201d Artificial Intelligence, 48, pp. 1-26, 1991.","journal-title":"Artificial Intelligence"},{"key":"28_CR17","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R.H. Thomason","year":"1969","unstructured":"Thomason, R. H., \u201cA semantical study of constructible falsity,\u201d Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 15, pp. 247-257, 1969.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Wagner, G., \u201cA database needs two kinds of negation,\u201d in Mathematical Foundations of Database Systems (Thalheim, B, Demetrovics, J. and Gerhardt, H-D. eds.), LNCS 495 pp. 357-371, Springer Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Wagner, G., Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57604-5"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Wansing, H., The logic of information structures, LNAI, 681, Springer Verlag, 1993.","DOI":"10.1007\/3-540-56734-8"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Wansing, H. \u201cNegation,\u201d in The Blackwell Guide to Philosophical Logic (Goble, L. ed.), pp. 415-436. Basil Blackwell Publishers, 2001.","DOI":"10.1111\/b.9780631206934.2001.00021.x"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-007-0028-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-007-0028-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-007-0028-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T10:27:49Z","timestamp":1559039269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-007-0028-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s00354-007-0028-2","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,8]]}}}