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)
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).
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)
Machine Learning:
- 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),
- 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:
- 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]