Address:
Foundations of Information Research Division, National
Institute of Informatics
Chiyoda-ku,
Tel: +81-3-4212-2591
Fax: +81-3-3556-1916
E-mail: kaneiwa@nii.ac.jp
Home Page: http://research.nii.ac.jp/~kaneiwa(in
English), http://research.nii.ac.jp/~kaneiwa/index-j.html(in
Japanese)
Other
Information: http://research.nii.ac.jp/~kaneiwa/official/content_e.html(in English), http://research.nii.ac.jp/~kaneiwa/official/content_j.html (in Japanese)
Program committee member of the 2nd Indian International Conference on Artificial Intelligence. (special session chair: Logic and Knowledge Representation)
Program committee member of the Ninth Pacific Rim International Conference on Artificial Intelligence (PRICAI2006)
Program committee member of the 20th National Meeting of the Japanese Society for Artificial Intelligence (JSAI2006).
Order Sorted Logic (or Many Sorted Logic, Logic with Class-hierarchy), Typed Logic Programming, Description Logics
Knowledge Representation and Reasoning (for event knowledge, structural/ terminological knowledge, negative information, etc.)
Formal Ontology
(e.g. ontological property classification and event ontology)
Automated Reasoning (e.g. resolution proof system and tableau method)
Temporal Reasoning
Legal Reasoning System
Knowledge Base Reasoning (for assertional knowledge and taxonomic knowledge)
Logical Approach to Artificial Intelligence
Consistency Checking for UML Diagrams
UML Diagrams:
Consistency Checking and Complexity
· Ken Kaneiwa and Ken Satoh, Consistency Checking Algorithms for Restricted UML Class Diagrams. In Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), pp. 219-239, LNCS 3861, 2006. Springer-Verlag. [PDF, PS, BibTex] (extended version)
Order-sorted
Logic and Knowledge Representation:
Formal Ontology
·
K. Kaneiwa and R. Mizoguchi. Ontological Knowledge Base
Reasoning with Sort-Hierarchy and Rigidity. In Proceedings of the Ninth
International Conference on the Principles of Knowledge Representation and
Reasoning (KR2004), pp.
278-288, Whistler,
· K. Kaneiwa and R. Mizoguchi. An Order-Sorted Quantified Modal Logic for Meta-Ontology. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Koblenz, Germany, pp. 169-184, LNCS 3702, 2005. Springer-Verlag. [PDF, PS, BibTex] (extended version)
Eventuality and Predicate Hierarchy
· K. Kaneiwa. Order-Sorted Logic Programming with Predicate Hierarchy. Artificial Intelligence, Vol.158, No.2, pp. 155-188, 2004. Elsevier. [PDF, PS, BibTex]
· K. Kaneiwa and S. Tojo. Event, property and hierarchy in order-sorted logic. In Proceedings of the 1999 International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, USA, pp. 94-108, 1999. The MIT Press. [PDF, PS, BibTex]
· Ken Kaneiwa and Satoshi Tojo, Logical Aspects of Events:
Quantification, Sorts,Composition
and Disjointness. In Proceedings of
Australasian Ontology Workshop (AOW 2005),
· S. Tojo and K. Kaneiwa. Toward a Proper Semantics for the Logic of Occurrence. In Proceedings of the Context '03 Workshop on Barwise and Situation Theory, 2003. [PDF, PS, BibTex]
· S. Yoshioka, K. Kaneiwa and S. Tojo. Occurrence Logic with Temporal Heredity. In Proceedings of the 1st Indian International Conference on Artificial Intelligence (IICAI'03), 2003.
Negation
· Ken Kaneiwa and Satoshi Tojo. An Order-sorted Resolution with Implicitly Negative Sorts. In Proceedings of the 2001 International
Conference on Logic Programming (ICLP'01),
· Ken Kaneiwa. On the Semantics of Classical First-Order Logic with Constructive Double Negation. In Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005. (to appear) [PDF, PS, BibTex]
Sort Predicates (i.e. sorts are used to express their corresponding unary predicates)
· Ken Kaneiwa, The completeness of logic programming with sort predicates, Systems and Computers in Japan, Vol.35, No.1, pp. 37-46, 2004. [PDF, PS, BibTex] (Systems and Computers in Japan)
Label-based Expressions
· K. Kaneiwa, A Logic with Multi-purpose Labels for Hierarchical Representation, Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-03), 461 - 463, 2003. [PDF, PS, BibTex]
· Ken Kaneiwa, Resolution for Label-based Formulas in Hierarchical Representation, New Generation Computing, Vol.22, pp. 253-269, 2004. [PDF, PS, BibTex]
Description
Logic:
Negative Concepts
·
K. Kaneiwa. Negations in Description
Logic -- Contraries, Contradictories, and Subcontraries. In Proceedings of the 13th International Conference on Conceptual
Structures (ICCS '05),
Combining Logic Programming and Description Logic
· K. Kaneiwa, A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases, New Generation Computing, Vol.24, pp. 29-51, 2005. [PDF, PS, BibTex]
· Ken Kaneiwa, A Hybrid Reasoning System for Terminologies and Clause Sets, In Proceedings of The IASTED International Conference on ARTIFICIAL INTELLIGENCE AND APPLICATIONS (AIA 2004) (as part of the Twenty-Second IASTED International Multi-Conference on Multi-Conference on Applied Informatics), Innsbruck, Austria, 564 – 570, 2004. [PDF, PS, BibTex]
Survey papers:
· Ken Kaneiwa, Ken Satoh, DL: Description Logics, Journal of Japanese Society of Artificial Intelligence, Vol. 18, No.1, pp. 73 – 82, 2003 (in Japanese).
· Ken Kaneiwa, OWL Reasoning and its Complexity, Computer
Software, Vol. 22, No. 4, pp. 26
- 34, 2005 (in Japanese).
Others (in
Japanese):
· Ken Kaneiwa, Satoshi Tojo, A Legal Reasoning System with Event and Property Interpretation for Legal Knowledge (in Japanese). Trans. IPSJ, Vol. 40, No. 7, pp. 2892-2904, 1999.
· Ken Kaneiwa, Satoshi Tojo, Event and Property in Order-sorted Logic. Computer Software (in Japanese), Vol. 17, No. 2, pp. 10-24, 2000.
· Ken Kaneiwa, Satoshi Tojo, The Completeness of a Horn Clause Calculus with Sort and Predicate Hierarchies (in Japanese). Trans. IEICE, Vol. J83-D-I, No. 12, pp. 1239-1248, Dec. 2000.
· Ken Kaneiwa, Satoshi Tojo, An Order-Sorted Logic with Implicitly Negative Sorts (in Japanese). Trans. IPSJ, Vol. 43, No.5, pp.1505-1517, 2002.
· Ken Kaneiwa, The Completeness of Logic Programming with Sort Predicates (in Japanese). Trans. IEICE, Vol. J85-D-I, No.7, pp.662-671, 2002.
· Ken Kaneiwa, Consistency of Taxonomies for Ontology Development. Computer Software (in Japanese), Vol.21, No.2, pp. 12-24, 2004.
· K. Kaneiwa and R. Mizoguchi. Formal Ontology and Extensions of Order-Sorted Logic (in Japanese), Journal of Japanese Society of Artificial Intelligence, Vol. 20, No.6, pp. 387-395, 2005.
Doctoral
Dissertation
An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and
Implicit Negation.
Japan Advanced Institute of Science and Technology, 121 pages, 2001. [PDF, PS, BibTex]