Degree

• 博士(情報科学)（）

Research History

Education

Awards

• 研究会優秀賞（知識ベースシステム研究会）（2023-06）
• 研究奨励賞（人工知能と知識処理研究会）（2022-01）
• 研究会優秀賞（セマンティックウェブとオントロジー研究会）（2015-06）
• 論文賞（2005年度人工知能学会論文誌）（2006-06）

Others

Papers

• Predicting from a Different Perspective: A Re-ranking Model for Inductive Knowledge Graph Completion（2024-11-23）
• Efficient Index Structures for Query Solutions on RDF Graphs（2024-07-16）
• The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC（2024-01-28）
• Embedding Models with Inverted-index and Co-occurrence Matrices for Ontology Subsumption Prediction（2023-12-08）
• Feature Selection Based on the Complexity of Structural Patterns in RDF Graphs（2023-11-10）
• Block-segmentation vectors for arousal prediction using semi-supervised learning（2023-07） [DOI]
• Multi-Duplicated Characterization of Graph Structures Using Information Gain Ratio for Graph Neural Networks（2023-04） [DOI] [Othres link]
• 複数の大規模RDFデータセットからの同値関係による集結パス検索（2023-03-01）
• 重複排除を含むSPARQLクエリの等価変換と計算量（2023-03）
• Hierarchical Model Selection for Graph Neural Networks（2023-02） [DOI] [Othres link]
• 極小RDF推論に基づく記述論理SROIQの概念生成（2020-01-01）
• RDFグラフの多様性に対する汎用カーネル関数（2018-09-03）
• RDF データに対するグラフパターンマイニング（2018-06-28）
• 大規模RDFグラフに対するインデックス付きデータ圧縮と高速検索（2018-03-01）
• RDFグラフの冗長な特徴表現に対するカーネル関数とその高速計算（2017-01-13）
• A Logical and Ontological Framework for Compositional Concepts of Objects and Properties（2015-04） [DOI] [Web of Scientce]
• 大規模RDFグラフのための効率的なクエリ解決（2014-06-18）
• RDFデータの極小モデル推論に基づく記述論理ALCH(D) の概念学習（2014-06-05）
• Event Inference with Relation and Meta-relation Type Hierarchies in Conceptual Structure Theory（2014-03）
• Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence（2013-07-01）
• An order-sorted query system for sort, predicate, and meta-predicate hierarchies（2013-05） [DOI] [Web of Scientce]
• Reasoning about Resources and Information: A Linear Logic Approach（2013）
• Existential rigidity and many modalities in order-sorted logic（2011-07-01） [DOI] [CiNii Research (CiNii Articles)] [Othres link]
• A rough set approach to multiple dataset analysis（2011-03-01） [DOI] [CiNii Research (CiNii Articles)] [Othres link]
• A Time and Situation Dependent Semantics for Ontological Property Classification（2011-03） [DOI] [Web of Scientce]
• Paraconsistent Computation Tree Logic（2011）
• セマンティックWeb のためのイベントオントロジー（2011）
• On the complexities of consistency checking for restricted UML class diagrams（2010-01） [DOI] [Web of Scientce]
• Distributed reasoning with ontologies and rules in order-sorted logic programming（2009-09） [DOI] [Web of Scientce]
• Decidable order-sorted logic programming for ontologies and rules with argument restructuring（2009） [DOI]
• Contradiction Finding and Minimal Recover for UML class diagrams（2006-09） [DOI]
• Consistency checking algorithms for restricted UML class diagrams（2006） [DOI]
• Formal Ontology and Extensions of Order-Sorted Logic（2005） [DOI]
• An order-sorted quantified modal logic for meta-ontology（2005） [DOI]
• Order-sorted logic programming with predicate hierarchy（2004-10） [CiNii Research (CiNii Articles)] [DOI] [Web of Scientce]
• Consistency of Taxonomies for Ontology Development（2004-03-25） [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link] [Othres link]
• Occurrence Logic with Temporal Heredity.（2003） [DBLP] [CiNii Research (CiNii Articles)] [Othres link]
• An Order-Sorted Resolution with Implicitly Negative Sorts.（2001） [DOI] [DBLP] [CiNii Research] [Othres link] [Scopus] [Scopus]
• Event and property in order-sorted logic（2000） [Scopus] [Scopus]

Misc

• DL : Description Logics(Object Modeling in Philosophy and AI Research (6))（2003-01-01） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]

Presentations

• グラフニューラルネットワークに対する同種性を用いた母集団グラフの効率化（2024-12-05）
• オントロジーの論理構造と語彙情報を考慮した概念包含のための埋め込み学習（2024-03-23）
• 確率的除去を組み込んだ検索拡張された言語モデルによる帰納的関係予測（2023-08-29）
• 概念包含の論理的推論に対するロール埋め込み手法（2022-11-23）
• グラフ構造のIGR多重特徴化によるグラフニューラルネットワーク（2022-11-23）
• 大規模RDFグラフに対する効率的なクエリ解決と高圧縮なインデックス化（2022-07-04）
• Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring（2009-10）

Books and Other Publications

• セマンティックWebとリンクトデータ（2017-01）
• 記述論理とWebオントロジー言語（知の科学シリーズ）（2009-08）

Works

Research Projects

Media Coverage

Industrial Property Rights

Professional Memberships

• 日本データベース学会
• 情報処理学会
• 人工知能学会
• ソフトウェア科学会
• 電子情報通信学会

Committee Memberships

Teaching Experience

• アルゴリズム・データ構造および演習（夜間開講）
• Computer Science Laboratory II AB
• Fundamental Programming
• データベース論
• 知識データ工学特論
• アルゴリズム・データ構造および演習（夜間開講）
• アルゴリズム・データ構造および演習（夜間開講

Social Contribution

Academic Contribution