Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 278-288

  Kaneiwa, Ken ^a   Mizoguchi, Riichiro ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; ONTOLOGY;

CLASSIFIEDS; FORMAL ONTOLOGY; HORN CLAUSE; KNOWLEDGE REPRESENTATION AND REASONING; NON-RIGID; ONTOLOGICAL ANALYSIS; ORDER SORTED LOGIC; PROPERTY; PROPERTY CLASSIFICATION; RIGID PROPERTIES;

KNOWLEDGE REPRESENTATION;

EID: 85167453420     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. Aït-Kaci, H., and Nasr, R. 1986. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming 3(3):185-215.
2. Beierle, C.; Hedtsück, U.; Pletat, U.; Schmitt, P.; and Siekmann, J. 1992. An order-sorted logic for knowledge representation systems. Artificial Intelligence 55:149-191.
3. Bürckert, H.-J. 1994. A resolution principle for constraint logics. Artificial Intelligence 66:235-271.
4. Carrara, M., and Giaretta, P. 2001. Identity criteria and sortal concepts. In Proceedings of the international conference on Formal Ontology in Information Systems, 234-243. ACM Press.
5. Cohn, A. G. 1987. A more expressive formulation of many sorted logic. Journal of Automated Reasoning 3:113-200.
6. Cohn, A. G. 1989. Taxonomic reasoning with many sorted logics. Artificial Intelligence Review 3:89-128.
7. Doets, K. 1994. From Logic to Logic Programming. The MIT Press.
8. Frisch, A. M. 1989. A general framework for sorted deduction: Fundamental results on hybrid reasoning. In In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning.
9. Gangemi, A.; Guarino, N.; and Oltramari, A. 2001. Conceptual analysis of lexical taxonomies: the case of word-net top-level. In Proceedings of the international conference on Formal Ontology in Information Systems, 285-296. ACM Press.
10. Guarino, N., and Welty, C. 2000a. A formal ontology of properties. In Dieng, R., and Corby, O., eds., Proceedings of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management, 97-112.
11. Guarino, N., and Welty, C. 2000b. Ontological analysis of taxonomic relationships. In Laender, A., and Storey, V., eds., Proceedings of ER-2000: The Conference on Conceptual Modeling. Springer-Verlag LNCS.
12. Guarino, N.; Carrara, M.; and Giaretta, P. 1994. An ontology of meta-level categories. In P. Torasso, J. Doyle, E. S., ed., Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, 270-280. Morgan Kaufmann.
13. Hanus, M. 1992. Logic programming with type specifications. In Pfenning, F., ed., Types in Logic Programming. The MIT Press.
14. Kaneiwa, K., and Tojo, S. 1999. Event, property, and hierarchy in order-sorted logic. In Proceedings of the 1999 Int. Conf. on Logic Programming, 94-108. The MIT Press.
15. Kaneiwa, K., and Tojo, S. 2001. An order-sorted resolution with implicitly negative sorts. In Proceedings of the 2001 Int. Conf. on Logic Programming, 300-314. Springer-Verlag. LNCS 2237.
16. Kaneiwa, K. 2004a. The completeness of logic programming with sort predicates. Systems and Computers in Japan 35(1):37-46.
17. Kaneiwa, K. 2004b. Resolution for label-based formulas in hierarchical representation. New Generation Computing 23(1).
18. Kaplan, A. N. 2001. Towards a consistent logical framework for ontological analysis. In Proceedings of the international conference on Formal Ontology in Information Systems, 244-255. ACM Press.
19. Kifer, M.; Lausen, G.; and Wu, J. 1995. Logical foundations of object-oriented and frame-based languages. J. ACM 42(4):741-843.
20. Lloyd, J. W. 1987. Foundations of Logic Programming. Springer-Verlag.
21. Lowe, E. J. 1989. Kinds of Being. A Study of Individuation, Identity and the Logic of Sortal Terms. Basil Blackwell, Oxford.
22. Manzano, M. 1993. Introduction to many-sorted logic. In Many-sorted Logic and its Applications. John Wiley and Sons. 3-86.
23. Oberschelp, A. 1962. Untersuchungen zur mehrsortigen quantorelogik. Mathematische Annalen 145 297-333.
24. Oberschelp, A. 1989. Order sorted predicate logic. In Workshop on Sorts and Types in Artificial Intelligence.
25. Schmidt-Schauss, M. 1989. Computational Aspects of an Order-Sorted Logic with Term Declarations. Springer-Verlag.
26. Simons, P. 1987. Parts: A Study in Ontology. Clarendon Press, Oxford.
27. Smolka, G. 1989. Logic Programming over Polymorphically Order-Sorted Types. Ph.D. Dissertation, Universitat Kaiserslautern.
28. Socher-Ambrosius, R., and Johann, P. 1996. Deduction Systems. Springer-Verlag.
29. Strawson, P. F. 1959. Individuals: An Essay in Descriptive Metaphysics. London: Methuen.
30. Walther, C. 1985. A mechanical solution of Schuber's steamroller by many-sorted resolution. Artificial Intelligence 26(2):217-224.
31. Walther, C. 1987. A Many-Sorted Calculus Based on Resolution and Paramodulation. Pitman and Kaufman Publishers.
32. Walther, C. 1988. Many-sorted unification. Journal of the Association for Computing Machinery 35:1.
33. Weibel, T. 1997. An order-sorted resolution in theory and practice. Theoretical Computer Science 185(2):393-410.
34. Welty, C., and Guarino, N. 2001. Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering 39(1):51-74.
35. Winston, M. E.; Chaffin, R.; and Hermann, D. 1987. A taxonomy of part-whole relations. Cognitive Science 11(4):417-444.