An order-sorted quantified modal logic for meta-ontology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3702 LNAI, Issue , 2005, Pages 169-184

  Kaneiwa, Ken ^a   Mizoguchi, Riichiro ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; METADATA;

META-ONTOLOGY; MODAL OPERATORS; TAXONORNIC KNOWLEDGE;

FORMAL LOGIC;

EID: 33646203385     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11554554_14     Document Type: Conference Paper

References (19)

1. C. Beierle, U. Hedtsück, U. Pletat, P.H. Schmitt, and J. Siekmann. An order-sorted logic for knowledge representation systems. Artificial Intelligence, 55:149-191, 1992.
2. S. Cerrito, M. C. Mayer, and S. Praud. First order linear temporal logic over finite time structures. In Proceedings of the 6th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'99), pages 62-76, 1999.
3. A. G. Cohn. Taxonomic reasoning with many sorted logics. Artificial Intelligence Review, 3:89-128, 1989.
4. M. Fitting and R. L. Mendelsohn. First-Order Modal Logic. 1998.
5. A. M. Frisch. The substitutional framework for sorted deduction: fundamental results on hybrid reasoning. Artificial Intelligence, 49:161-198, 1991.
6. D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
7. D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev. On the computational complexity of spatio-temporal logics. In Proc. of FLAIRS, pages 460-464, 2003.
8. J. W. Garson. Quantification in modal logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol.11, pages 249-307. 1984.
9. R. Goré. Tableau methods for modal and temporal logics. In M. D'Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors, Handbook of Tableau Methods. Kluwer, 1999.
10. N. Guarino, M. Carrara, and P. Giaretta. An ontology of meta-level categories. In Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pages 270-280, 1994.
11. N. Guarino and C. Welty. Ontological analysis of taxonomic relationships. In Proceedings of ER-2000: The Conference on Conceptual Modeling, 2000.
12. K. Kaneiwa. Order-sorted logic programming with predicate hierarchy. Artificial Intelligence, 158(2):155-188, 2004.
13. K. Kaneiwa and R. Mizoguchi. Ontological knowledge base reasoning with sort-hierarchy and rigidity. In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pages 278-288, 2004.
14. M. C. Mayer and S. Cerrito. Ground and free-variable tableaux for variants of quantified modal logics. Studia Logica, 69(1):97-131, 2001.
15. M. Schmidt-Schauss. Computational Aspects of an Order-Sorted Logic with Term Declarations. Springer-Verlag, 1989.
16. P. H. Schmitt and J. Goubault-Larrecq. A tableau system for linear-TIME temporal logic. In Proc. of the 3rd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97), pages 130-144, 1997.
17. B. Smith. Basic concepts of formal ontology. In Formal Ontology in Information Systems. 1998.
18. C. Walther. A mechanical solution of Schubert's steamroller by many-sorted resolution. Artificial Intelligence, 26(2):217-224, 1985.
19. C. Welty and N. Guarino. Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering, 39(1):51-74, 2001.