Ken Kaneiwa

According to our database, Ken Kaneiwa authored at least 49 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction.

Yukihiro Shiraishi, Ken Kaneiwa

CoRR, 2024

2023

Block-segmentation vectors for arousal prediction using semi-supervised learning.

Yuki Odaka, Ken Kaneiwa

Appl. Soft Comput., 2023

Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks.

Yuga Oishi, Ken Kaneiwa

IEEE Access, 2023

Hierarchical Model Selection for Graph Neural Networks.

Yuga Oishi, Ken Kaneiwa

IEEE Access, 2023

2022

Hierarchical Model Selection for Graph Neural Netoworks.

Yuga Oishi, Ken Kaneiwa

CoRR, 2022

The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC.

Daiki Takahashi, Ken Kaneiwa

CoRR, 2022

Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns.

Yota Minami, Ken Kaneiwa

CoRR, 2022

2015

A Logical and Ontological Framework for Compositional Concepts of Objects and Properties.

Ken Kaneiwa, Riichiro Mizoguchi, Philip H. P. Nguyen

New Gener. Comput., 2015

2014

Event Inference with Relation and Meta-Relation Type Hierarchies in Conceptual Structure Theory.

Philip H. P. Nguyen, Ken Kaneiwa

Appl. Artif. Intell., 2014

2013

An order-sorted query system for sort, predicate, and meta-predicate hierarchies.

Ken Kaneiwa, Philip H. P. Nguyen

Knowl. Inf. Syst., 2013

Reasoning about Resources and Information: A Linear Logic Approach.

Norihiro Kamide, Ken Kaneiwa

Fundam. Informaticae, 2013

Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence.

Michiaki Iwazume, Ken Kaneiwa

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012

KC3 Browser: Semantic Service Mush-up for Global Knowledge Sharing and Discovery.

Michiaki Iwazume, Ken Kaneiwa, Ichiro Kobayashi

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

Sorted hyper-predicate knowledge bases for ontologies and rules.

Ken Kaneiwa, Philip H. P. Nguyen

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Paraconsistent Computation Tree Logic.

Ken Kaneiwa, Norihiro Kamide

New Gener. Comput., 2011

Existential rigidity and many modalities in order-sorted logic.

Ken Kaneiwa

Knowl. Based Syst., 2011

Conceptual modeling in full computation-tree logic with sequence modal operator.

Ken Kaneiwa, Norihiro Kamide

Int. J. Intell. Syst., 2011

A sequential pattern mining algorithm using rough set theory.

Ken Kaneiwa, Yasuo Kudo

Int. J. Approx. Reason., 2011

A Time and Situation Dependent Semantics for Ontological Property Classification.

Ken Kaneiwa, Riichiro Mizoguchi

IEICE Trans. Inf. Syst., 2011

A rough set approach to multiple dataset analysis.

Ken Kaneiwa

Appl. Soft Comput., 2011

An attempt of reconstruction of object-oriented rough set models.

Yasuo Kudo, Ken Kaneiwa, Tetsuya Murai

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010

On the complexities of consistency checking for restricted UML class diagrams.

Ken Kaneiwa, Ken Satoh

Theor. Comput. Sci., 2010

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.

Ken Kaneiwa, Norihiro Kamide

Appl. Artif. Intell., 2010

A rough set approach to mining connections from information systems.

Ken Kaneiwa

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Paraconsistent Negation and Classical Negation in Computation Tree Logic.

Norihiro Kamide, Ken Kaneiwa

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Local Pattern Mining from Sequences Using Rough Set Theory.

Ken Kaneiwa, Yasuo Kudo

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

Resource-Sensitive Reasoning with Sequential Information.

Norihiro Kamide, Ken Kaneiwa

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Distributed reasoning with ontologies and rules in order-sorted logic programming.

Ken Kaneiwa, Riichiro Mizoguchi

J. Web Semant., 2009

Meta-relation and ontology closure in Conceptual Structure Theory.

Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen

Artif. Intell. Law, 2009

Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring.

Ken Kaneiwa, Philip H. P. Nguyen

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.

Norihiro Kamide, Ken Kaneiwa

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Evaluation data and prototype system WISDOM for information credibility analysis.

Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi, Kentaro Inui, Sadao Kurohashi

Internet Res., 2008

KC3 browser: semantic mash-up and link-free browsing.

Michiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafumi Nakanishi, Yutaka Kidawara, Yasushi Kiyoki

Proceedings of the 17th International Conference on World Wide Web, 2008

An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory.

Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007

Description Logics with Contraries, Contradictories, and Subcontraries.

Ken Kaneiwa

New Gener. Comput., 2007

An Upper Ontology for Event Classifications and Relations.

Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006

Contradiction Finding and Minimal Recovery for UML Class Diagrams.

Ken Satoh, Ken Kaneiwa, Takeaki Uno

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Consistency Checking Algorithms for Restricted UML Class Diagrams.

Ken Kaneiwa, Ken Satoh

Proceedings of the Foundations of Information and Knowledge Systems, 2006

2005

A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases.

Ken Kaneiwa

New Gener. Comput., 2005

An Order-Sorted Quantified Modal Logic for Meta-ontology.

Ken Kaneiwa, Riichiro Mizoguchi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

On the Semantics of Classical First-order Logic with Constructive Double Negation.

Ken Kaneiwa

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

2004

The completeness of logic programming with sort predicates.

Ken Kaneiwa

Syst. Comput. Jpn., 2004

Resolution for Label-based Formulas in Hierarchical Representation.

Ken Kaneiwa

New Gener. Comput., 2004

Order-sorted logic programming with predicate hierarchy.

Ken Kaneiwa

Artif. Intell., 2004

Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.

Ken Kaneiwa, Riichiro Mizoguchi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Description Logic and Order-sorted Logic.

Ken Kaneiwa

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Occurrence Logic with Temporal Heredity.

Suguru Yoshioka, Ken Kaneiwa, Satoshi Tojo

Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003

2001

An Order-Sorted Resolution with Implicitly Negative Sorts.

Ken Kaneiwa, Satoshi Tojo

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

Event, Property, and Hierarchy in Order-Sorted Logic.

Ken Kaneiwa, Satoshi Tojo

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999