Resolution for label-based formulas in hierarchical representation

New Generation Computing

Volumn 22, Issue 3, 2004, Pages 253-269

  Kaneiwa, Ken ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Knowledge Representation; Label based Expressions; Order sorted Logic; Resolution System; Terminological Knowledge

Indexed keywords

FORMAL LOGIC; INFORMATION RETRIEVAL; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS; SORTING;

LABEL-BASED EXPRESSIONS; ORDER-SORTED LOGIC; RESOLUTION SYSTEM; TERMINOLOGICAL KNOWLEDGE;

HIERARCHICAL SYSTEMS;

EID: 3042549833     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03040963     Document Type: Article

References (18)

1. Aït-Kaci, H. and Nasr, R., "LOGIN: A Logic Programming Language with Built-in Inheritance," Journal of Logic Programming, Vol. 3, No. 3, pp. 185-215, 1986.
2. Aït-Kaci, H. and Podelski, A., "Towards a Meaning of LIFE," Journal of Logic Programming, Vol. 16, No. 3-4, pp. 195-234, 1993.
3. Baader, F., Bürckert, H.-J., Heinsohn, J., Müller, J., Hollunder, B., Nebel, B., Nutt, W. and Profitlich, H.-J., "Terminological Knowledge Representation: A Proposal for a Terminological Logic," DFKI Technical Memo TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
4. Beierle, C., Hedtsück, U., Pletat, U., Schmitt, P. H. and Siekmann, J., "An Order-sorted Logic for Knowledge Representation Systems," Artificial Intelligence, 55, pp. 149-191, 1992.
5. Cohn, A. G., "A More Expressive Formulation of Many Sorted Logic," Journal of Automated Reasoning, 3, pp. 113-200, 1987.
6. Cohn, A. G., "Taxonomic Reasoning with Many Sorted Logics," Artificial Intelligence Review, 3, pp. 89-128, 1989.
7. Horrocks, I., Fensel, D., Broekstra, J., Decker, S., Erdmann, M., Goble, Harmelen, F. van, Klein, M., Staab, S., Studer, R. and Motta, E., "OIL: The Ontology Inference Layer," Technical Report IR-479, Vrije Universiteit Amsterdam, Sciences, 2000.
8. Horrocks, I. and Sattler, U., "Ontology Reasoning in the SHOQ(D) Description Logic," in Proc. of the Seventeenth International Joint Conference on Artificial Intelligence, 2001.
9. Nitta, K., et al., "Knowledge Representation of New HELIC-II," in Workshop on Legal Application of Logic Programming, ICLP '94, 1994.
10. Kaneiwa, K. and Tojo, S., "Event, Property, and Hierarchy in Order-sorted Logic," in Proc. of the 1999 Int. Conf. on Logic Programming, pp. 94-108, The MIT Press, 1999.
11. 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.
12. Kifer, M., Lausen, G. and Wu, J., "Logical Foundations of Object-oriented and Frame-based Languages," J. ACM, 42(4), pp. 741-843, 1995.
13. Schmidt-Schauss, M. and Smolka, G., "Attributive Concept Descriptions with Complements," Artificial Intelligence, 48, pp. 1-26, 1991.
14. Socher-Ambrosius, R. and Johann, P., Deduction Systems, Springer-Verlag, 1996.
15. Walther, C., "A Mechanical Solution of Schuber's Steamroller by Many-sorted Resolution," Artificial Intelligence, 26(2), pp. 217-224, 1985.
16. Walther, C., "Many-sorted Unification," Journ. of the Association for Computing Machinery, 35, 1, 1988.
17. Weibel, T., "An Order-sorted Resolution in Theory and Practice," Theoretical Computer Science, 185(2), pp. 393-410, 1997.
18. Yokota, K., "Quixote:A Constraint Based Approach to a Deductive Object-Oriented Database," Ph.D. thesis, Kyoto University, 1994.