Ken Kaneiwa

Department of Communication Engineering and Informatics, The University of Electro-Communications (National University)

1-5-1 Chofugaoka, Chofu, Tokyo 182-8585, Japan

URL: http://www.sw.cei.uec.ac.jp/kaneiwa/index.html (in English), http://www.sw.cei.uec.ac.jp/kaneiwa/index-j.html (in Japanese)

URL of Kaneiwa Lab.: http://www.sw.cei.uec.ac.jp/ (in English), http://www.sw.cei.uec.ac.jp/index-j.html (in Japanese)

 

 

 

Activities

Senior program committee member of the International Semantic Web Conference (ISWC2022)

 

Program committee member of the International Semantic Web Conference (ISWC2020, ISWC2021)

 

Program committee member of ACM Symposium on Applied Computing, (ACM SAC 2012), Technical Track on the Semantic Web and Applications (SWA)

 

Program committee member of International Conference on Formal Ontology in Information Systems (FOIS2010)

 

Program committee member of International Workshop on Automated Reasoning for Security, Software Integration and Reliability (ARSSIR2011, SSIRI Workshop)

 

Program committee member of International Workshop on Behavior Informatics (BI2010, BI2011, PAKDD2010 Workshop)

 

Program committee member of International Conference on Advances in Information Mining and Management (IMMM2011)

 

Program committee member of International Conference on Database and Expert Systems Applications (DEXA2009, DEXA2010)

 

Program committee member of Australasian Joint Conference on Artificial Intelligence (AI2008, AI2009, AI2010)

 

Program committee member of Pacific Rim International Conference on Artificial Intelligence (PRICAI2006, PRICAI2008, PRICAI2010)

 

Program committee member of Australasian Ontology Workshop (AOW2009, AOW2010)

 

Program committee member of Knowledge Representation Ontology Workshop (KROW2008, KR2008 Workshop)

 

Program committee member of International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08, AIPR-09, AIPR-10)

 

Program committee member of International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08, TMFCS-09, TMFCS-10)

 

Program committee member of Workshop on Agents and Data Mining Interaction (ADMI-06, ADMI-07, ADMI-08, ADMI-09, ADMI-10, ADMI-11)

 

Program committee member of Indian International Conference on Artificial Intelligence (2005, 2007, 2009, 2011). special session chair: Logic and Knowledge Representation

 

Program committee member of International Universal Communication Symposium (ISUC2008, IUCS2009, IUCS2010)

 

Program committee member of National Meeting of the Japanese Society for Artificial Intelligence (JSAI2006, JSAI2007, JSAI2011).

 

Research interests

 

Machine Learning: Graph Neural Network

Representation Learning: Ontology and Knowledge Graph

 

Semantic Web: Web Ontology and Reasoning

Semantic Web Languages: XML, RDF(S), OWL, RuleML

Event Ontology for Semantic Web

 

Order Sorted Logic, 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

UML Consistency Checking

Rough Set Data Mining

 

 

Career

 

1993.4 - 1996.3 Fujitsu, Ltd.

 

2001.4 - 2006.3 Assistant Professor, National Institute of Informatics (NII)

 

2002.4 - 2006.3 Assistant Professor, The Graduate University for Advanced Studies

 

2006.4 - 2010.3 Visiting Associate Professor, National Institute of Informatics (NII)

 

2006.4 - 2010.9 Researcher, National Institute of Information and Communications Technology (NICT)

 

2010.10 - 2013.9 Associate Professor, Iwate University (National University)

 

2013.10 - Professor, The University of Electro-Communications (National University)

 

 

Publications

 

Machine Learning:

  

Graph Neural Network

 

-         Yuga Oishi, Ken Kaneiwa, Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks, IEEE Access, Vol.11, pp.34421-34430, 2023. [PDF]

-         Yuga Oishi, Ken Kaneiwa, Hierarchical Model Selection for Graph Neural Networks, IEEE Access, Vol.11, pp.16974-16983, 2023 [PDF]

 

Sentiment Analysis

 

-         Yuki Odaka, Ken Kaneiwa: Block-Segmentation Vectors for Arousal Prediction using Semi-supervised Learning, Applied Soft Computing, Vol.142, 2023. Elsevier. [PDF]

 

Knowledge Graph

 

-         Yukihiro Shiraishi, Ken Kaneiwa: Embedding Models with Inverted-index and Co-occurrence Matrices for Ontology Subsumption Prediction, Proceedings of the 12th International Joint Conference on Knowledge Graphs (IJCKG 2023) [PDF]

-         Ken Kaneiwa, Yota Minami: Feature Selection Based on the Complexity of Structural Patterns in RDF Graphs, International Journal of Data Science and Analytics, 2023. Springer. [Link, Preprint]

 

UML Diagrams:

  

UML Consistency Checking and Complexity

 

-         Ken Kaneiwa and Ken Satoh, On the Complexities of Consistency Checking for Restricted UML Class Diagrams. Theoretical Computer Science, Vol.411, No.2, pp. 301-323, 2010. Elsevier [PDF, BibTex]

-         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, BibTex]

-          Ken Satoh, Ken Kaneiwa and Takeaki Uno, Contradiction Finding and Minimal Recover for UML class diagrams. In Proceedings of the 21st IEEE/ACM International on Automated Software Engineering (ASE 2006), pp. 277-280, 2006.

 

Rough Set Approach

 

-        Yasuo Kudo, Ken Kaneiwa, and Tetsuya Murai, An Attempt of Reconstruction of Object-Oriented Rough Set Models, In Proceedings of 2011 IEEE International Conference on Granular Computing, Kaohsiung, Taiwan, pp.345-350, 2011. [PDF, BibTex]

 

 

Order-Sorted Logic for Knowledge Representation and Semantic Web:

 

Ontology and Sort Hierarchy

  

-         Ken Kaneiwa and Riichiro Mizoguchi, A Time and Situation Dependent Semantics for Ontological Property Classification, IEICE Transactions on Information and Systems, Vol. E94-D, No. 3, pp.639-647, 2011. [PDF, BibTex]

-         Ken Kaneiwa and Riichiro Mizoguchi. Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming, Journal of Web Semantics, Vol. 7, Vol. 3, pp. 252-270, 2009. Elsevier. [PDF, BibTex]

-         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, BibTex]

-         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, Canada, 2004. [PDF, BibTex]

 

Upper Ontology using Logic

 

-         Ken Kaneiwa, Riichiro Mizoguchi, and Philip H. P. Nguyen, A Logical and Ontological Framework for Compositional Concepts of Objects and Properties. New Generation Computing, Vol. 33, No. 2, pp. 149-172, 2015. [PDF, BibT BibTex]

-         Ken Kaneiwa, Michiaki Iwazume, and Ken Fukuda, An Upper Ontology for Event Classifications and Relations, In Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence (AI 2007), pp. 394-403, LNCS 4830, 2007. [PDF, BibTex, Slides]

 

Eventuality and Predicate Hierarchy

 

-         Ken Kaneiwa and Philip H, P, Nguyen, An Order-Sorted Query System for Sort, Predicate, and Meta-Predicate Hierarchies. Knowledge and Information Systems, Vol. 35, No. 2, pp. 463-492, 2013. Springer (IF2012: 1.729). [PDF, BibTex]

-         Ken Kaneiwa and Philip H, P, Nguyen, Sorted Hyper-Predicate Knowledge Bases for Ontologies and Rules, In Proceedings of the 27th ACM Symposium on Applied Computing (ACM SAC 2012), Track on the Semantic Web and its Applications, pp. 312-319, 2012 (acceptance rate: 25.6%). [PDF, BibTex]

-         Ken Kaneiwa and Philip H, P, Nguyen, Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. In Proceedings of the 8th International Semantic Web Conference (ISWC 2009), pp. 328-343, LNCS 5823, 2009 (acceptance rate: 17.3%). [PDF, BibTex]

-         K. Kaneiwa. Order-Sorted Logic Programming with Predicate Hierarchy. Artificial Intelligence, Vol.158, No.2, pp. 155-188, 2004. Elsevier. [PDF, 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, BibTex]

-         Ken Kaneiwa and Satoshi Tojo, Logical Aspects of Events: Quantification, Sorts, Composition and Disjointness. In Proceedings of Australasian Ontology Workshop (AOW 2005), Sydney, Australia, 2005. [PDF, BibTex].

-         Philip H, P, Nguyen and Ken Kaneiwa, Event Inference with Relation and Meta-relation Type Hierarchies in Conceptual Structure Theory. Applied Artificial Intelligence, Vol. 28, No. 2, pp. 139-177, 2014. [PDF, BibTex]

-         Philip H, P, Nguyen, Ken Kaneiwa, and Minh-Quang Nguyen. Ontology Inferencing Rules and Operations in Conceptual Structure Theory. In Proceedings of Australasian Ontology Workshop (AOW 2010), Australia, pp.61-70, 2010.

-         Philip H, P, Nguyen, Ken Kaneiwa, Dan R. Corbett, Minh-Quang Nguyen. Meta-Relation and Ontology Closure in Conceptual Structure Theory, Artificial Intelligence and Law, Vol. 17, No. 4, pp. 291-320, 2009. Springer [PDF, BibTex].

-         Philip H, P, Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen: Representing Event Assertions in an Upper Event Ontology. In Proceedings of the first International Conference on Knowledge and Systems Engineering, pp. 120-125, 2009.

-         Philip H, P, Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen: An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. In Proceedings of the 21st Australian Joint Conference on Artificial Intelligence (AI 2008), LNCS 5360, pp. 79-85, 2008.

-          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, 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), Cyprus, pp.300-314, 2001 (Lecture Notes in Computer Science 2237, Springer-Verlag, Logic Programming.) [PDF, BibTex]

-         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. [PDF, BibTex]

-         Ken Kaneiwa and Norihiro Kamide, Paraconsistent Computation Tree Logic. New Generation Computing, Vol.29, No.4, pp. 391-408, 2011. [PDF, BibTex]

-         Norihiro Kamide and Ken Kaneiwa, Paraconsistent Negation and Classical Negation in Computation Tree Logic. In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), Vol.1, pp. 464-469, 2010. INSTICC Press [PDF, 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, 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, BibTex]

-         Ken Kaneiwa, Resolution for Label-based Formulas in Hierarchical Representation, New Generation Computing, Vol.22, pp. 253-269, 2004. [PDF, BibTex]

 

 

Modal Logic and Linear Logic:

 

Sequence Modal Operator

 

-         Norihiro Kamide and Ken Kaneiwa, Reasoning about Resources and Information: A Linear Logic Approach, Fundamenta Informaticae, Vol. 125, No. 1, pp. 51-70, 2013. IOS Press. [PDF, BibTex].

-         Ken Kaneiwa and Norihiro Kamide, Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator. International Journal of Intelligent Systems, Vol. 26, No.7, pp. 636-651, 2011. John Wiley & Sons. [PDF, BibTex]

-         Ken Kaneiwa and Norihiro Kamide, Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Applied Artificial Intelligence, Vol.24, No.10, pp. 896-913, 2010. Taylor and Francis. [PDF, BibTex]

-         Norihiro Kamide and Ken Kaneiwa, Resource-Sensitive Reasoning with Sequential Information. In Proceedings of the 23rd Australian Joint Conference on Artificial Intelligence (AI 2010), LNAI 6464, pp. 22-31, 2010 (acceptance rate: 47.3%).

-         Norihiro Kamide and Ken Kaneiwa, Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. In Proceedings of the 22nd Australian Joint Conference on Artificial Intelligence (AI 2009), pp. 485-494, LNCS 5866, 2009.

 

 

Description Logic:

  

Automated Reasoning

  

-         Ken Kaneiwa, Daiki Takahashi: The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC, Knowledge-Based Systems, 2024. Elsevier. [Link, Preprint]

 

Negative Concepts

  

-         K. Kaneiwa, Description Logics with Contraries, Contradictories, and Subcontraries, New Generation Computing, Vol.25, Vol.4, pp. 443-468, 2007. [PDF, BibTex]

-         K. Kaneiwa. Negations in Description Logic -- Contraries, Contradictories, and Subcontraries. In Proceedings of the 13th International Conference on Conceptual Structures (ICCS '05), Kassel, Germany, pp. 66-79, 2005. Kassel University Press. [PDF, BibTex]

 

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, 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, pp. 564-570, 2004. [PDF, BibTex]

 

 

Data Mining:

 

Rough Set Approach

 

-        Ken Kaneiwa, A Rough Set Approach to Multiple Datasets Analysis. Applied Soft Computing, Vol.11, No.2, pp. 2538-2547, 2011. Elsevier. [PDF, BibTex]

-        Ken Kaneiwa and Yasuo Kudo, A Sequential Pattern Mining Algorithm using Rough Set Theory. International Journal of Approximate Reasoning, Vol.52, No.6, pp. 894-913, 2011. Elsevier. [PDF, BibTex]

-        Ken Kaneiwa, A Rough Set Approach to Mining Connections from Information Systems. In Proceedings of the 25th ACM Symposium on Applied Computing (ACM SAC 2010), Track on Data Mining, pp. 990-996, 2010. (acceptance rate: 25.5%). [PDF, BibTex]

-        Ken Kaneiwa and Yasuo Kudo, Local Pattern Mining from Sequences using Rough Set Theory. In Proceedings of the 2010 IEEE International Conference on Granular Computing (IEEE GrC 2010) , pp. 247-252, 2010. [PDF, BibTex]

 

 

Decision Support Systems:

  

Knowledge Browser

 

-        Michiaki Iwazume and Ken Kaneiwa, Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence, In Proceedings of the 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD 2013), pp. 387 - 393, 2013.

-        Michiaki Iwazume, Ken Kaneiwa, and Ichiro Kobayashi, KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery, In Proceedings of the 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD 2012), pp. 754-759, 2012.

-         Michiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafumi Nakanishi, Yutaka Kidawara and Yasushi Kiyoki, KC3 Browser: Semantic Mashup and Link-free Browsing, In Proceedings of the 17th International World Wide Web Conference (WWW 2008), pp. 1209-1210, 2008. (short paper).

 

Evaluation of Web Information

 

-         Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi, Kentaro Inui, Sadao Kurohashi, Evaluation Data and Prototype System WISDOM for Information Credibility Analysis, Internet Research, Special Issue on Information Credibility, Vol. 18, Vol. 2, pp. 155-164, 2008.

 

Muti-Agent Systems

  

-         Philip H. P. Nguyen, Minh-Quang Nguyen, and Ken Kaneiwa, A Belief-Based Multi-Agent Markov Decision Process for Staff Management, International Journal of Energy, Information and Communications, Vol. 2, No.2, pp. 23-39, 2011. [PDF, 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).

-         Ken Kaneiwa, Fuzzy Description Logic, Journal of Japanese Society of Artificial Intelligence, Vol. 22, No.5, pp. 588-596, 2007 (in Japanese).

 

 

Others (in Japanese):

  

-         Ken Kaneiwa, Satoshi Tojo, A Legal Reasoning System with Event and Property Interpretation for Legal Knowledge (in Japanese). Transactions of Information Processing Society of Japan, 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). Transactions of Information Processing Society of Japan, 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. rof Order-Sorted Logic (in Japanese), Journal of Japanese Society of Artificial Intelligence, Vol. 20, No.6, pp. 387-395, 2005.

-         Ken Kaneiwa, Classical First-Order Logic with Constructive Double Negation (in Japanese). Trans. IEICE, Vol.J90-D, No.4, pp.1031-1042, 2007.

-         Ken Kaneiwa, Satoshi Tojo, A Logical Event-Language for Legal Reasoning (in Japanese). Transactions of Information Processing Society of Japan, Vol.48, No.12, pp. 3996-4011, 2007.

 

 

Doctoral Dissertation

  

An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation.

Japan Advanced Institute of Science and Technology, 121 pages, 2001. [PDF, BibTex]