Description logics with contraries, contradictories, and subcontraries

New Generation Computing

Volumn 25, Issue 4, 2007, Pages 443-468

  Kaneiwa, Ken ^a  

^a NATIONAL INSTITUTE OF INFORMATION AND COMMUNICATIONS TECHNOLOGY   (Japan)

Author keywords

Constructive description logic; Negative information; Strong negation; Terminological knowledge representation

Indexed keywords

FUZZY LOGIC;

DESCRIPTION LOGICS (DL);

DATA DESCRIPTION;

EID: 46349108589     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00354-007-0028-2     Document Type: Article

References (22)

1. Akama, S., "Constructive predicate logic with strong negation and model theory," Notre Dame Journal of Formal Logic, 29(1), pp. 18-27, 1988.
2. Donini, F.M., "Complexity of reasoning," in Description Logic Handbook, pp. 96-136, 2003.
3. Halpern, J. Y. and Moses, Y., "A guide to completeness and complexity for model logics of knowledge and belief," Artificial Intelligence, 54(3), pp. 319-379, April 1992.
4. Herre, H., Jaspars, J. and Wagner, G., "Partial logics with two kinds of negation as a foundation for knowledge-based reasoning," in What is Negation (Gabbay, D.M. and Wansing, H. eds.), pp. 121-159, Kluwer Academic Publishers, 1999.
5. Hollunder, B., Nutt, W. and Schmidt-Scha, "Subsumption algorithms for concept description languages," in Proc. of ECAI-90, 9th European Conf. on Artificial Intelligence, pp. 348-353, 1990.
6. Horn, L. R., A Natural History of Negation, University of Chicago Press, 1989.
7. Horrocks, I. and Sattler, U., "Ontology reasoning in the SHOQ(D) description logic," in Proc. of the Seventeenth Int. Joint Conf. on Artificial Intelligence, 2001.
8. Kaneiwa, K, "Negations in description logic - contraries, contradictories, and subcontradictories," in Proc. of the 13th Int. Conf. on Conceptual Structures (ICCS '05), Kassel University Press, 2005.
9. Kaneiwa, K., "On the semantics of classical first-order logic with constructive double negation," in Proc. of the 2nd Indian Int. Conf. on Artificial Intelligence, 2005.
10. Kaneiwa, K. and Tojo, S., "An order-sorted resolution with implicitly negative sorts," in Proc. of the 2001 Int. Conf. on Logic Programming, LNCS 2237, pp. 300-314, Springer-Verlag, 2001.
11. Nelson, D., "Constructible falsity," The Journal of Symbolic Logic, 14(1), pp. 16-26, 1949.
12. Odintsove, S. P. and H. Wansing, "Inconsistency-tolerant description logic. motivation and basic systems," in, Trends in Logic. 50 Years of Studia Logica, (Hendricks, V and Malinowski, J. eds), pp. 301-335. Kluwer Academic Publishers, 2003.
13. Ota, A., Hitei No Imi (in Japanese). Taishukan, 1980.
14. Pearce, D. and Wagner, G., "Logic programming with strong negation," in Proc. of Int. Workshop on Extensions of Logic Programming, Tübingen, FRG, December 8-10 1989, LNAI, 475 (Schroeder-Heister, P. ed.), pp. 311-326,. Springer-Verlag.
15. La Palme Reyes, M., Macnamara, J., Reyes, G. E. and Zolfaghari, H., "Models for non-boolean negations in natural languages based on aspect," in What is Negation? (Gabbay, D. M. and Wansing, H. eds.), pp. 241-260. Kluwer Academic Publishers, 1999.
16. Schmidt-Schauss, M. and Smolka, G., "Attributive concept descriptions with complements," Artificial Intelligence, 48, pp. 1-26, 1991.
17. Thomason, R. H., "A semantical study of constructible falsity," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 15, pp. 247-257, 1969.
18. Wagner, G., "A database needs two kinds of negation," in Mathematical Foundations of Database Systems (Thalheim, B, Demetrovics, J. and Gerhardt, H-D. eds.), LNCS 495 pp. 357-371, Springer Verlag, 1991.
19. Wagner, G., Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation, Springer-Verlag, 1994.
20. Wansing, H., The logic of information structures, LNAI, 681, Springer Verlag, 1993.
21. Wansing, H. "Negation," in The Blackwell Guide to Philosophical Logic (Goble, L. ed.), pp. 415-436. Basil Blackwell Publishers, 2001.
22. Wansing, H. "Negation," in The Blackwell Guide to Philosophical Logic (Goble, L. ed.), pp. 415-436. Basil Blackwell Publishers, 2001.